MPG.eBooks - Search Results

Cover Image

181

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

by Dershowitz, Nachum
Published 2004

Springer Berlin Heidelberg

Cover Image

182

Mobile and Ubiquitous Information Access : Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers

by Crestani, Fabio
Published 2004

Springer Berlin Heidelberg

Cover Image

183

Scientific Engineering of Distributed Java Applications. : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers

by Guelfi, Nicoals
Published 2004

Springer Berlin Heidelberg

Cover Image

184

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

by Wirsing, Martin
Published 2004

Springer Berlin Heidelberg

Cover Image

185

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

186

Software Engineering for Multi-Agent Systems II : Research Issues and Practical Applications

by Lucena, Carlos
Published 2004

Springer Berlin Heidelberg

Cover Image

187

Engineering Self-Organising Systems : Nature-Inspired Approaches to Software Engineering

by Di Marzo Serugendo, Giovanna
Published 2004

Springer Berlin Heidelberg

Cover Image

188

Testing of Communicating Systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

by Groz, Roland
Published 2004

Springer Berlin Heidelberg

Cover Image

189

Organic and Pervasive Computing -- ARCS 2004 : International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings

by Müller-Schloer, Christian
Published 2004

Springer Berlin Heidelberg

Cover Image

190

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

by Alt, René
Published 2004

Springer Berlin Heidelberg

Cover Image

191

SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings

by Reed, Rick
Published 2003

Springer Berlin Heidelberg

Cover Image

192

High-Speed Networks and Multimedia Communications : 6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings

by Freire, Mário Marques
Published 2003

Springer Berlin Heidelberg

Cover Image

193

Fundamental Approaches to Software Engineering : 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

by Wermelinger, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

194

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

195

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004...

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

196

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings

by Maurer, Frank
Published 2003

Springer Berlin Heidelberg

Cover Image

197

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

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

198

Empirical Methods and Studies in Software Engineering : Experiences from ESERNET

by Conradi, Reidar
Published 2003

Springer Berlin Heidelberg

Cover Image

199

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

200

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

5
6
7
8
9
10
11
12
13
14
15