MPG.eBooks - Search Results

Cover Image

181

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

by Graf, Susanne
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

182

High Performance Computing and Networking : 8th International Conference, HPCN Europe 2000 Amsterdam, The Netherlands, May 8–10, 2000 Proceedings

by Bubak, Marian
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

183

Advanced Information Systems Engineering : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings

by Wangler, Benkt
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

184

Intelligent Tutoring Systems : 5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings

by Gauthier, Gilles
Published 2000

Springer Berlin Heidelberg

Cover Image

185

Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings

by Nagl, Manfred
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

186

ECOOP 2000 — Object-Oriented Programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

by Bertino, Elisa
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

187

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

188

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

189

Product Focused Software Process Improvement : Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 Proceedings

by Bomarius, Frank
Published 2000

Springer Berlin Heidelberg

Cover Image

190

Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

by Nielsen, Mogens
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

191

Software Reuse: Advances in Software Reusability : 6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings

by Frakes, William B
Published 2000

Springer Berlin Heidelberg

Cover Image

192

Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

by Montanari, Ugo
Published 2000

Springer Berlin Heidelberg

Cover Image

193

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

194

Euro-Par 2000 Parallel Processing : 6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings

by Bode, Arndt
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

195

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

196

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

197

Advances in Computing Science — ASIAN 2002 : Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference H...

by Jean-Marie, Alain
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

198

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

199

Active Networks : IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings

by Sterbenz, James
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

200

Object-Oriented Technology ECOOP 2002 Workshop Reader : ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings

by Hernández, Juan
Published 2002

Springer-Verlag Berlin Heidelberg

5
6
7
8
9
10
11
12
13
14
15