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

EurAsia-ICT 2002: Information and Communication Technology : First EurAsian Conference Shiraz, Iran, October 29–31, 2002 Proceedings

by Shafazand, Hassan
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

5

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

6

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

7

Grid Computing — GRID 2002 : Third International Workshop Baltimore, MD, USA, November 18, 2002 Proceedings

by Parashar, Manish
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

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

9

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

10

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

11

Concurrency and Hardware Design : Advances in Petri Nets

by Cortadella, Jordi
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

12

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

13

The Essence of Computation : Complexity, Analysis, Transformation

by Mogensen, Torben Æ
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

14

Plan-Based Control of Robotic Agents : Improving the Capabilities of Autonomous Robots

by Beetz, Michael
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

15

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

16

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

17

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

18

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

19

Cryptographic Hardware and Embedded Systems - CHES 2002 : 4th International Workshop Redwood Shores, CA, USA, August 13–15, 2002 Revised Papers

by Kaliski, Burton S
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

20

Object-Oriented Technology ECOOP 2002 Workshop Reader : ECOOP 2002 Workshops and Posters Málaga, Spain, June 10–14, 2002 Proceedings

by Hernández, Juan
Published 2002

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11