Advances in Cryptology Asiacrypt 98: International Conference on the Theory and Application of Cryptology and Information Security,Beijing, China, Oc
Randomization,Approximation, and Combinatorial Optimization. Algorithms and Techniques : Third International Workshop on Randomization and Approximat
Fuzzy Logic in Artificial Intelligence : IJCAI97 Workshop Nagoya,Japan, August 23-24, 1997 Selected and Invited Papers
Information Extraction : Towards Scalable,Adaptable Systems
Interactive Multimedia Documents : Modeling,Authoring, and Implementation Experiences
Secure Networking - CQRE (Secure) 99 : International Exhibition and Congress Düsseldorf,Germany, November 30 - December 2, 1999, Proceedings
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Reflection and Software Engineering
Approximation Algorithms for Combinatorial Optimization : Third International Workshop,APPROX 2000 Saarbrücken, Germany, September 5-8, 2000 Proceed
Persuasive Technology : Third International Conference,PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008, Proceedings
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies,Venice, Italy, June 16-
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer,Communication, and Software
