MPG.eBooks - Search Results

Cover Image

1

CASL User Manual : Introduction to Using the Common Algebraic Specification Language

by Bidoit, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Advances in Agent Communication : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003

by Dignum, Frank
Published 2004

Springer Berlin Heidelberg

Cover Image

3

SOFSEM 2004: Theory and Practice of Computer Science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004

by Van Emde Boas, Peter
Published 2004

Springer Berlin Heidelberg

Cover Image

4

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

5

Functional and Logic Programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

by Kameyama, Yukiyoshi
Published 2004

Springer Berlin Heidelberg

Cover Image

6

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

by Larsen, Kim G
Published 2004

Springer Berlin Heidelberg

Cover Image

7

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

Cover Image

8

Issues in Agent Communication

by Dignum, Frank
Published 2000

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

Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings

by Koornneef, Floor
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

11

Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

by Grieskamp, Wolfgang
Published 2000

Springer Berlin Heidelberg

Cover Image

12

Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

by Hunt, Warren A Jr
Published 2000

Springer Berlin Heidelberg

Cover Image

13

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

14

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

15

Object-Oriented Technology : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings

by Goos, Gerhard
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

16

Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

by Coquand, Thierry
Published 2000

Springer Berlin Heidelberg

Cover Image

17

Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers

by Ciancarini, Paolo
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

18

Self-Adaptive Software : First International Workshop, IWSAS 2000 Oxford, UK, April 17–19, 2000 Revised Papers

by Robertson, Paul
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

19

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

20

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

by Bruynooghe, Maurice
Published 2004

Springer Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11