121
Information Security and Privacy [E-Book] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings /
122
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
123
Software Composition [E-Book] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
124
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
125
Anticipatory Behavior in Adaptive Learning Systems [E-Book] : From Psychological Theories to Artificial Cognitive Systems /
126
Creating Brain-Like Intelligence [E-Book] : From Basic Principles to Complex Intelligent Systems /
127
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
128
Emerging Trends in Visual Computing [E-Book] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers /
129
Methods, Models and Tools for Fault Tolerance [E-Book] /
130
Transactions on Petri Nets and Other Models of Concurrency II [E-Book] : Special Issue on Concurrency in Process-Aware Information Systems /
131
Service-Oriented Computing – ICSOC 2008 Workshops [E-Book] : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers /
132
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
133
Similarity-Based Clustering [E-Book] : Recent Developments and Biomedical Applications /
134
Towards Digital Optical Networks [E-Book] : COST Action 291 Final Report /
135
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /
136
RoboCup 2008: Robot Soccer World Cup XII [E-Book] /
137
Fast Software Encryption [E-Book] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /
138
Visual Data Mining [E-Book] : Theory, Techniques and Tools for Visual Analytics /
139
Journal on Data Semantics XII [E-Book] /
140
Constraint Handling Rules [E-Book] : Current Research Topics /