MPG.eBooks - Search Results

Cover Image

121

Web Services - ICWS-Europe 2003 : International Conference ICWS-Europe 2003, Erfurt, Germany, September 23-24, 2003, Proceedings

by Jeckle, Mario
Published 2003

Springer Berlin Heidelberg

Cover Image

122

Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

by Anderson, Stuart
Published 2003

Springer Berlin Heidelberg

Cover Image

123

Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings

by Krall, Andreas
Published 2003

Springer Berlin Heidelberg

Cover Image

124

Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

by Jorge, Joaquim
Published 2003

Springer Berlin Heidelberg

Cover Image

125

Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

by König, Hartmut
Published 2003

Springer Berlin Heidelberg

Cover Image

126

Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003, Proceedings

by Boyd, Colin
Published 2003

Springer Berlin Heidelberg

Cover Image

127

Generic Programming : Advanced Lectures

by Backhouse, Roland
Published 2003

Springer Berlin Heidelberg

Cover Image

128

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

by Alur, Rajeev
Published 2003

Springer Berlin Heidelberg

Cover Image

129

Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

by Lemos, Rogério le
Published 2003

Springer Berlin Heidelberg

Cover Image

130

Intelligent Agents and Multi-Agent Systems : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings

by Lee, Jaeho
Published 2003

Springer Berlin Heidelberg

Cover Image

131

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

by Dong, Jin Song
Published 2003

Springer Berlin Heidelberg

Cover Image

132

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

by Najm, Elie
Published 2003

Springer Berlin Heidelberg

Cover Image

133

On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops : OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Ita...

by Meersman, Robert
Published 2003

Springer Berlin Heidelberg

Cover Image

134

On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, Novembe...

by Meersman, Robert
Published 2003

Springer Berlin Heidelberg

Cover Image

135

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United N...

by Aichernig, Bernhard K
Published 2003

Springer Berlin Heidelberg

Cover Image

136

Distributed Applications and Interoperable Systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings

by Stefani, Jean-Bernard
Published 2003

Springer Berlin Heidelberg

Cover Image

137

Interactive Multimedia on Next Generation Networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, P...

by Ventre, Giorgio
Published 2003

Springer Berlin Heidelberg

Cover Image

138

Virtual Storytelling; Using Virtual Reality Technologies for Storytelling : Second International Conference, ICVS 2003, Toulouse, France, November 20-21, 2003, Proceedings

by Balet, Olivier
Published 2003

Springer Berlin Heidelberg

Cover Image

139

Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings

by Ohori, Atsushi
Published 2003

Springer Berlin Heidelberg

Cover Image

140

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

by Wirsing, Martin
Published 2003

Springer Berlin Heidelberg

2
3
4
5
6
7
8
9
10
11
12