MPG.eBooks - Search Results

Cover Image

141

Applications of Uncertainty Formalisms

by Hunter, Anthony
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

142

Algebraic Methodology and Software Technology : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings

by Haeberer, Armando M
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

143

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

144

Theory Reasoning in Connection Calculi

by Baumgartner, Peter
Published 1998

Springer Berlin Heidelberg

Cover Image

145

Computational Learning Theory : 4th European Conference, EuroCOLT’99 Nordkirchen, Germany, March 29–31, 1999 Proceedings

by Fischer, Paul
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

146

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

147

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

148

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

149

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

150

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

151

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

152

ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

by Bert, Didier
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

153

Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg

by Brauer, Wilfried
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

154

Computational Linguistics and Intelligent Text Processing : Third International Conference, CICLing 2002 Mexico City, Mexico, February 17–23, 2002 Proceedings

by Gelbukh, Alexander
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

155

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

156

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

Cover Image

157

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

by Nielsen, Mogens
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

158

Compiler Construction : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April...

by Horspool, R Nigel
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

159

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

by Nipkow, Tobias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

160

Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 Proceedings

by Armando, Alessandro
Published 2002

Springer-Verlag Berlin Heidelberg

3
4
5
6
7
8
9
10
11
12
13