Showing 101 - 120 results of 677 for search 'mathematical logic and formal (languages OR language).', query time: 0.16s Refine Results
  1. 101
    Logica Universalis Towards a General Theory of Logic /
    by Beziau, Jean-Yves
    Published in Springer e-books (2007)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 102
    Logica Universalis Towards a General Theory of Logic /
    by Beziau, Jean-Yves
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 103
    Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Symmetric Difference NFAs -- Interval Logics and ωB-Regular Languages.- Eliminating Stack Symbols in Push...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 104
    From Requirements to Java in a Snap Model-Driven Requirements Engineering in Practice /
    Table of Contents: “... Language -- 3. Defining RSL -- 4. Explaining RSL with Java -- 5. Understanding Model Transformations -- 6...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 105
    Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “...Domain-Specific Languages -- Language Patterns and Evolution -- Grammars -- Tools -- Language...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 106
    Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Modular Well-Definedness Analysis for Attribute Grammars -- Meta-language Support for Type-Safe Access...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 107
    Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 108
    Programming Languages and Systems (vol. # 3780) Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
    by Yi, Kwangkeun
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 109
    Programming Languages and Systems (vol. # 4279) 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    by Kobayashi, Naoki
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 110
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
    by Henson, Martin
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 111
    Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    by Hutter, Dieter
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 112
    Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 113
    Automated Reasoning and Mathematics Essays in Memory of William W. McCune /
    Published in Springer eBooks (2013)
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 114
    Programming Languages and Systems (vol. # 3924) 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
    by Sestoft, Peter
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  15. 115
    Programming Languages and Systems (vol. # 3444) 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8,
    by Sagiv, Mooly
    Published in Springer e-books (2005)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  16. 116
    Logica Volume 1 Dimostrazioni e modelli al primo ordine /
    Subjects: “...Mathematical Logic and Formal Languages. 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  17. 117
    Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... Residual Finite State Automaton -- Quantum State Complexity of Formal Languages....”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  18. 118
    Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “...Simplified language -- Plain language -- Formalized language -- Processable language -- Fragments...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  19. 119
    Modern Formal Methods and Applications
    by Gabbar, Hossam A.
    Published in Springer e-books (2006)
    Subjects: “...Mathematical Logic and Formal Languages 303363...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  20. 120
    Fundamental Approaches to Software Engineering 18th International Conference, FASE 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: “... of Measures for Statistical Fault Localisation and an Optimising Scheme -- Modeling -- A Generalized Formal...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed