81
Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
82
New Frontiers in Artificial Intelligence [E-Book] : JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /
83
Creating Brain-Like Intelligence [E-Book] : From Basic Principles to Complex Intelligent Systems /
84
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
85
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 /
86
Advances in Data and Web Management [E-Book] : Joint International Conferences, APWeb/WAIM 2009 Suzhou, China, April 2-4, 2009 Proceedings /
87
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 /
88
Bioinformatics and Computational Biology [E-Book] : First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings /
89
Information Security and Cryptology – ICISC 2008 [E-Book] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers /
90
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
91
Emerging Trends in Visual Computing [E-Book] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers /
92
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
93
Information Security Practice and Experience [E-Book] : 5th International Conference, ISPEC 2009 Xi’an, China, April 13-15, 2009 Proceedings /
94
Topics in Cryptology – CT-RSA 2009 [E-Book] : The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings /
95
Methods, Models and Tools for Fault Tolerance [E-Book] /
96
Database Systems for Advanced Applications [E-Book] : 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings /
97
Transactions on Petri Nets and Other Models of Concurrency II [E-Book] : Special Issue on Concurrency in Process-Aware Information Systems /
98
Transactions on High-Performance Embedded Architectures and Compilers II [E-Book] /
99
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
100
Applications of Evolutionary Computing [E-Book] : EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings /