121
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
122
Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /
123
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
124
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /
125
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
126
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /
127
Research in Computational Molecular Biology [E-Book] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings /
128
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
129
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
130
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
131
Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
132
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /
133
Advances in Cryptology - EUROCRYPT 2009 [E-Book] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings /
134
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /
135
Evolutionary Computation in Combinatorial Optimization [E-Book] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings /
136
Evolutionary Multi-Criterion Optimization [E-Book] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings /
137
Epistemological Aspects of Computer Simulation in the Social Sciences [E-Book] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers /
138
Genetic Programming [E-Book] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /
139
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [E-Book] : 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /
140
Service-Oriented Computing – ICSOC 2008 Workshops [E-Book] : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers /