101
Algorithms and Complexity [E-Book] : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings /
102
Numerical Analysis and Its Applications [E-Book] : First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings /
103
ZUM'97: The Z Formal Specification Notation [E-Book] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /
104
Energy Minimization Methods in Computer Vision and Pattern Recognition [E-Book] : International Workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997, Proceedings /
105
Algorithms - ESA '97 [E-Book] : 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings /
106
Euro-Par '97 Parallel Processing [E-Book] : Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings /
107
Conceptual Structures: Knowledge Architectures for Smart Applications [E-Book] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings /
108
Security Protocols [E-Book] : 5th International Workshop, Paris, France, April 7-9, 1997, Proceedings /
109
Artificial Evolution [E-Book] : Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers /
110
Lectures on Proof Verification and Approximation Algorithms [E-Book] /
111
Fast Software Encryption [E-Book] : 5th International Workshop, FSE’ 98 Paris, France, March 23–25, 1998 Proceedings /
112
Frontiers in Algorithmics [E-Book] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings /
113
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /
114
Network Control and Optimization [E-Book] : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings /
115
Theory and Applications of Satisfiability Testing - SAT 2007 [E-Book] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
116
Integer Programming and Combinatorial Optimization [E-Book] / 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings
117
Scale Space and Variational Methods in Computer Vision [E-Book] : First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings /
118
Fun with Algorithms [E-Book] / 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings
119
Structural Information and Communication Complexity [E-Book] : 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings /
120
Learning Theory [E-Book] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings /