Showing 61 - 80 results of 767 for search '"mathematical logic"', query time: 0.08s Refine Results
  1. 61
    Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 62
    Problems and Theorems in Classical Set Theory
    by Komjáth, Péter
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Foundations 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 63
    Set Theory Exploring Independence and Truth /
    by Schindler, Ralf
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Foundations. 306112...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 64
    Petri Net Synthesis
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 65
    Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    by de Vrijer, Roel
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 66
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    by Duparc, Jacques
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 67
    Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    by Ésik, Zoltán
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 68
    Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    by Ong, Luke
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 69
    Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 70
    Introduction to Concurrency Theory Transition Systems and CCS /
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 71
    Mathematical Problems from Applied Logic I Logics for the XXIst Century /
    by Gabbay, Dov M.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 72
    Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 73
    The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
    by Jureta, Ivan
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 74
    Constraints Meet Concurrency
    by Mauro, Jacopo
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 75
    Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 76
    Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 77
    Handbook of Spatial Logics
    by Aiello, Marco
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 78
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 79
    Transactions on Rough Sets XIX
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 80
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical logic. 461383...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed