21- 40 of 1604 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types, Author: Mark S. Sherman
QUICK ADD
Paragon: A Language Using Type…
by Mark S. Sherman
#189 in Series
Paperback $54.99
Title: Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984, Author: Stephen D. Brookes
QUICK ADD
Seminar on Concurrency:…
by Stephen D. Brookes (Editor), Andrew W. Roscoe (Editor), Glynn Winskel (Editor)
#197 in Series
Paperback $54.99
Title: Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings, Author: S.N. Maheshwari
QUICK ADD
Foundations of Software…
by S.N. Maheshwari (Editor)
#206 in Series
Paperback $54.99
Title: Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers, Author: Hans-Jïrg Kreowski
QUICK ADD
Recent Trends in Data Type…
by Hans-Jïrg Kreowski (Editor)
#116 in Series
Paperback $54.99
Title: RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan, Author: Eiichi Goto
QUICK ADD
RIMS Symposium on Software…
by Eiichi Goto (Editor), Keijiro Araki (Editor), Taiichi Yuasa (Editor)
#220 in Series
Paperback $54.99
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
QUICK ADD
Formal Methods and Software…
by Hartmut Ehrig (Editor), Christiane Floyd (Editor), Maurice Nivat (Editor), James Thatcher (Editor)
#186 in Series
Paperback $69.99
Title: Current Trends in Concurrency: Overviews and Tutorials, Author: Jacobus W. De Bakker
QUICK ADD
Current Trends in Concurrency:…
by Jacobus W. De Bakker (Editor), Grzegorz Rozenberg (Editor), Willem-Paul De Roever (Editor)
#224 in Series
Paperback $109.99
Title: Approaches to Prototyping: Proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium, Author: R. Budde
QUICK ADD
Approaches to Prototyping:…
by R. Budde (Editor), K. Kuhlenkamp (Editor), L. Mathiassen (Editor), H. Zïllighoven (Editor)
Paperback $109.99
Title: Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings, Author: Kesav V. Nori
QUICK ADD
Foundations of Software…
by Kesav V. Nori
#241 in Series
Paperback $54.99
Title: The Science of Programming, Author: David Gries
QUICK ADD
The Science of Programming
by David Gries
Explore Series
Paperback $99.99
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
QUICK ADD
TAPSOFT '87: Proceedings of…
by Hartmut Ehrig (Editor), Robert Kowalski (Editor), Giorgio Levi (Editor), Ugo Montanari (Editor)
#249 in Series
Paperback $49.99
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
QUICK ADD
TAPSOFT '87: Proceedings of…
by Hartmut Ehrig (Editor), Robert A. Kowalski (Editor), Giorgio Levi (Editor), Ugo Montanari (Editor)
#250 in Series
Paperback $49.99
Title: Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986, Author: Reidar Conradi
QUICK ADD
Advanced Programming…
by Reidar Conradi (Editor), Tor M. Didriksen (Editor), Dag H. Wanvik (Editor)
#244 in Series
Paperback $54.99
Title: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings, Author: Dines Bjïrner
QUICK ADD
VDM '87. VDM - A Formal Method…
by Dines Bjïrner (Editor), Cliff Jones (Editor), Michael Mac An Airchinnigh (Editor), Erich J. Neuhold (Editor)
#252 in Series
Paperback $54.99
Title: ECOOP '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings, Author: Jean Bezivin
QUICK ADD
ECOOP '87. European Conference…
by Jean Bezivin (Editor), Jean-Marie Hullot (Editor), Pierre Cointe (Editor), Henry Lieberman (Editor)
#276 in Series
Paperback $49.99
Title: Visualization in Programming: 5th Interdisciplinary Workshop in Informatics and Psychology Sch�rding, Austria, May 20-23, 1986, Author: Peter Gorny
QUICK ADD
Visualization in Programming:…
by Peter Gorny (Editor), Michael J. Tauber (Editor)
#282 in Series
Paperback $54.99
Title: Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings, Author: Kesav V. Nori
QUICK ADD
Foundations of Software…
by Kesav V. Nori (Editor)
#287 in Series
Paperback $54.99
Title: ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings, Author: Howard K. Nichols
QUICK ADD
ESEC '87: 1st European…
by Howard K. Nichols (Editor), Dan Simpson (Editor)
#289 in Series
Paperback $54.99
Title: The Munich Project CIP: Volume II: The Programme Transformation System CIP-S, Author: Springer Berlin Heidelberg
QUICK ADD
The Munich Project CIP: Volume…
by Springer Berlin Heidelberg
#292 in Series
Paperback $54.99
Title: Experiences with Distributed Systems: International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings, Author: Jïrgen Nehmer
QUICK ADD
Experiences with Distributed…
by Jïrgen Nehmer (Editor)
#309 in Series
Paperback $54.99

Pagination Links