Showing 181 - 200 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.18s Refine Results
  1. 181
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 182
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published in Springer eBooks (2014)
    Table of Contents: “... of Formal Verification Processes -- CafeOBJ Traces -- Parchments for CafeOBJ Logics -- Incremental Proofs...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 183
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    by Clavel, Manuel
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 184
    Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Speech Language Processing and Applications -- Automatically Recognising European Portuguese...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 185
    Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... processing, language modelling, and spell- and grammar-checking....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 186
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 187
    Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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)
    Table of Contents: “...Invited Talk -- Polarized Substructural Session Types -- Semantics of Programming Languages I...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 188
    Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...Numerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 189
    Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Introduction to Part II: Mereology and Mathematics -- Multi-valued Logic for a Point Free Foundation...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 190
    Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers /
    by Yli-Jyrä, Anssi
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 191
    Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
    by Kramer, Stefan
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 192
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 193
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Published in Springer eBooks (2014)
    Table of Contents: “... Efficiency of Evolving Critical Systems -- Combinatory Logic Synthesizer -- Incremental Syntactic-Semantic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 194
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 195
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 196
    Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 197
    Belief Revision in Non-Classical Logics
    Table of Contents: “...Preface -- Introduction -- Consequence -- Logics -- Classical Belief Revision -- AGM Contraction...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 198
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 199
    Linguistic Expressions and Semantic Processing A Practical Approach /
    by Butler, Alastair
    Published in Springer eBooks (2015)
    Table of Contents: “...Preface -- 1.Predicate Languages -- 2.Self-selective Evaluation -- 3.Self-locating Evaluation -- 4...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 200
    Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
    by Jones, Cliff B.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed