MPG.eBooks - Search Results

Cover Image

181

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

182

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

183

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

184

Hybrid Systems: Computation and Control : Second International Workshop, HSCC’99 Berg en Dal, The Netherlands, March 29–31, 1999 Proceedings

by Vaandrager, Frits W
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

185

Logical Aspects of Computational Linguistics : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

by Lecomte, Alain
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

186

Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

by Girard, Jean-Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

187

Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers

by Flener, Pierre
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

188

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings

by Krishnamurthi, Shriram
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

189

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers

by Cerioli, Maura
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

190

Modular Specification and Verification of Object-Oriented Programs

by Müller, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

191

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

192

Compiling Natural Semantics

by Pettersson, Mikael
Published 1999

Springer Berlin Heidelberg

Cover Image

193

Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

by Katoen, Joost-Pieter
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

194

Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions

by Wooldridge, Michael J
Published 2002

Springer Berlin Heidelberg

Cover Image

195

Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

by Callaghan, Paul
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

196

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

by Pflanz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

197

Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings

by Tomlin, Claire J
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

198

Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation — SAMOS

by Deprettere, Ed F
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

199

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

by Kutsche, Ralf-Detlef
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

200

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

5
6
7
8
9
10
11
12
13
14
15