| Search | About | Preferences | Interact | Help | |
| 150 million books. 1 search engine. | ||

› Find collectible copies of 'Act: Algebraic Specification Techniques & Tools for Software Development'

› Find collectible copies of 'Categorical Methods in Computer Science : With Aspects from Topology'

› Find collectible copies of 'Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985 : Volume 2: Colloquium on Software Engineering (CSE)'

› Find collectible copies of 'Fundamentals of Algebraic Graph Transformation'

› Find collectible copies of 'Fundamentals of Algebraic Specification'

› Find collectible copies of 'Fundamentals of Algebraic Specifications 2: Module Specification and Constraints'

› Find collectible copies of 'Graph Grammars and Their Application to Computer Science: 5th International Workshop, Williamsburg, Va, Usa, November 13-18, 1995 Selected Papers'

› Find collectible copies of 'Graph Transformations: Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006 Proceedings'

› Find collectible copies of 'Graph Transformations: Second International Conference, Icgt 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings'
More editions of Graph Transformations: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002 Proceedings:

› Find collectible copies of 'Graph Transformations in Computer Science: International Workshop Dagstuhl Castle, Germany, January 4-8, 1993 Proceedings'

› Find collectible copies of 'Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986'

› Find collectible copies of 'Graph-Grammars and Their Application to Computer Science: 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982'

› Find collectible copies of 'Graph-Grammars and Their Application to Computer Science and Biology: International Workshop, Bad Honnef, October 30-November 3, 1978'

› Find collectible copies of 'Handbook of Graph Grammars and Computing by Graph Transformations : Applications, Languages and Theory'

› Find collectible copies of 'Handbook of Graph Grammars and Computing by Graph Transformations: Concurrency, Parallelism, and Distribution'

› Find collectible copies of 'Integration Of Software Specification Techniques For Applications In Engineering: Third International Workshop, Int 2004, Barcelona, Spain, March 28, 2004, Revised Selected Papers'

› Find collectible copies of 'Mathematical Foundations of Software Development'

› Find collectible copies of 'Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)'

› Find collectible copies of 'Petri Net Technology for Communication-Based Systems: Advances in Petri Nets'

› Find collectible copies of 'Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave'
More editions of Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint With the 4th Compass Workshop Caldes De Malave:

› Find collectible copies of 'Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint with the 4th COMPASS Workshop, Caldes De Malavella, Spain, October 26-30, 1992 Selected Papers'

› Find collectible copies of 'Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings'

› Find collectible copies of 'Tapsoft '87. Proceedings of the International Joint Conference on Theory'
More editions of Tapsoft '87 : Proceedings of the International Joint Conference on Theory:

› Find collectible copies of 'Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advanc'
More editions of Tapsoft '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 Advanc:

› Find collectible copies of 'Theory and Application of Graph Transformations: 6th International Workshop, Tagt'98 Paderborn, Germany, November 16-20, 1998 Selected Papers'

› Find collectible copies of 'Unifying Petri Nets: Advances in Petri Nets'

› Find collectible copies of 'Universal Theory of Automata: A Categorical Approach'

› Find collectible copies of 'Kategorien Und Automaten'
BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.
