121
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Full text 
Favorites
Saved in:
122
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
123
Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /

Full text 
Favorites
Saved in:
124
Logic, Language, Information and Computation [E-Book] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /

Full text 
Favorites
Saved in:
125
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
126
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy [E-Book] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I /

Full text 
Favorites
Saved in:
127
Methods, Models and Tools for Fault Tolerance [E-Book] /

Full text 
Favorites
Saved in:
128
Mobile Response [E-Book] : Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
129
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
130
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

Full text 
Favorites
Saved in:
131
Model Driven Architecture - Foundations and Applications [E-Book] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /

Full text 
Favorites
Saved in:
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 /

Full text 
Favorites
Saved in:
133
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /

Full text 
Favorites
Saved in:
134
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
135
Multimodal Signals: Cognitive and Algorithmic Issues [E-Book] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
136
Multiple Classifier Systems [E-Book] : 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
137
Network Control and Optimization [E-Book] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers /

Full text 
Favorites
Saved in:
138
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 /

Full text 
Favorites
Saved in:
139
NETWORKING 2009 [E-Book] : 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings /

Full text 
Favorites
Saved in:
140
New Frontiers in Applied Data Mining [E-Book] : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results