PARLE '89, Parallel Architectures and Languages Europe: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings: v. 2 PARLE '89, Parallel Architectures and Languages Europe: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings: v. 2
ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings
CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988, Proceedings CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988, Proceedings
Computer Aided Systems Theory - Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, LAS Palmas, Spain, February 26 - March 4, 1989, Proceedings Computer Aided Systems Theory - Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, LAS Palmas, Spain, February 26 - March 4, 1989, Proceedings
Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings: 1988 Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings: 1988
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989, Proceedings: 1989 Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989, Proceedings: 1989
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings
Csl '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989, Proceedings: 3rd, 1989 Csl '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989, Proceedings: 3rd, 1989
Knowledge Based Computer Systems: International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings Knowledge Based Computer Systems: International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings
Algorithms: International Symposium Sigal '90, Tokyo, Japan, August 16-18, 1990, Proceedings Algorithms: International Symposium Sigal '90, Tokyo, Japan, August 16-18, 1990, Proceedings
Conpar 90 - Vapp IV: Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990, Proceedings: 1990 Conpar 90 - Vapp IV: Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990, Proceedings: 1990
ICDT '90: Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings ICDT '90: Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings