MPG.eBooks - Search Results

Cover Image

241

Mathematics of Program Construction : 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

by Boiten, Eerke A
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

242

Intelligent Agents VIII : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers

by Meyer, John-Jules Ch
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

243

RoboCup 2001: Robot Soccer World Cup V

by Birk, Andreas
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

244

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proce...

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

245

FME 2002:Formal Methods—Getting IT Right : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

by Eriksson, Lars-Henrik
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

246

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

by Egly, Uwe
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

247

Intelligent Agents and Multi-Agent Systems : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002 Tokyo, Japan, August 18–19, 2002 Proceedings

by Kuwabara, Kazuhiro
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

248

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

by Carreño, Victor A
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

249

Advances in Web-Based Learning : First International Conference, ICWL 2002 Hong Kong, China, August 17–19, 2002 Proceedings

by Fong, Joseph
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

250

Euro-Par 2002 Parallel Processing : 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings

by Monien, Burkhard
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

251

Advances in Object-Oriented Information Systems : OOIS 2002 Workshops Montpellier, France, September 2, 2002 Proceedings

by Bruel, Jean-Michel
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

252

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

by Kirchner, Hélène
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

253

Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings

by Anderson, Stuart
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

254

Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceeding...

by Damm, Werner
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

255

Web Engineering and Peer-to-Peer Computing : NETWORKING 2002 Workshops Pisa, Italy, May 19–24, 2002 Revised Papers

by Gregori, Enrico
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

256

Static Analysis : 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

by Hermenegildo, Manuel V
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

257

Performance Evaluation of Complex Systems: Techniques and Tools : Performance 2002 Tutorial Lectures

by Calzarossa, Maria Carla
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

258

≪UML≫ 2002 — The Unified Modeling Language : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings...

by Jézéquel, Jean-Marc
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

259

Interactive Markov Chains : And the Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

260

UbiComp 2002: Ubiquitous Computing : 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings

by Borriello, Gaetano
Published 2002

Springer-Verlag Berlin Heidelberg

8
9
10
11
12
13
14
15
16
17
18