Title: CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, N�rnberg, June 10-12, 1981. Proceedings / Edition 1, Author: W. Hïndler
Title: Logics of Programs: Brooklyn, June 17-19, 1985 / Edition 1, Author: Rohit Parikh
Title: CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings / Edition 1, Author: Wolfgang Händler
Title: Applied Control Theory / Edition 2, Author: J.R. Leigh
Title: Automata, Languages and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings / Edition 1, Author: Thomas Ottmann
Title: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings / Edition 1, Author: Alfonso Miola
Title: Digital Systems: Hardware Organization and Design / Edition 3, Author: Frederick J. Hill
Title: The SPARC Technical Papers, Author: Ben J. Catanzaro
Title: Advances in Petri Nets 1993 / Edition 1, Author: Grzegorz Rozenberg
Title: Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation / Edition 1, Author: Anne Mulkers
Title: Computers in Context: The Philosophy and Practice of System Design / Edition 1, Author: Bo Dahlbom
Title: Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992. Proceedings / Edition 1, Author: Friedhelm Meyer auf der Heide
Title: Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives / Edition 1, Author: Michel Banatre
Title: Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings / Edition 1, Author: Jacques Calmet
Title: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Edition 1, Author: Bernhard Steffen
Title: The World Wide Web for Scientists and Engineers, Author: B. Thomas
Title: Enterprise System Architectures: Building Client Server and Web Based Systems / Edition 1, Author: Mark Goodyear
Title: e-Enterprise: Business Models, Architecture, and Components / Edition 1, Author: Faisal Hoque
Title: Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Edition 1, Author: Tiziana Margaria
Title: Advances in Exception Handling Techniques / Edition 1, Author: Alexander Romanovsky

Pagination Links