MPG.eBooks - Search Results

Cover Image

121

Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

by Crnkovic, Ivica
Published 2004

Springer Berlin Heidelberg

Cover Image

122

Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

123

Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

by Palanque, Philippe
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

124

Functional and Logic Programming : 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings

by Kuchen, Herbert
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

125

Practical Aspects of Declarative Languages : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings

by Ramakrishnan, I V
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

126

Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings

by Davidson, Jack
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

127

FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

by Oliveira, José Nuno
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

128

Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–...

by Wilhelm, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

129

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

by Sands, David
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

130

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

by Hussmann, Heinrich
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

131

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

by Honsell, Furio
Published 2001

Springer Berlin Heidelberg

Cover Image

132

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

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

133

Programs as Data Objects : Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

by Danvy, Olivier
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

134

Rewriting Techniques and Applications : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

by Middeldorp, Aart
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

135

Machines, Computations, and Universality : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings

by Margenstern, Maurice
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

136

Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

by Dwyer, Matthew
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

137

Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers

by Lau, Kung-Kiu
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

138

Types in Compilation : third International Workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers

by Harper, Robert
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

139

ECOOP 2001 — Object-Oriented Programming : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings

by Knudsen, Jørgen Lindskov
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

140

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12