MPG.eBooks - Search Results

Cover Image

281

Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

by Parisi-Presicce, Francesco
Published 1998

Springer Berlin Heidelberg

Cover Image

282

Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Nivat, Maurice
Published 1998

Springer Berlin Heidelberg

Cover Image

283

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

by Nipkow, Tobias
Published 1998

Springer Berlin Heidelberg

Cover Image

284

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lis...

by Hankin, Chris
Published 1998

Springer Berlin Heidelberg

Cover Image

285

Fundamental Approaches to Software Engineering : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'9...

by Astesiano, Egidio
Published 1998

Springer Berlin Heidelberg

Cover Image

286

Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Mar...

by Koskimies, Kai
Published 1998

Springer Berlin Heidelberg

Cover Image

287

Evolutionary Robotics. From Intelligent Robotics to Artificial Life : International Symposium, ER 2001 Tokyo, Japan, October 18–19, 2001 Proceedings

by Gomi, Takashi
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

288

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

by Kahle, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

289

Computational Discrete Mathematics : Advanced Lectures

by Alt, Helmut
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

290

New Concepts for Parallel Object-Relational Query Processing

by Jaedicke, Michael
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

291

Management of Multimedia on the Internet : 4th IFIPIEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001 Chicago, IL, USA, October 29 — Novembe...

by Al-Shaer, Ehab S
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

292

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

by Cassez, Franck
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

293

Middleware 2001 : IFIPACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings

by Guerraoui, Rachid
Published 2001

Springer Berlin Heidelberg

Cover Image

294

Cooperative Multimodal Communication : Second International Conference, CMC’98 Tilburg, The Netherlands, January 28–30, 1998 Selected Papers

by Bunt, Harry
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

295

Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

by Johnson, Chris
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

296

Automata Implementation : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers

by Boldt, Oliver
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

297

B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

by Didier, Bert
Published 1998

Springer Berlin Heidelberg

Cover Image

298

Networked Group Communication : Third International COST264 Workshop, NGC 2001 London, UK, November 7–9, 2001 Proceedings

by Crowcroft, Jon
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

299

Functional Imaging and Modeling of the Heart : First International Workshop, FIMH 2001 Helsinki, Finland, November 15–16, 2001 Proceedings

by Katila, Toivo
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

300

Languages and Compilers for Parallel Computing : 13th International Workshop, LCPC 2000 Yorktown Heights, NY, USA, August 10–12, 2000 Revised Papers

by Midkiff, Samuel P
Published 2001

Springer-Verlag Berlin Heidelberg

10
11
12
13
14
15
16
17
18
19
20