Отображение 5,401 - 5,420 результаты of 5,718 для поиска '"mathematics."', время запроса: 0.09сек. Отмена результатов
  1. 5401
    Risk-Averse Capacity Control in Revenue Management
    по Barz, Christiane
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical optimization 566241...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 5402
    Transactions on Rough Sets IX
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 5403
    A General Framework for Reasoning On Inconsistency
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 5404
    The Application of Neural Networks in the Earth System Sciences Neural Networks Emulations for Complex Multidimensional Mappings /
    по Krasnopolsky, Vladimir M.
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Models of Cognitive Processes and Neural Networks. 413655...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5405
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 5406
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 5407
    KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 5408
    Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 5409
    Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 5410
    Pseudogap and Precursor Superconductivity Study of Zn doped YBCO
    по Uykur, Ece
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Methods in Physics. 296778...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 5411
    Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 5412
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 5413
    Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 5414
    Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 5415
    Transactions on Rough Sets IV
    по Peters, James F.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 5416
    Probability and Risk Analysis An Introduction for Engineers /
    по Rychlik, Igor
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical statistics 566264...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 5417
    Space debris models and risk analysis
    по Klinkrad, Heiner
    Публикация 2006
    Предметы: “...Space debris Risk assessment Mathematical models 522031...”
    Перейти в каталог НБ ТГУ
    Книга
  18. 5418
    Remote Sensing Image Analysis: Including the Spatial Domain
    по Jong, Steven M.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical geography 303739...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 5419
    Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 5420
    Automated Deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток