MPG.eBooks - Search Results

Cover Image

181

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

182

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

by Boiten, Eerke
Published 2004

Springer Berlin Heidelberg

Cover Image

183

Pervasive Computing : Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings

by Ferscha, Alois
Published 2004

Springer Berlin Heidelberg

Cover Image

184

COTS-Based Software Systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings

by Kazman, Rick
Published 2004

Springer Berlin Heidelberg

Cover Image

185

Software Product-Family Engineering : 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers

by Linden, Frank van der
Published 2004

Springer Berlin Heidelberg

Cover Image

186

Performance Tools and Applications to Networked Systems : Revised Tutorial Lectures

by Calzarossa, Maria Carla
Published 2004

Springer Berlin Heidelberg

Cover Image

187

Parallel Processing and Applied Mathematics : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers

by Wyrzykowski, Roman
Published 2004

Springer Berlin Heidelberg

Cover Image

188

NETWORKING 2004. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications : Third International IFIP...

by Mitrou, Nikolas
Published 2004

Springer Berlin Heidelberg

Cover Image

189

Software Engineering Research and Applications : First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers

by Ramamoorthy, CV
Published 2004

Springer Berlin Heidelberg

Cover Image

190

Generic Model Management : Concepts and Algorithms

by Melnik, Sergey
Published 2004

Springer Berlin Heidelberg

Cover Image

191

Grid and Cooperative Computing : Second International Workshop, GCC 2003, Shanghai, China, December 7 - 10, 2003, Revised Papers, Part I

by Li, Minglu
Published 2004

Springer Berlin Heidelberg

Cover Image

192

Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers

by Ryan, Mark
Published 2004

Springer Berlin Heidelberg

Cover Image

193

Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

by Crnkovic, Ivica
Published 2004

Springer Berlin Heidelberg

Cover Image

194

The Semantic Web: Research and Applications : First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings

by Davies, John
Published 2004

Springer Berlin Heidelberg

Cover Image

195

Software Architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings

by Oquendo, Flavio
Published 2004

Springer Berlin Heidelberg

Cover Image

196

Innovations in Applied Artificial Intelligence : 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEAAIE 2004...

by Orchard, Bob
Published 2004

Springer Berlin Heidelberg

Cover Image

197

Metainformatics : International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers

by Hicks, David L
Published 2004

Springer Berlin Heidelberg

Cover Image

198

Reliable Software Technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceeding...

by Llamosi, Albert
Published 2004

Springer Berlin Heidelberg

Cover Image

199

Software Architectures for Product Families : International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings

by Linden, Frank van der
Published 2000

Springer Berlin Heidelberg

Cover Image

200

Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

by Palanque, Philippe
Published 2001

Springer-Verlag Berlin Heidelberg

5
6
7
8
9
10
11
12
13
14
15