All Mathematical Logic and Formal Language Titles

Grid or a List

Set Ascending Direction

Books 1-20 of 31

per page
Page:
  1. 1
  2. 2
  1. Temporal Logic and State Systems
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540674-01-6
  2. Stochastic Coalgebraic Logic
    • Publication Date: December 24, 2009
    • ISBN13: 978-3-642029-94-3
  3. Rewriting and Typed Lambda Calculi
    • Publication Date: July 1, 2014
    • ISBN13: 978-3-319089-17-1
  4. Relational and Algebraic Methods in Computer Science
    • Publication Date: April 8, 2014
    • ISBN13: 978-3-319062-50-1
  5. Principles and Practice of Constraint Programming
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-319104-27-0
  6. Pattern Calculus
    • Publication Date: July 30, 2009
    • ISBN13: 978-3-540891-84-0
  7. Modelling Distributed Systems
    • Publication Date: September 5, 2007
    • ISBN13: 978-3-540739-37-1
  8. Mathematical Logic for Computer Science 3rd Edition
    • Publication Date: June 16, 2012
    • ISBN13: 978-1-447141-28-0
  9. Mathematical Logic 2nd Edition
    • Publication Date: November 7, 2014
    • ISBN13: 978-3-034808-61-3
  10. Logics of Specification Languages
    • Publication Date: December 5, 2007
    • ISBN13: 978-3-540741-06-0
  11. Logical Analysis of Hybrid Systems
    • Publication Date: September 2, 2010
    • ISBN13: 978-3-642145-08-7
  12. Logic, Language, Information, and Computation
    • Publication Date: August 23, 2014
    • ISBN13: 978-3-662441-44-2
  13. Interactive Theorem Proving
    • Publication Date: June 28, 2014
    • ISBN13: 978-3-319089-69-0
  14. Inductive Logic Programming
    • Publication Date: September 23, 2014
    • ISBN13: 978-3-662449-22-6
  15. Handbook of Weighted Automata
    • Publication Date: September 18, 2009
    • ISBN13: 978-3-642014-91-8
  16. Grammars for Language and Genes
    • Publication Date: September 1, 2011
    • ISBN13: 978-3-642204-43-2
  17. Foundations of Information and Knowledge Systems
    • Publication Date: February 20, 2014
    • ISBN13: 978-3-319049-38-0
  18. Formal Languages and Compilation
    • Publication Date: April 3, 2009
    • ISBN13: 978-1-848820-49-4
  19. Formal Grammar
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-20-6
  20. Formal Correctness of Security Protocols
    • Publication Date: May 27, 2007
    • ISBN13: 978-3-540681-34-2

Grid or a List

Set Ascending Direction

Books 1-20 of 31

per page
Page:
  1. 1
  2. 2