41
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
42
Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /
43
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
44
Computational Geometry and Graph Theory [E-Book] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /
45
Distributed Computing and Networking [E-Book] : 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /
46
Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /
47
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /
48
High Performance Computing for Computational Science - VECPAR 2008 [E-Book] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
49
Architecture of Computing Systems – ARCS 2009 [E-Book] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings /
50
Theory of Cryptography [E-Book] : 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings /
51
Numerical Analysis and Its Applications [E-Book] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers /
52
Public Key Cryptography – PKC 2009 [E-Book] : 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings /
53
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
54
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
55
Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
56
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
57
Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
58
Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
59
Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
60
Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /