MPG.eBooks - Search Results

Cover Image

1

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

by Baaz, Matthias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings

by Bondavalli, Andrea
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Mobile Agents for Telecommunication Applications : 4th International Workshop, MATA 2002 Barcelona, Spain, October 23–24, 2002 Proceedings

by Karmouch, Ahmed
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

4

Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

by George, Chris
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

5

Mobile Agents : 6th International Conference, MA 2002 Barcelona, Spain, October 22–25, 2002 Proceedings

by Suri, Niranjan
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

6

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

7

SOFSEM 2002: Theory and Practice of Informatics : 29th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 2002 Proceedings

by Grosky, William I
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

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

9

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

10

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

11

The Essence of Computation : Complexity, Analysis, Transformation

by Mogensen, Torben Æ
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

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

13

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

14

Practical Aspects of Declarative Languages : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings

by Dahl, Veronica
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

15

Mobile Data Management : 4th International Conference, MDM 2003 Melbourne, Australia, January 21–24, 2003 Proceedings

by Chen, Ming-Syan
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

16

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

17

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

18

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

19

Quality of Service in Multiservice IP Networks : Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings

by Ajmone Marsan, Marco
Published 2003

Springer Berlin Heidelberg

Cover Image

20

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

1
2
3
4
5
6
7
8
9
10
11