MPG.eBooks - Search Results

Cover Image

1

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

by Peled, Doron A
Published 2002

IFIP International Federation for Information Processing

Cover Image

2

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

3

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

Cover Image

4

Interactive Systems:Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

by Forbrig, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

5

Natural Language Processing and Information Systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002 Stockholm, Sweden, June 27–...

by Andersson, Birger
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

6

The Essence of Computation : Complexity, Analysis, Transformation

by Mogensen, Torben Æ
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

7

Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

by Zuck, Lenore D
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

8

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

by Okada, Mitsuhiro
Published 2003

Springer Berlin Heidelberg

Cover Image

9

Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions

by Giunchiglia, Fausto
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

10

Self-Adaptive Software : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers

by Laddaga, Robert
Published 2003

Springer Berlin Heidelberg

Cover Image

11

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

12

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

13

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

14

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

by Garavel, Hubert
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

15

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

16

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

17

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

by Maler, Oded
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

18

Semantics in Databases : Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers

by Bertossi, Leopoldo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

19

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

20

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

1
2
3
4
5
6
7
8
9
10
11