MPG.eBooks - Search Results

Cover Image

1

Languages and Compilers for Parallel Computing : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers

by Dietz, Henry G
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2

Software Engineering and Middleware : Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers

by Coen-Porisini, Alberto
Published 2003

Springer Berlin Heidelberg

Cover Image

3

Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

by Geuvers, Herman
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

4

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM...

by Bernardo, Marco
Published 2003

Springer Berlin Heidelberg

Cover Image

5

Generative Programming and Component Engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

by Pfenning, Frank
Published 2003

Springer Berlin Heidelberg

Cover Image

6

Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning

by Alonso, Eduardo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

7

Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

by Ball, Thomas
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

8

Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures

by Jeuring, Johan
Published 2003

Springer Berlin Heidelberg

Cover Image

9

Implementation of Functional Languages : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

by Pena, Ricardo
Published 2003

Springer Berlin Heidelberg

Cover Image

10

Extreme Programming and Agile Processes in Software Engineering : 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings

by Marchesi, Michele
Published 2003

Springer Berlin Heidelberg

Cover Image

11

Middleware 2003 : ACMIFIPUSENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings

by Endler, Markus
Published 2003

Springer Berlin Heidelberg

Cover Image

12

Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

by Cousot, Radhia
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

13

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

by Hofmann, Martin
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

14

Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

by Rosen, Jean-Pierre
Published 2003

Springer Berlin Heidelberg

Cover Image

15

Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceed...

by Saraswat, Vijay A
Published 2003

Springer Berlin Heidelberg

Cover Image

16

Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

by Palamidessi, Catuscia
Published 2003

Springer Berlin Heidelberg

Cover Image

17

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings

by Pandya, Paritosh K
Published 2003

Springer Berlin Heidelberg

Cover Image

18

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

by Baader, Franz
Published 2003

Springer Berlin Heidelberg

Cover Image

19

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings

by Maurer, Frank
Published 2003

Springer Berlin Heidelberg

Cover Image

20

Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

by Petrenko, Alexandre
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11