Отображение 281 - 300 результаты of 677 для поиска 'mathematical logic and formal (languages OR language)', время запроса: 0.18сек. Отмена результатов
  1. 281
    Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 282
    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
    по Aceto, Luca
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 283
    Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 284
    Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 285
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 286
    Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... for Belief Contraction -- Logic Foundations of the OCL Modelling Language -- Constraint-Based Algorithm...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 287
    Ernst Zermelo An Approach to His Life and Work /
    по Ebbinghaus, Heinz-Dieter
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 288
    Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical Logic and Formal Languages. 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 289
    Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... of Two-Dimensional Modal Logics -- The Birth of Proof: Modality and Deductive Reasoning -- Indiscrete...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 290
    A Roadmap for Formal Property Verification
    по DasGupta, Pallab
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 291
    Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... to the Field of Second Language Acquisition -- Turner's Logic of Universal Causation, Propositional Logic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 292
    Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “...Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) -- Generic...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 293
    Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
    Опубликовано в: Springer eBooks (2014)
    Оглавление: “... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 294
    Logic Based Program Synthesis and Transformation (vol. # 3901) 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
    по Hill, Patricia M.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 295
    Logic Based Program Synthesis and Transformation (vol. # 3573) 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
    по Etalle, Sandro
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 296
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “....- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 297
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
    по Beckert, Bernhard
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 298
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 299
    Theoretical Aspects of Computing вЂ" ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
    по Jones, Cliff B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Mathematical Logic and Formal Languages 303363...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 300
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Оглавление: “... and Enabling Redundancy -- Formal Analysis of Security Data Paths in RTL Design -- Precise Detection...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток