Formal Grammar: Theory and Implementation (|c NDCS |t New Directions in Cognitive Science) 448 pages...
Models of Computation and Formal Languages 688 pages | English | ISBN-10: 019510983X | ISBN-13:...
Theory of Finite Automata With an Introduction to Formal Languages 438 pages | English |...
Formal Languages (Computer science classics) 322 pages | English | ISBN-10: 0126157502 | ISBN-13: 9780126157505...
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International...
Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science) 210...
Cognition and the Book: Typologies of Formal Organisation of Knowledge in the Printed Book of...
Visual Languages for Interactive Computing: Definitions and Formalizations 514 pages | English | ISBN-10: 1599045346...
Formalized Music: Thought and Mathematics in Composition (HARMONOLOGIA) 387 pages | English | ISBN-10: 0945193246...
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) 351 pages | English |...
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His...
Noncovariant Gauges in Canonical Formalism (Lecture Notes in Physics (761)) 251 pages | English |...
Quantum Mechanics, Mathematics, Cognition and Action: Proposals for a Formalized Epistemology (Fundamental Theories of Physics...
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (The Springer International Series in...
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey,...
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November...
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice...
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City,...
Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings (Lecture Notes in...
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of...