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

Computer Aided Design Modelling,Systems Engineering, CAD-Systems : CREST Advanced Course, Darmstadt, 8. - 19. September 1980

Semantics-Directed Compiler Generation : Proceedings of a Workshop,Aarhus, Denmark, January 14-18, 1980

Logics of Programs : Workshop,Yorktown Heights, NY, USA

Recent Mathematical Methods in Dynamic Programming : Proceedings of the Conference held in Rome,Italy, March 26-28, 1984

A Perspective of Constraint-Based Reasoning : An Introductory Tutorial

Fuzzy Logic in Artificial Intelligence : 8th Austrian Artificial Intelligence Conference,FLAI93, Linz, Austria, June 28-30, 1993. Proceedings

Multiagent Systems : A Theoretical Framework for Intentions,Know-How, and Communications

Information Extraction : A Multidisciplinary Approach to an Emerging Information Technology

25 Years of Model Checking : History,Achievements, Perspectives

ADO.NET Examples and Best Practices for C Programmers

Using and Understanding Java Data Objects

Java Persistence for Relational Databases