Title: Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings, Author: M. Joseph
Title: Lecture Notes on Bucket Algorithms, Author: DEVROYE
Title: The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L, Author: Springer Berlin Heidelberg
Title: Advances in Petri Nets 1984, Author: G. Rozenberg
Title: Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types, Author: Mark S. Sherman
Title: Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984, Author: Stephen D. Brookes
Title: Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings, Author: S.N. Maheshwari
Title: Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers, Author: Hans-Jïrg Kreowski
Title: RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan, Author: Eiichi Goto
Title: 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), Author: Hartmut Ehrig
Title: Approaches to Prototyping: Proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium, Author: R. Budde
Title: Current Trends in Concurrency: Overviews and Tutorials, Author: Jacobus W. De Bakker
Title: Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings, Author: Kesav V. Nori
Title: Taming the Tiger: Software Engineering and Software Economics, Author: Leon S. Levy
Title: The Science of Programming, Author: David Gries
Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and P, Author: Hartmut Ehrig
Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional an, Author: Hartmut Ehrig
Title: Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986, Author: Reidar Conradi
Title: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings, Author: Dines Bjïrner
Title: The Design of Dynamic Data Structures, Author: Mark H. Overmars

Pagination Links