21
Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
22
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
23
Knowledge Acquisition: Approaches, Algorithms and Applications [E-Book] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers /
24
Formal Concept Analysis [E-Book] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
25
Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /
26
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [E-Book] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings /
27
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
28
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /
29
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
30
Research in Computational Molecular Biology [E-Book] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings /
31
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
32
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
33
Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /
34
Scale Space and Variational Methods in Computer Vision [E-Book] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings /
35
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 /
36
Active and Programmable Networks [E-Book] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers /
37
Advances in Neural Networks – ISNN 2009 [E-Book] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III /
38
Computer Vision and Graphics [E-Book] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers /
39
Fast Software Encryption [E-Book] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /
40
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /