MPG.eBooks - Search Results

Cover Image

1

Numerical Software with Result Verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

by Alt, René
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Compiler Construction : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, Mar...

by Duesterwald, Evelyn
Published 2004

Springer Berlin Heidelberg

Cover Image

3

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

by Walukiewicz, Igor
Published 2004

Springer Berlin Heidelberg

Cover Image

4

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

by Jensen, Kurt
Published 2004

Springer Berlin Heidelberg

Cover Image

5

CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Fundamental Approaches to Software Engineering : 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

by Wermelinger, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

7

Higher-Level Hardware Synthesis

by Sharp, Richard
Published 2004

Springer Berlin Heidelberg

Cover Image

8

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004...

by Schmidt, David
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Graf, Susanne
Published 2004

Springer Berlin Heidelberg

Cover Image

10

From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl

by Owe, Olaf
Published 2004

Springer Berlin Heidelberg

Cover Image

11

Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings

by Boiten, Eerke
Published 2004

Springer Berlin Heidelberg

Cover Image

12

Product Focused Software Process Improvement : 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings

by Bomarius, Frank
Published 2004

Springer Berlin Heidelberg

Cover Image

13

Pervasive Computing : Second International Conference, PERVASIVE 2004, Vienna Austria, April 21-23, 2004, Proceedings

by Ferscha, Alois
Published 2004

Springer Berlin Heidelberg

Cover Image

14

COTS-Based Software Systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings

by Kazman, Rick
Published 2004

Springer Berlin Heidelberg

Cover Image

15

Software Product-Family Engineering : 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers

by Linden, Frank van der
Published 2004

Springer Berlin Heidelberg

Cover Image

16

Computational Science — ICCS 2001 : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I

by Alexandrov, Vassil N
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

17

Computational Science - ICCS 2001 : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II

by Alexandrov, Vassil N
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

18

Artificial Intelligence in Structural Engineering : Information Technology for Design, Collaboration, Maintenance, and Monitoring

by Smith, Ian
Published 1998

Springer Berlin Heidelberg

Cover Image

19

Development and Evolution of Software Architectures for Product Families : Second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998, Proce...

by Linden, Frank van der
Published 1998

Springer Berlin Heidelberg

Cover Image

20

Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings

by Leroy, Xavier
Published 1998

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11