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

Advances in Computing Science — ASIAN 2002 : Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing 7th Asian Computing Science Conference H...

by Jean-Marie, Alain
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

4

Active Networks : IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings

by Sterbenz, James
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

5

Product Focused Software Process Improvement : 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9–11, 2002 Proceedings

by Oivo, Markku
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

6

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

7

Developing an Infrastructure for Mobile and Wireless Systems : NSF Workshop IMWS 2001 Scottsdale, AZ, October 15, 2001 Revised Papers

by König-Ries, Birgitta
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

Distributed Communities on the Web : 4th International Workshop, DCW 2002 Sydney, Australia, April 3–5, 2002 Revised Papers

by Plaice, John
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

9

Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revi...

by Swart, Harrie C M
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

10

The Essence of Computation : Complexity, Analysis, Transformation

by Mogensen, Torben Æ
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

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

12

Distributed Computing : Mobile and Wireless Computing 4th International Workshop, IWDC 2002 Calcutta, India, December 28–31, 2002 Proceedings

by Das, Sajal K
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

13

Scientific Engineering for Distributed Java Applications : International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

by Guelfi, Nicolas
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

14

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

15

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

16

Objects, Components, Architectures, Services, and Applications for a Networked World : International Conference NetObjectDays, NODe 2002 Erfurt, Germany, October 7–10, 2002 Revised...

by Aksit, Mehmet
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

17

Agent Technologies, Infrastructures, Tools, and Applications for E-Services : NODe 2002 Agent-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers

by Carbonell, Jaime G
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

18

Web, Web-Services, and Database Systems : NODe 2002 Web- and Database-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers

by Chaudhri, Akmal B
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

19

Intelligent Information Agents : The AgentLink Perspective

by Klusch, Matthias
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

20

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

1
2
3
4
5
6
7
8
9
10
11