MPG.eBooks - Search Results

Cover Image

1

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings

by Agrawal, Manindra
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Telecommunications and beyond: The BroaderApplicability of SDL and MSC : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers

by Sherratt, Edel
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

3

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

by Degano, Pierpaolo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

4

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

by Gordon, Andrew D
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

5

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

by Pezzè, Mauro
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

6

Compiler Construction : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7...

by Hedin, Görel
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

7

Recent Advances in Constraints : Joint ERCIMCologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers...

by O’Sullivan, Barry
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

8

Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization

by Fahringer, Thomas
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

9

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

10

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

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 10th European PVMMPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings

by Dongarra, Jack
Published 2003

Springer Berlin Heidelberg

Cover Image

12

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

by Alur, Rajeev
Published 2003

Springer Berlin Heidelberg

Cover Image

13

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

by Dong, Jin Song
Published 2003

Springer Berlin Heidelberg

Cover Image

14

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

by Najm, Elie
Published 2003

Springer Berlin Heidelberg

Cover Image

15

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...

by Aichernig, Bernhard K
Published 2003

Springer Berlin Heidelberg

Cover Image

16

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

by Ohori, Atsushi
Published 2003

Springer Berlin Heidelberg

Cover Image

17

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : ISTFET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Pap...

by Priami, Corrado
Published 2003

Springer Berlin Heidelberg

Cover Image

18

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

19

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

Cover Image

20

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

by Broy, Manfred
Published 2003

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11