MPG.eBooks - Search Results

Cover Image

321

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

by Métayer, Daniel
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

322

Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Sof...

by Nielsen, Mogens
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

323

Compiler Construction : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April...

by Horspool, R Nigel
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

324

From Theory to Practice in Multi-Agent Systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26–29, 20...

by Dunin-Keplicz, Barbara
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

325

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

by Nipkow, Tobias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

326

Trends in Network and Pervasive Computing — ARCS 2002 : International Conference on Architecture of Computing Systems Karlsruhe, Germany, April 8–12, 2002 Proceedings

by Schmeck, Hartmut
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

327

Coordination Models and Languages : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings

by Arbab, Farhad
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

328

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice o...

by Katoen, Joost-Pieter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

329

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

by Bošnački, Dragan
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

330

Soft-Ware 2002: Computing in an Imperfect World : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings

by Bustard, David
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

331

Software Reuse: Methods, Techniques, and Tools : 7th International Conference, ICSR-7 Austin, TX, USA, April 15–19, 2002 Proceedings

by Gacek, Cristina
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

332

Euro-Par’99 Parallel Processing : 5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings

by Amestoy, Patrick
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

333

Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

by Cortesi, Agostino
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

334

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

by Hutter, Dieter
Published 1999

Springer Berlin Heidelberg

Cover Image

335

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

336

Dependable Computing — EDCC-3 : Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings

by Hlavička, Jan
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

337

System Configuration Management : 19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings

by Estublier, Jacky
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

338

Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings

by Pasquini, Alberto
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

339

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedi...

by Dams, Dennis
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

340

Software Engineering — ESEC/FSE ’99 : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulou...

by Nierstrasz, Oscar
Published 1999

Springer-Verlag Berlin Heidelberg

12
13
14
15
16
17
18
19
20
21
22