Showing 341 - 360 results of 677 for search 'mathematical logic and formal (languages OR language)', query time: 0.20s Refine Results
  1. 341
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
    by Arvind, V.
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 342
    Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 343
    Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...On Logic Embeddings and Gödel's God -- An Institutional Foundation for the K Semantic Framework...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 344
    Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...-Complete -- Near Semi-rings and Lambda Calculus -- All-Path Reachability Logic -- Formalizing Monotone...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 345
    Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 346
    Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
    by Durand-Lose, Jérôme
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 347
    Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
    by Holub, Jan
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 348
    Inconsistency Tolerance
    by Bertossi, Leopoldo
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 349
    Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings /
    by Melin, Patricia
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 350
    Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013 /
    Published in Springer eBooks (2015)
    Table of Contents: “...Part I: Uncertainty Modeling -- Chapter 1. Rough Sets and other Mathematics: Ten Research Programs...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 351
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 352
    Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 353
    ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 354
    Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 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: “... -- Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 355
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... in Mechanized Linearizability Proofs -- Partial Quantifier Elimination -- Formal Verification of 800 Genetically...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 356
    The Seventeen Provers of the World Foreword by Dana S. Scott
    by Wiedijk, Freek
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 357
    Transactions on Computational Systems Biology VIII
    by Priami, Corrado
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 358
    Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Introductions to description logics -- Answer set programming -- Ontology-based data access with databases.- A...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 359
    Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 360
    Term Rewriting and Applications (vol. # 4098) 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    by Pfenning, Frank
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed