Showing 21 - 40 results of 677 for search 'mathematical logic and formal (languages OR language).', query time: 0.15s Refine Results
  1. 21
    Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... in English and Russian: A Frame Semantic Analysis -- Logic and Computation.-On a Formal Connection between...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 22
    Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- A Note on Multidimensional Dyck Languages -- Extended Lambek Calculi and First-Order Linear Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 23
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 24
    Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
    Published in Springer eBooks (2015)
    Table of Contents: “... -- Factorization in Formal Languages -- Consensus Game Acceptors -- On the Size of Two-Way Reasonable Automata...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 25
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 26
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    by Czelakowski, Janusz
    Published in Springer eBooks (2015)
    Table of Contents: “...Preface -- Part 1. Elements of Formal Action Theory -- Chapter 1. Elementary Action Systems...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 27
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 28
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 29
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 30
    Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
    by Bollig, Benedikt
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 31
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 32
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “...LLVM-based code generation for B -- Equational abstractions in rewriting logic and Maude...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 33
    Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
    by Nievergelt, Yves
    Published in Springer eBooks (2015)
    Table of Contents: “...Preface -- 1. Propositional Logic: Proofs from Axioms and Inference Rules -- 2. First Order Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 34
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 35
    Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
    by Harju, Tero
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 36
    Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... by Certificate Reduction and Partitioning -- Formal Analysis of Proactive, Distributed Routing -- Certification...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 37
    Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Table of Contents: “...Components as Location Graphs -- A Formal Approach to Autonomic Systems Programming: The SCEL...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 38
    Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 39
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
    by Shao, Zhong
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 40
    Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed