Search alternatives:
languages » language (Expand Search)
Showing 261 - 280 results of 654 for search '"Mathematical Logic and Formal Languages."', query time: 0.09s Refine Results
  1. 261
    FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 262
    Introduction to Software Quality
    by O'Regan, Gerard
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 263
    Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 264
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 265
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 266
    Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
    by Aceto, Luca
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 267
    Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability /
    by Hutter, Marcus
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 268
    Handbook of Spatial Logics
    by Aiello, Marco
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 269
    M-Solid Varieties of Algebras
    by Koppitz, J.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 270
    Logic Programming (vol. # 3668) 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
    by Gabbrielli, Maurizio
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 271
    Transactions on Rough Sets V
    by Peters, James F.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 272
    Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 273
    Transactions on Rough Sets VI Commemorating the Life and Work of Zdzislaw Pawlak, Part I
    by Peters, James F.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 274
    Logic Programming (vol. # 4079) 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    by Etalle, Sandro
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 275
    Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 276
    Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
    by Leivant, Daniel
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 277
    Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
    by Hagiya, Masami
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 278
    Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
    by Futatsugi, Kokichi
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 279
    Transactions on Rough Sets VII Commemorating the Life and Work of ZdzisЕ,aw Pawlak, Part II /
    by Peters, James F.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 280
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    by Beckert, Bernhard
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed