Title: Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings / Edition 1, Author: Richard S. Bird
Title: Programming with POSIX Threads, Author: David Butenhof
Title: Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings, Author: J.W.de Bakker
Title: Parallel Algorithm Derivation and Program Transformation / Edition 1, Author: Robert Paige
Title: A Small Matter of Programming: Perspectives on End User Computing, Author: Bonnie A. Nardi
Title: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Edition 1, Author: Peter E. Lauer
Title: Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings, Author: Andrei Voronkov
Title: The Functional Treatment of Parsing / Edition 1, Author: Renï Leermakers
Title: Multiprocessing: Trade-Offs in Computation and Communication / Edition 1, Author: Vijay K. Naik
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: A Practical Theory of Programming / Edition 1, Author: Eric C.R. Hehner
Title: Algorithms and Data Structures: Third Workshop, WADS '93, Montreal, Canada, August 11-13, 1993. Proceedings / Edition 1, Author: Frank Dehne
Title: Cognitive Models and Intelligent Environments for Learning Programming / Edition 1, Author: Enrica Lemut
Title: Distributed Algorithms: 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings, Author: Andre Schiper
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
Title: Algorithms - ESA '93: First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings / Edition 1, Author: Thomas Lengauer
Title: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / Edition 1, Author: Dines Bjïrner
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: Foundations of Data Organization and Algorithms: 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings / Edition 1, Author: David B. Lomet
Title: Algorithmic Learning Theory - ALT '92: Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings / Edition 1, Author: Shuji Doshita

Pagination Links