MPG.eBooks - Search Results

Cover Image

201

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

202

Generative and Component-Based Software Engineering : Third International Conference, GCSE 2001 Erfurt, Germany, September 10–13, 2001 Proceedings

by Bosch, Jan
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

203

Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedin...

by Alfaro, Luca
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

204

Semantics, Applications, and Implementation of Program Generation : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings

by Taha, Walid
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

205

Product Focused Software Process Improvement : Third International Conference, PROFES 2001 Kaiserslautern, Germany, September 10–13, 2001 Proceedings

by Bomarius, Frank
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

206

Advances in Learning Software Organizations : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings

by Althoff, Klaus-Dieter
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

207

Generative and Component-Based Software Engineering : Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers

by Butler, Greg
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

208

Advances in Database Technology - EDBT '98 : 6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.

by Schek, Hans-Jörg
Published 1998

Springer Berlin Heidelberg

Cover Image

209

Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers

by Parisi-Presicce, Francesco
Published 1998

Springer Berlin Heidelberg

Cover Image

210

Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of So...

by Nivat, Maurice
Published 1998

Springer Berlin Heidelberg

Cover Image

211

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lis...

by Hankin, Chris
Published 1998

Springer Berlin Heidelberg

Cover Image

212

Fundamental Approaches to Software Engineering : First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'9...

by Astesiano, Egidio
Published 1998

Springer Berlin Heidelberg

Cover Image

213

Compiler Construction : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, Mar...

by Koskimies, Kai
Published 1998

Springer Berlin Heidelberg

Cover Image

214

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...

by Steffen, Bernhard
Published 1998

Springer Berlin Heidelberg

Cover Image

215

Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

by Henzinger, Thomas A
Published 1998

Springer Berlin Heidelberg

Cover Image

216

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

Cover Image

217

Multimodal Human-Computer Communication : Systems, Techniques, and Experiments

by Bunt, Harry
Published 1998

Springer Berlin Heidelberg

Cover Image

218

Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services : 5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium...

by Trigila, Sebastiano
Published 1998

Springer Berlin Heidelberg

Cover Image

219

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

by Hu, Alan J
Published 1998

Springer Berlin Heidelberg

Cover Image

220

Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings

by Desel, Jörg
Published 1998

Springer-Verlag Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16