21
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
22
Network Economics for Next Generation Networks [E-Book] : 6th International Workshop on Internet Charging and Qos Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009. Proceedings /
23
Similarity-Based Clustering [E-Book] : Recent Developments and Biomedical Applications /
24
Computer Vision/Computer Graphics CollaborationTechniques [E-Book] : 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings /
25
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /
26
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 /
27
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /
28
Smart Graphics [E-Book] : 10th International Symposium, SG 2009, Salamanca, Spain, May 28-30, 2009. Proceedings /
29
Scientific and Statistical Database Management [E-Book] : 21st International Conference, SSDBM 2009 New Orleans, LA, USA, June 2-4, 2009 Proceedings /
30
Evolving OpenMP in an Age of Extreme Parallelism [E-Book] : 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
31
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 /
32
Service-Oriented Computing – ICSOC 2008 Workshops [E-Book] : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers /
33
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 /
34
Intelligence and Security Informatics [E-Book] : Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 27, 2009. Proceedings /
35
Formal Aspects in Security and Trust [E-Book] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /
36
Towards Digital Optical Networks [E-Book] : COST Action 291 Final Report /
37
Bioinformatics Research and Applications [E-Book] : 5th International Symposium, ISBRA 2009 Fort Lauderdale, FL, USA, May 13-16, 2009 Proceedings /
38
Numerical Validation in Current Hardware Architectures [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers /
39
Traffic Monitoring and Analysis [E-Book] : First International Workshop, TMA 2009, Aachen, Germany, May 11, 2009. Proceedings /
40
Models in Software Engineering [E-Book] : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /