MPG.eBooks - Search Results

Cover Image

1

Foundations of Security Analysis and Design II : FOSAD 20012002 Tutorial Lectures

by Focardi, Riccardo
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Foundations of Information and Knowledge Systems : Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

by Seipel, Dietmar
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

by Dershowitz, Nachum
Published 2004

Springer Berlin Heidelberg

Cover Image

4

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

by Wirsing, Martin
Published 2004

Springer Berlin Heidelberg

Cover Image

5

Semirings for Soft Constraint Solving and Programming

by Bistarelli, Stefano
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Generic Model Management : Concepts and Algorithms

by Melnik, Sergey
Published 2004

Springer Berlin Heidelberg

Cover Image

7

Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers

by Ryan, Mark
Published 2004

Springer Berlin Heidelberg

Cover Image

8

Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings

by Crnkovic, Ivica
Published 2004

Springer Berlin Heidelberg

Cover Image

9

Generative and Component-Based Software Engineering : First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers

by Czarnecki, Krzysztof
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

10

FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings

by Kapoor, Sanjiv
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

11

Advances in Computing Science — ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

by Jifeng, He
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

12

Cryptographic Hardware and Embedded Systems — CHES 2000 : Second International Workshop Worcester, MA, USA, August 17–18, 2000 Proceedings

by Goos, Gerhard
Published 2000

Springer Berlin Heidelberg

Cover Image

13

Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

14

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...

by Pfaltz, John L
Published 2004

Springer Berlin Heidelberg

Cover Image

15

Extreme Programming and Agile Processes in Software Engineering : 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings

by Eckstein, Jutta
Published 2004

Springer Berlin Heidelberg

Cover Image

16

Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 Proceedings

by Davidson, Jack
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

17

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of...

by Berghammer, R
Published 2004

Springer Berlin Heidelberg

Cover Image

18

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

by Bruynooghe, Maurice
Published 2004

Springer Berlin Heidelberg

Cover Image

19

Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

by Oostrom, Vincent van
Published 2004

Springer Berlin Heidelberg

Cover Image

20

ECOOP 2004 - Object-Oriented Programming : 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings

by Odersky, Martin
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11