Open Library beta
Log in
Search Results
    More search options

There are 91 matching records. Show: List / Covers

full text
Not available   91
authors
IEEE Computer Society.   2
A. Finkel   1
A. Petit   1
Alan P. Parkes   1
Alberto L. Sangiovanni-Vincentelli   1
Arlindo L. Oliveira   1
subjects
Formal Language Theory   [x]
Computer Science   80
Computers   79
Computer Books: General   40
General   39
Congresses   38
publication date
2000–now   53
1980-1999   36
pre-1920   2
languages
English   91
publishers
Springer   70
World Scientific Publishing Company   4
Institute of Electrical & Electronics Enginee   2
Prentice Hall   2
Springer-Verlag Telos   2
Addison Wesley   1
Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing)
Springer, August 31, 2001 Hardcover
Domain Modeling-Based Software Engineering by Lu, Ruqian, Jin, Zhi
Springer, August 31, 2000 Hardcover
Formal Engineering Methods (Icfem 2000) by IEEE Computer Society.
Ieee, January 2001 Paperback
Grammar Systems by PAUN
Routledge, March 1, 1994 Hardcover
Handbook of Formal Languages
Springer, May 28, 2002 Hardcover
Handbook of Formal Languages: Volume 2. Linear Modeling
Springer, January 31, 2001 Hardcover
Developments in Language Theory II: At the Crossroads of Mathematics, Computer Science and Biology
World Scientific Pub Co Inc, June 1996 Hardcover
Automata, Computability and Complexity by Elaine A. Rich
Prentice Hall, September 28, 2007 Hardcover
Introducing Formal Methods by Neville Ford, Judith Ford
Ellis Horwood Ltd, June 1993 Paperback
2nd International Conference on Formal Engineering Methods (Icfem '98 by IEEE International Conference on Formal Engineering Methods
Institute of Electrical & Electronics Enginee, December 1998 Paperback
Communication and Concurrency (Prentice Hall International Series in Computer Science)
Prentice Hall PTR, September 6, 1995 Textbook Binding
Term Graph Rewriting by M. J. Plasmeijer, M. R. Sleep
John Wiley & Sons Inc, June 1993 Hardcover
Recent Advances in Parsing Technology (Text, Speech and Language Technology)
Springer, December 31, 1899 Hardcover
Computing Meaning - Volume 1 (STUDIES IN LINGUISTICS AND PHILOSOPHY Volume 73) by Harry Bunt
Springer, November 30, 1999 Hardcover
Marcus Contextual Grammars (Studies in Linguistics and Philosophy) by G. Paun
Springer, October 31, 1997 Hardcover
Computing Meaning Volume 2 (Studies in Linguistics and Philosophy)
Springer, December 31, 1899 Hardcover
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Springer, October 18, 1999 Paperback
Formal Specification by Nismal Nissanke, Nimal Nissanke
Springer-Verlag Telos, August 1999 Paperback
Formal Methods and Software Engineering
Springer, December 5, 2002 Paperback
Algebraic Foundations of Systems Specification (Ifip State-of-the-Art Reports)
Springer, November 1999 Hardcover


More results:  1  2  3  4  5  NEXT >
Can't find the book you are searching for? Add a new book.
Search = 0.22 sec; Presentation = 0.00 sec