Отображение 5,301 - 5,320 результаты of 5,718 для поиска '"mathematics."', время запроса: 0.08сек. Отмена результатов
  1. 5301
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    по Beckert, Bernhard
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 5302
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 5303
    Theoretical Aspects of Computing вЂ" ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 5304
    Compstat 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /
    по Rizzi, Alfredo
    Опубликовано в: Springer eBooks (2006)
    Предметы: “...Mathematical statistics 566264...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5305
    Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 5306
    The Language of Mathematics A Linguistic and Philosophical Investigation /
    по Ganesalingam, Mohan
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 5307
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 5308
    Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 5309
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 5310
    Boosted Statistical Relational Learners From Benchmarks to Data-Driven Medicine /
    Предметы: “...Mathematical statistics. 566264...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 5311
    FPGA Based Accelerators for Financial Applications
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Economics, Mathematical. 304111...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 5312
    Atomic Properties in Hot Plasmas From Levels to Superconfigurations /
    по Bauche, Jacques, Bauche-Arnoult, Claire, Peyrusse, Olivier
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Methods in Physics. 296778...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 5313
    Uncertain Multi-Attribute Decision Making Methods and Applications /
    по Xu, Zeshui
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Economic Theory/Quantitative Economics/Mathematical Methods. 462061...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 5314
    Records via Probability Theory
    по Ahsanullah, Mohammad, Nevzorov, Valery B.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Statistics for Business/Economics/Mathematical Finance/Insurance. 304058...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 5315
    Wavelet Applications in Economics and Finance
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Statistics for Business/Economics/Mathematical Finance/Insurance. 304058...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 5316
    Responsible Tourism and CSR Assessment Systems for Sustainable Development of SMEs in Tourism /
    по Manente, Mara, Minghetti, Valeria, Mingotto, Erica
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical optimization. 566241...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 5317
    Model Based Inference in the Life Sciences: A Primer on Evidence
    по Anderson, David R.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical statistics 566264...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 5318
    Geographic Uncertainty in Environmental Security
    по Morris, Ashley
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical geography 303739...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 5319
    Geostatistics for Environmental Applications Proceedings of the Fifth European Conference on Geostatistics for Environmental Applications /
    по Renard, Philippe
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical geography 303739...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 5320
    Ecological Informatics Scope, Techniques and Applications /
    по Recknagel, Friedrich
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical geography 303739...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток