Title: Report of Algorithmic Language ALGOL 68, Author: Adriaan van van Wijngaarden
Title: Optimization Techniques IFIP Technical Conference: Novosibirsk, July 1-7, 1974, Author: Josef Stoer
Title: The Vienna Development Method: The Meta-Language / Edition 1, Author: D. Bjorner
Title: Microcomputer: Problem Solving Using PASCAL / Edition 5, Author: Kenneth L. Bowles
Title: Graph Theory and Algorithms: 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings / Edition 1, Author: N. Saito
Title: Alphard: Form and Content: Form and Content / Edition 1, Author: Mary Shaw
Title: International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings / Edition 1, Author: M. Paul
Title: ESOP 86: European Symposium on Programming, Saarbr�cken, Federal Republic of Germany, March 17-19, 1986. Proceedings / Edition 1, Author: Bernard Robinet
Title: Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 / Edition 1, Author: Eiiti Wada
Title: Mathematical Foundations of Computer Science 1986: 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings / Edition 1, Author: Jozef Gruska
Title: Program Construction, Author: R. G. Stone
Title: PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings / Edition 1, Author: Jacobus W. de Bakker
Title: ANNA A Language for Annotating Ada Programs: Reference Manual / Edition 1, Author: David C. Luckham
Title: Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings / Edition 1, Author: Marisa Venturini Zilli
Title: MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics / Edition 1, Author: Andrzej Blikle
Title: ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings / Edition 1, Author: Harald Ganzinger
Title: Attribute Grammar Inversion and Source-to-source Translation / Edition 1, Author: Daniel M. Yellin
Title: Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers / Edition 1, Author: Donald Sannella
Title: Efficient Structures for Geometric Data Management / Edition 1, Author: Oliver Gïnther
Title: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / Edition 1, Author: Jacobus W. de Bakker

Pagination Links