MPG.eBooks - Search Results

Cover Image

241

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

242

Implementation of Functional Languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers

by Arts, Thomas
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

243

Optimal Interprocedural Program Optimization : A New Framework and Its Application

by Knoop, Jens
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

244

Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers

by Gimenez, Eduardo
Published 1998

Springer Berlin Heidelberg

Cover Image

245

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

by Backhouse, Roland
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

246

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

247

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

248

STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings

by Meinel, Christoph
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

249

Programming Languages and Systems : 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amste...

by Swierstra, S Doaitse
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

250

Compiler Construction : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands...

by Jähnichen, Stefan
Published 1999

Springer Berlin Heidelberg

Cover Image

251

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

by Finance, Jean-Pierre
Published 1999

Springer Berlin Heidelberg

Cover Image

252

Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of So...

by Thomas, Wolfgang
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

253

Constraint Databases and Applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints an...

by Gaede, Volker
Published 1997

Springer Berlin Heidelberg

Cover Image

254

Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

by Dam, Mads
Published 1997

Springer Berlin Heidelberg

Cover Image

255

Input/Output Intensive Massively Parallel Computing : Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems

by Brezany, Peter
Published 1997

Springer Berlin Heidelberg

Cover Image

256

Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings

by Comon, Hubert
Published 1997

Springer Berlin Heidelberg

Cover Image

257

ECOOP '97 - Object-Oriented Programming : 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings

by Aksit, Mehmed
Published 1997

Springer Berlin Heidelberg

Cover Image

258

Languages and Compilers for Parallel Computing : 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings

by Sehr, David
Published 1997

Springer Berlin Heidelberg

Cover Image

259

Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

by Degano, Pierpaolo
Published 1997

Springer Berlin Heidelberg

Cover Image

260

Implementation of Functional Languages : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers

by Kluge, Werner
Published 1997

Springer Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16