21
Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
22
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /
23
Smart Graphics [E-Book] : 10th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings /
24
Scientific and Statistical Database Management [E-Book] : 21st International Conference, SSDBM 2009 New Orleans, LA, USA, June 2-4, 2009 Proceedings /
25
Evolving OpenMP in an Age of Extreme Parallelism [E-Book] : 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
26
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 /
27
Service-Oriented Computing – ICSOC 2008 Workshops [E-Book] : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers /
28
Advanced Internet Based Systems and Applications [E-Book] : Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers /
29
Intelligence and Security Informatics [E-Book] : Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 27, 2009. Proceedings /
30
Formal Aspects in Security and Trust [E-Book] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /
31
Towards Digital Optical Networks [E-Book] : COST Action 291 Final Report /
32
Bioinformatics Research and Applications [E-Book] : 5th International Symposium, ISBRA 2009 Fort Lauderdale, FL, USA, May 13-16, 2009 Proceedings /
33
Numerical Validation in Current Hardware Architectures [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers /
34
Traffic Monitoring and Analysis [E-Book] : First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings /
35
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
36
Advances in Information Retrieval [E-Book] : 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings /
37
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
38
Future Internet – FIS 2008 [E-Book] : First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers /
39
Transactions on Computational Science IV [E-Book] : Special Issue on Security in Computing /
40
Coding and Cryptology [E-Book] : Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings /