81- 100 of 3711 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: A Systematic Catalogue of Reusable Abstract Data Types, Author: Jïrgen Uhl
QUICK ADD
A Systematic Catalogue of…
by Jïrgen Uhl, Hans A. Schmid
#460 in Series
Paperback $54.99
Title: Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada, Author: Karen Summerskill
QUICK ADD
Formal Methods for Trustworthy…
by Karen Summerskill (Editor), Dan Craigen (Editor)
Explore Series
Paperback $54.99
Title: Software Engineering Environments: International Workshop on Environments, Chinon, France, September 18-20, 1989. Proceedings, Author: Fred Long
QUICK ADD
Software Engineering…
by Fred Long (Editor)
#467 in Series
Paperback $54.99
Title: Children Designers: Interdisciplinary Constructions for Learning and Knowing Mathematics in a Computer-Rich School, Author: Idit Harel
QUICK ADD
Children Designers:…
by Idit Harel
Explore Series
Paperback $55.00
Title: Software Design for Real-time Systems, Author: J. E. Cooling
QUICK ADD
Software Design for Real-time…
by J. E. Cooling
Paperback $54.99
Title: ITSM: An Interactive Time Series Modelling Package for the PC, Author: Peter J. Brockwell
QUICK ADD
ITSM: An Interactive Time…
by Peter J. Brockwell, Richard A. Davis
Paperback $54.99
Title: Chemical Information 2: Information in Chemistry, Pharmacology and Patents 2nd Proceedings of the International Conference, Montreux, Switzerland, September 1990, Author: Harry R. Collier
QUICK ADD
Chemical Information 2:…
by Harry R. Collier (Editor)
Paperback $109.99
Title: Qualitative Simulation Modeling and Analysis, Author: Paul A. Fishwick
QUICK ADD
Qualitative Simulation…
by Paul A. Fishwick (Editor), Herbert A. Simon (Foreword by), Paul A. Luker (Editor)
#5 in Series
Paperback $109.99
Title: TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91), Author: S. Abramsky
QUICK ADD
TAPSOFT '91: Proceedings of…
by S. Abramsky (Editor), T.S.E. Maibaum (Editor)
#493 in Series
Paperback $54.99
Title: Prospects for Functional Programming in Software Engineering, Author: Jean-Pierre Banatre
QUICK ADD
Prospects for Functional…
by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer
#1 in Series
Paperback $54.99
Title: Algebraic Methods II: Theory, Tools and Applications, Author: Jan A. Bergstra
QUICK ADD
Algebraic Methods II: Theory,…
by Jan A. Bergstra (Editor), Loe M.G. Feijs (Editor)
#490 in Series
Paperback $54.99
Title: Software Re-use, Utrecht 1989: Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands, Author: Liesbeth M. Dusink
QUICK ADD
Software Re-use, Utrecht 1989:…
by Liesbeth M. Dusink (Editor), Patrick A.V. Hall (Editor)
Explore Series
Paperback $54.99
Title: Advanced Information Systems Engineering: Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 1991, Author: Rudolf Andersen
QUICK ADD
Advanced Information Systems…
by Rudolf Andersen (Editor), Janis A. Jr. Bubenko (Editor), Arne Soelvberg (Editor)
#498 in Series
Paperback $54.99
Title: Software Development Environments and Case Technology: European Symposium, K�nigswinter, June 17-19, 1991. Proceedings, Author: Albert Endres
QUICK ADD
Software Development…
by Albert Endres (Editor), Herbert Weber (Editor)
#509 in Series
Paperback $54.99
Title: The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software, Author: Armand Puccetti
QUICK ADD
The Programming and Proof…
by Armand Puccetti (Editor), D. Brocard (Contribution by), P. Gagert (Contribution by), P. Gribomont (Contribution by), O. Pirotte (Contribution by)
#1 in Series
Paperback $109.99
Title: Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990, Author: J.E. Nicholls
QUICK ADD
Z User Workshop, Oxford 1990:…
by J.E. Nicholls (Editor)
Explore Series
Paperback $54.99
Title: ECOOP '91 European Conference on Object-Oriented Programming: Geneva, Switzerland, July 15-19, 1991. Proceedings, Author: Pierre America
QUICK ADD
ECOOP '91 European Conference…
by Pierre America (Editor)
#512 in Series
Paperback $54.99
Title: Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25-27, 1991 Proceedings, Author: Mario Dal Cin
QUICK ADD
Fault-Tolerant Computing…
by Mario Dal Cin (Editor), Wolfgang Hohl (Editor)
#283 in Series
Paperback $109.99
Title: Cognitive -Affective Processes: New Ways of Psychoanalytic Modeling, Author: Ulrich Moser
QUICK ADD
Cognitive -Affective Processes…
by Ulrich Moser (Editor), Ulrich Moser (Contribution by), Ilka v. Zeppelin (Editor), Ilka v. Zeppelin (Contribution by), Rolf Pfeifer (Contribution by)
Explore Series
Paperback $109.99
Title: ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings, Author: Axel van Lamsweerde
QUICK ADD
ESEC '91: 3rd European…
by Axel van Lamsweerde (Editor), Alfonso Fuggetta (Editor)
#550 in Series
Paperback $54.99

Pagination Links