Showing 141 - 160 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.15s Refine Results
  1. 141
    Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /
    by Aguzzoli, Stefano
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 142
    Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 143
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 144
    The Life and Work of Leon Henkin Essays on His Contributions /
    Published in Springer eBooks (2014)
    Table of Contents: “...Part I Biographical Studies -- Leon Henkin -- Lessons from Leon -- Tracing back "Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 145
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 146
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    by Rocca, Simona Ronchi
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 147
    Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...Sabotage Modal Logic: Some Model and Proof Theoretic Aspects -- Game Theoretical Semantics...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 148
    Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Specification Languages and Type Systems -- Monitoring and Testing -- Security Analysis...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 149
    Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
    by Wójcicki, Ryszard
    Published in Springer eBooks (2009)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 150
    Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition) /
    by Mazzola, Guerino
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 151
    Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 152
    Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Automata, grammars, languages and other formal systems -- Various modes of operation and complexity...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 153
    Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 154
    Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /
    by Muggleton, Stephen
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 155
    Dynamic Epistemic Logic
    by Ditmarsch, Hans van
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 156
    Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 157
    Information and Knowledge A Constructive Type-theoretical Approach /
    by Primiero, Giuseppe
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 158
    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
  19. 159
    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
  20. 160
    Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
    by O'Regan, Gerard
    Published in Springer eBooks (2013)
    Table of Contents: “...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed