Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming,CSCLP 2005, Uppsa
Implementation and Application of Automata : 11th International Conference,CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
Automotive Software-Connected Services in Mobile Networks : First Automotive Software Workshop,ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, R
Software Quality : State of the Art in Management,Testing, and Tools
Cryptographic Hardware and Embedded Systems - CHES 2000 : Second International Workshop Worcester,MA, USA, August 17-18, 2000 Proceedings
Sequence Learning : Paradigms,Algorithms, and Applications
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop,Oxford, UK, April 10-14, 2000
Fast Software Encryption : 8th International Workshop,FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers
Quality of Software Architectures: Second International Conference on Quality of Software Architectures,Qosa 2006, Vasteras, Schweden, June 27-29, 20
A Methodology for Uncertainty in Knowledge-Based Systems
Current Trends in SNePS - Semantic Network Processing System : First Annual SNePS Workshop,Buffalo, NY, November 13, 1989, Proceedings
Public Key Cryptography - PKC 2003 : 6th International Workshop on Theory and Practice in Public Key Cryptography,Miami, FL, USA, January 6-8, 2003