Showing 5,221 - 5,240 results of 5,718 for search '"mathematics."', query time: 0.06s Refine Results
  1. 5221
    KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, OsnabrГјck, Germany, September 10-13, 2007. Proceedings /
    by Hertzberg, Joachim
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 5222
    Light Scattering Reviews 2 Remote Sensing and Inverse Problems /
    Subjects: “...Mathematical geography 303739...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 5223
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 5224
    Capacity Options for Revenue Management Theory and Applications in the Air Cargo Industry /
    by Hellermann, Rolf
    Published in Springer e-books (2006)
    Subjects: “...Mathematical optimization 566241...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5225
    Stochastic Optimization
    Subjects: “...Mathematical optimization 566241...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 5226
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    by Damm, Werner
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 5227
    Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
    by Schneider, Klaus
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 5228
    Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
    by Carbonell, Jaime G.
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 5229
    Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    by Hankin, Chris
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 5230
    Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Ball, Thomas
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 5231
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 5232
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    by Edelkamp, Stefan
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 5233
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 5234
    Anticipation: Learning from the Past The Russian/Soviet Contributions to the Science of Anticipation /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Models of Cognitive Processes and Neural Networks. 413655...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 5235
    Deterministic Abelian Sandpile Models and Patterns
    by Paoletti, Guglielmo
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical physics. 296775...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 5236
    Superconductivity in Graphene and Carbon Nanotubes Proximity effect and nonlocal transport /
    by Burset Atienza, Pablo
    Published in Springer eBooks (2014)
    Subjects: “...Theoretical, Mathematical and Computational Physics. 410498...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 5237
    Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 5238
    Mathematical Approaches to Biological Systems Networks, Oscillations, and Collective Motions /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Models of Cognitive Processes and Neural Networks. 413655...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 5239
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 5240
    Smart Metering Design and Applications
    Subjects: “...Mathematical Applications in the Physical Sciences. 410541...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed