MPG.eBooks - Search Results

Cover Image

81

Reliable SoftwareTechnologies — Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

by Craeynest, Dirk
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

82

Model Checking Software : 8th International SPIN Workshop Toronto, Canada, May 19–20, 2001 Proceedings

by Dwyer, Matthew
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

83

Web Engineering : Managing Diversity and Complexity of Web Application Development

by Murugesan, San
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

84

RoboCup 2000: Robot Soccer World Cup IV

by Stone, Peter
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

85

ECOOP 2001 — Object-Oriented Programming : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings

by Knudsen, Jørgen Lindskov
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

86

Advanced Information Systems Engineering : 13th International Conference, CAiSE 2001 Interlaken, Switzerland, June 4–8, 2001 Proceedings

by Dittrich, Klaus R
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

87

Engineering of Intelligent Systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEAAIE 2001 Budapest, H...

by Monostori, László
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

88

Computational Science — ICCS 2001 : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I

by Alexandrov, Vassil N
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

89

Computational Science - ICCS 2001 : International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II

by Alexandrov, Vassil N
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

90

Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings

by Colom, José-Manuel
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

91

Innovative Internet Computing Systems : International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings

by Böhme, Thomas
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

92

Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

by Orejas, Fernando
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

93

High-Performance Computing and Networking : 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings

by Hertzberger, Bob
Published 2001

Springer Berlin Heidelberg

Cover Image

94

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

by Berry, Gérard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

95

OpenMP Shared Memory Parallel Programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings

by Eigenmann, Rudolf
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

96

Intelligent Agents VII Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings

by Castelfranchi, Cristiano
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

97

Virtual Storytelling Using Virtual Reality Technologies for Storytelling : International Conference ICVS 2001 Avignon, France, September 27–28, 2001 Proceedings

by Balet, Olivier
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

98

Metalevel Architectures and Separation of Crosscutting Concerns : Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings

by Yonezawa, Akinori
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

99

Automatic Verification of Sequential Infinite-State Processes

by Burkart, Olaf
Published 1997

Springer Berlin Heidelberg

Cover Image

100

Object-Oriented Technologys : ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings

by Bosch, Jan
Published 1998

Springer-Verlag Berlin Heidelberg

1
2
3
4
5
6
7
8
9
10
11