Showing 5,501 - 5,520 results of 5,718 for search '"mathematics."', query time: 0.07s Refine Results
  1. 5501
    Neural Nets 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers
    by Apolloni, Bruno
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 5502
    Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007. Proceedings /
    by Kok, Joost N.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 5503
    Algorithmic Learning Theory (vol. # 4264) 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
    by Balcázar, José L.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 5504
    Formal Correctness of Security Protocols With 62 Figures and 4 Tables /
    by Bella, Giampaolo
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5505
    Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings /
    by Kryszkiewicz, Marzena
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 5506
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings /
    by An, Aijun
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 5507
    Probabilistic Inductive Logic Programming Theory and Applications /
    by De Raedt, Luc
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 5508
    Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 5509
    AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 5510
    Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 5511
    Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 5512
    Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 5513
    Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 5514
    Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 5515
    Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 5516
    Tackling the Inverse Problem for Non-Autonomous Systems Application to the Life Sciences /
    by Stankovski, Tomislav
    Published in Springer eBooks (2014)
    Subjects: “...Theoretical, Mathematical and Computational Physics. 410498...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 5517
    Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 5518
    Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 5519
    Understanding Auctions
    Subjects: “...Economic Theory/Quantitative Economics/Mathematical Methods. 462061...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 5520
    Handbook of Simulation Optimization
    Published in Springer eBooks (2015)
    Subjects: “...Economic Theory/Quantitative Economics/Mathematical Methods. 462061...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed