MPG.eBooks - Search Results

Cover Image

121

Compiler Construction : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 2...

by Watt, David A
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

122

Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

by Palsberg, Jens
Published 2000

Springer Berlin Heidelberg

Cover Image

123

Reliable Software Technologies Ada-Europe 2000 : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings

by Keller, Hubertus B
Published 2000

Springer Berlin Heidelberg

Cover Image

124

Mathematics of Program Construction : 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

by Backhouse, Roland
Published 2000

Springer Berlin Heidelberg

Cover Image

125

Reflection and Software Engineering

by Cazzola, Walter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

126

Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings

by Bachmair, Leo
Published 2000

Springer Berlin Heidelberg

Cover Image

127

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings

by Leeuwen, Jan
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

128

Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

by Bert, Didier
Published 2000

Springer Berlin Heidelberg

Cover Image

129

Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings

by Nielsen, Mogens
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

130

Modular Programming Languages : Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings

by Gutknecht, Jürg
Published 2000

Springer Berlin Heidelberg

Cover Image

131

Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

by Gurevich, Yuri
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

132

Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

by George, Chris
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

133

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings

by Agrawal, Manindra
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

134

Telecommunications and beyond: The BroaderApplicability of SDL and MSC : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers

by Sherratt, Edel
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

135

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

by Degano, Pierpaolo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

136

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

by Gordon, Andrew D
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

137

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

by Pezzè, Mauro
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

138

Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7...

by Hedin, Görel
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

139

Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

by Geuvers, Herman
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

140

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

by Boer, Frank Sde
Published 2003

Springer Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12