Title: Enduser Systems and Their Human Factors: Proceedings of the Scientific Symposium conducted on the occasion of the 15th Anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983, Author: A. Blaser
Title: Bibliography on Abstract Data Types, Author: B. Kutzler
Title: Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS), Author: A. Pagnoni
Title: The Design of Dynamic Data Structures, Author: Mark H. Overmars
Title: First European Simulation Congress ESC 83: Aachen, September, 12-16, 1983 Proceedings, Author: W. Ameling
Title: The IOTA Programming System: A Modular Programming Environment, Author: R. Nakajima
Title: Elements of Simulation, Author: Byron J.T. Morgan
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: F.L. Bauer
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: Advances in Petri Nets 1984, Author: H. Genrich
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: Current Trends in Concurrency: Overviews and Tutorials, Author: Jacobus W. De Bakker
Title: Approaches to Prototyping: Proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium, Author: R. Budde
Title: Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings, Author: Kesav V. Nori

Pagination Links