Title: The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs / Edition 1, Author: W. Dehning
Title: The IOTA Programming System: A Modular Programming Environment / Edition 1, Author: R. Nakajima
Title: Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings, Author: S.N. Maheshwari
Title: The Science of Programming / Edition 1, Author: David Gries
Title: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1, Author: Dines Bjïrner
Title: ESEC '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings / Edition 1, Author: Howard K. Nichols
Title: The Munich Project CIP: Volume II: The Programme Transformation System CIP-S / Edition 1, Author: Springer Berlin Heidelberg
Title: Experiences with Distributed Systems: International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings / Edition 1, Author: Jïrgen Nehmer
Title: Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings / Edition 1, Author: Kesav V. Nori
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A / Edition 1, Author: Josep Diaz
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is / Edition 1, Author: Josep Diaz
Title: Programming Languages Implementation and Logic Programming: International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / Edition 1, Author: Pierre Deransart
Title: Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings, Author: David H. Pitt
Title: Algebraic Methods: Theory, Tools and Applications / Edition 1, Author: Martin Wirsing
Title: Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings, Author: Helene Kirchner
Title: Software Design for Real-time Systems, Author: J. E. Cooling
Title: ITSM: An Interactive Time Series Modelling Package for the PC, Author: Peter J. Brockwell
Title: Informatik: Elementare Einführung in Entwurf, Analyse und maschinelle Verarbeitung von Algorithmen / Edition 2, Author: Martin Warnke
Title: Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers / Edition 1, Author: Michel Bidoit
Title: CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings, Author: Eike Best

Pagination Links