Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes...
The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science) 125 pages | English...
Cognitive Vision: 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers...
Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings...
Network Economics for Next Generation Networks: 6th International Workshop on Internet Charging and QoS Technologies,...
Computational Science – ICCS 2009: 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009...
Scalable Uncertainty Management: Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings (Lecture...
The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs (Lecture Notes in Computer...
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science (131)) 437...
CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10-12,...
Information Processing in Medical Imaging: 12th International Conference, IPMI '91, Wye, UK, July 7-12, 1991....
Parallel Database Systems: PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings. (Lecture Notes in...
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems (Lecture Notes in Computer...
PRICAI 2008: Trends in Artificial Intelligence: 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi,...
High Performance Computing for Computational Science - VECPAR 2008: 8th International Conference, Toulouse, France, June...
New Frontiers in Artificial Intelligence: JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan,...
The Traveling Salesman: Computational Solutions for TSP Applications (Lecture Notes in Computer Science (840)) 231...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, UK, September 22-23,...
Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 -...
Interactive Storytelling: First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November...