MPG.eBooks - Search Results

Cover Image

141

Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

by Pfenning, Frank
Published 2003

Springer Berlin Heidelberg

Cover Image

142

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

143

Personal Wireless Communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings

by Conti, Marco
Published 2003

Springer Berlin Heidelberg

Cover Image

144

Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings

by Field, Tony
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

145

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

146

Foundations of Software Technology and Theoretical Computer Science : 18th Conference, Chennai, India, December 17-19, 1998, Proceedings

by Arvind, V
Published 1998

Springer Berlin Heidelberg

Cover Image

147

Component Deployment : IFIPACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings

by Bishop, Judith
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

148

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

149

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

by Roever, Willem-Paul
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

150

Abstract Compositional Analysis of Iterated Relations : A Structural Approach to Complex State Transition Systems

by Geurts, Frédéric
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

151

Interacting Code Motion Transformations: Their Impact and Their Complexity

by Rüthing, Oliver
Published 1998

Springer Berlin Heidelberg

Cover Image

152

Software Process: Principles, Methodology, and Technology

by Derniame, Jean-Claude
Published 1999

Springer Berlin Heidelberg

Cover Image

153

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

154

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

155

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

156

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

by Cleaveland, W Rance
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

157

Intelligent Agents V. Agents Theories, Architectures, and Languages : 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings

by Müller, Jörg P
Published 1999

Springer Berlin Heidelberg

Cover Image

158

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

159

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

160

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

3
4
5
6
7
8
9
10
11
12
13