121
Next-Generation Applied Intelligence [E-Book] : 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings /
122
Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /
123
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
124
Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
125
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
126
Bio-Inspired Systems: Computational and Ambient Intelligence [E-Book] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I /
127
Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living [E-Book] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II /
128
Anticipatory Behavior in Adaptive Learning Systems [E-Book] : From Psychological Theories to Artificial Cognitive Systems /
129
Theory and Applications of Satisfiability Testing - SAT 2009 [E-Book] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
130
Dataspace: The Final Frontier [E-Book] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /
131
Detection of Intrusions and Malware, and Vulnerability Assessment [E-Book] : 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings /
132
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
133
Creating Brain-Like Intelligence [E-Book] : From Basic Principles to Complex Intelligent Systems /
134
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
135
Advances in Data and Web Management [E-Book] : Joint International Conferences, APWeb/WAIM 2009 Suzhou, China, April 2-4, 2009 Proceedings /
136
Bioinformatics and Computational Biology [E-Book] : First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings /
137
Emerging Trends in Visual Computing [E-Book] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers /
138
Information Security Practice and Experience [E-Book] : 5th International Conference, ISPEC 2009 Xi’an, China, April 13-15, 2009 Proceedings /
139
Methods, Models and Tools for Fault Tolerance [E-Book] /
140
Database Systems for Advanced Applications [E-Book] : 14th International Conference, DASFAA 2009, Brisbane, Australia, April 21-23, 2009. Proceedings /