التقنية والكمبيوتر

An Extended Entity-Relationship Model : Fundamentals and Pragmatics

Software Process Technology : Third European Workshop,EWSPT 94, Villard de Lans, France, February 7-9, 1994. Proceedings

Hardware and Software Architectures for Fault Tolerance : Experiences and Perspectives

FM8501: A Verified Microprocessor

Qualitative Representation of Spatial Knowledge

Database Issues for Data Visualization : IEEE Visualization 93 Workshop,San Jose, California, USA, October 26, 1993. Proceedings

Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques,Bastad, Sweden, May 24 - 30, 1995.

Efficient Graph Rewriting and Its Implementation

Advances in Cryptology - EUROCRYPT 94 : Workshop on the Theory and Application of Cryptographic Techniques,Perugia, Italy, May 9 - 12, 1994. Proceed

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

Disconnected Operation in a Distributed File System

Functional Programming Languages in Education : 1st International Symposium FPLE 95 Nijmegen,The Netherlands, December 4-6, 1995. Proceedings