MPG.eBooks - Search Results

Cover Image

1

Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings

by Das, Samir R
Published 2003

Springer Berlin Heidelberg

Cover Image

2

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

by Bidoit, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

3

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

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

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

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

≪UML≫ 2000 — The Unified Modeling Language : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings

by Evans, Andy
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

8

Analysis and Visualization Tools for Constraint Programming : Constraint Debugging

by Deransart, Pierre
Published 2000

Springer Berlin Heidelberg

Cover Image

9

Issues in Agent Communication

by Dignum, Frank
Published 2000

Springer Berlin Heidelberg

Cover Image

10

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

11

Active Networks : Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16–18, 2000 Proceedings

by Yasuda, Hiroshi
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

12

Advances in Multimodal Interfaces — ICMI 2000 : Third International Conference Beijing, China, October 14–16, 2000 Proceedings

by Tan, Tieniu
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

13

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

14

Mobile Agents: Control Algorithms

by Baumann, Joachim
Published 2000

Springer Berlin Heidelberg

Cover Image

15

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

16

SOFSEM 2000: Theory and Practice of Informatics : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Pro...

by Hlaváč, Václav
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

17

Grid Computing — GRID 2000 : First IEEEACM International Workshop Bangalore, India, December 17, 2000 Proceedings

by Buyya, Rajkumar
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

18

High Performance Computing — HiPC 2000 : 7th International Conference Bangalore, India, December 17–20, 2000 Proceedings

by Valero, Mateo
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

19

Learning Software Organizations. Methodology and Applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99 Kaiserslautern, Germany, Ju...

by Ruhe, Günther
Published 2000

Springer Berlin Heidelberg

Cover Image

20

Mobile Data Management : Second International Conference, MDM 2001 Hong Kong, China, January 8–10, 2001 Proceedings

by Tan, Kian-Lee
Published 2001

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11