MPG.eBooks - Search Results

Cover Image

2021

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

2022

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

2023

Automata Logics, and Infinite Games : A Guide to Current Research

by Grädel, Erich
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2024

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

2025

Combinatorial Optimization — Eureka, You Shrink! : Papers Dedicated to Jack Edmonds 5th International Workshop Aussois, France, March 5–9, 2001 Revised Papers

by Jünger, Michael
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2026

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

2027

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 – March 1, 2003 Proceedings

by Alt, Helmut
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2028

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

by Börger, Egon
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2029

Financial Cryptography : 6th International Conference, FC 2002, Southampton, Bermuda, March 11-14, 2002, Revised Papers

by Blaze, Matt
Published 2003

Springer Berlin Heidelberg

Cover Image

2030

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

2031

Web Knowledge Management and Decision Support : 14th International Conference on Applications of Prolog, INAP 2001 Tokyo, Japan, October 20–22, 2001 Revised Papers

by Bartenstein, Oskar
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2032

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

by Okada, Mitsuhiro
Published 2003

Springer Berlin Heidelberg

Cover Image

2033

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

2034

Information Security and Cryptology — ICISC 2002 : 5th International Conference Seoul, Korea, November 28–29, 2002 Revised Papers

by Lee, Pil Joong
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2035

Evolvable Systems: From Biology to Hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings

by Tyrrell, Andy M
Published 2003

Springer Berlin Heidelberg

Cover Image

2036

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

2037

Mobile Communications : 7th CDMA International Conference, CIC 2002 Seoul, Korea, October 29 – November 1, 2002 Revised Papers

by Lee, Jaiyong
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2038

Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web : VLDB 2002 Workshop EEXTT and CAiSE 2002 Workshop DIWeb Revised Papers

by Bressan, Stéphane
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

2039

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

2040

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

95
96
97
98
99
100
101
102
103
104
105