MPG.eBooks - Search Results

Cover Image

121

Middleware 2000 : IFIPACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings

by Sventek, Joseph
Published 2000

IFIP International Federation for Information Processing

Cover Image

122

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

123

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

124

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

125

Languages and Compilers for Parallel Computing : 12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings

by Carter, Larry
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

126

Implementation of Functional Languages : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

by Koopman, Pieter
Published 2000

Springer Berlin Heidelberg

Cover Image

127

New Trends in Constraints : Joint ERCIMCompulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

by Apt, Krzysztof R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

128

CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

by Palamidessi, Catuscia
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

129

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

130

Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

by Ravn, Anders P
Published 1998

Springer Berlin Heidelberg

Cover Image

131

Static Analysis : 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

by Levi, Giorgio
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

132

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 5th European PVMMPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings

by Alexandrov, Vassil
Published 1998

Springer Berlin Heidelberg

Cover Image

133

Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings

by Mueller, Frank
Published 1998

Springer Berlin Heidelberg

Cover Image

134

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

135

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

136

Advances in Computing Science ASIAN 98 : 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings

by Hsiang, Jieh
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

137

STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings

by Meinel, Christoph
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

138

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

139

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

140

Compiling Natural Semantics

by Pettersson, Mikael
Published 1999

Springer Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12