MPG.eBooks - Search Results

Cover Image

1

Implementation of Functional Languages 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24–26, 2001 Selected Papers

by Arts, Thomas
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

by Backhouse, Roland
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Component Deployment IFIPACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings

by Bishop, Judith
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

4

Mathematics of Program Construction 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

by Boiten, Eerke A
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

5

CONCUR 2004 -- Concurrency Theory 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

by Gardner, Philippa
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

by Boer, Frank S de
Published 2004

Springer Berlin Heidelberg

Cover Image

7

Implementation of Functional Languages 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers

by Mohnen, Markus
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

8

High-Level Parallel Programming Models and Supportive Environments 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings

by Mueller, Frank
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

9

Advances in Exception Handling Techniques

by Romanovsky, Alexander
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

10

Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

by Abramsky, Samson
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

11

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

12

Reliable SoftwareTechnologies — Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

by Craeynest, Dirk
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

13

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

14

Functional and Logic Programming 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

by Hu, Zhenjiang
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

15

Static Analysis 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

by Hermenegildo, Manuel V
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

16

Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Cover Image

17

Recent Advances in Parallel Virtual Machine and Message Passing Interface 11th European PVMMPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings

by Kranzlmüller, Dieter
Published 2004

Springer Berlin Heidelberg

Cover Image

18

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and For...

by Lakhnech, Yassine
Published 2004

Springer Berlin Heidelberg

Cover Image

19

Generative Programming and Component Engineering ACM SIGPLANSIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

by Batory, Don
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

20

Recent Advances in Parallel Virtual Machine and Message Passing Interface 9th European PVMMPI Users’ Group Meeting Linz, Austria, September 29 – Oktober 2, 2002 Proceedings

by Kranzlmüller, Dieter
Published 2002

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11

MPG.eBooks uses cookies in order to function properly.
Cookies are small pieces of data that websites store in your browser to allow us to give you the best browsing experience possible.
By using MPG.eBooks you accept our use of cookies. More information...