Отображение 181 - 200 результаты of 677 для поиска 'mathematical logic and formal (languages OR language).', время запроса: 0.17сек. Отмена результатов
  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 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 182
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... of Formal Verification Processes -- CafeOBJ Traces -- Parchments for CafeOBJ Logics -- Incremental Proofs...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 183
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    по Clavel, Manuel
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 184
    Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Speech Language Processing and Applications -- Automatically Recognising European Portuguese...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 185
    Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... processing, language modelling, and spell- and grammar-checking....”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 186
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  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 /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Invited Talk -- Polarized Substructural Session Types -- Semantics of Programming Languages I...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 188
    Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Numerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 189
    Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Introduction to Part II: Mereology and Mathematics -- Multi-valued Logic for a Point Free Foundation...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 190
    Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers /
    по Yli-Jyrä, Anssi
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 191
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 192
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 193
    Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
    по Kramer, Stefan
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 194
    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 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 195
    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 /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Efficiency of Evolving Critical Systems -- Combinatory Logic Synthesizer -- Incremental Syntactic-Semantic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 196
    Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 197
    Belief Revision in Non-Classical Logics
    по Ribeiro, Márcio Moretto
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Preface -- Introduction -- Consequence -- Logics -- Classical Belief Revision -- AGM Contraction...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 198
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 199
    Linguistic Expressions and Semantic Processing A Practical Approach /
    по Butler, Alastair
    Опубликовано в: Springer eBooks (2015)
    Оглавление: “...Preface -- 1.Predicate Languages -- 2.Self-selective Evaluation -- 3.Self-locating Evaluation -- 4...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  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 /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток