MPG.eBooks - Search Results

Cover Image

201

Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

202

The Semantic Web - ISWC 2006 : 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Cover Image

203

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Published 2006

Springer Berlin Heidelberg

Cover Image

204

C++ mit Microsoft Visual C++ 2008 : Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung

by Kaiser, Richard
Published 2009

Springer Berlin Heidelberg

Cover Image

205

Logical and Relational Learning

by De Raedt, Luc
Published 2008

Springer Berlin Heidelberg

Cover Image

206

Algorithmic Aspects in Information and Management : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

207

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, I...

Published 2008

Springer Berlin Heidelberg

Cover Image

208

Internet-Security aus Software-Sicht : Grundlagen der Software-Erstellung für sicherheitskritische Bereiche

by Kriha, Walter, Schmitz, Roland
Published 2008

Springer Berlin Heidelberg

Cover Image

209

Dependability Metrics : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures

Published 2008

Springer Berlin Heidelberg

Cover Image

210

Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Published 2006

Springer Berlin Heidelberg

Cover Image

211

Trusted Computing - Challenges and Applications : First International Conference on Trusted Computing and Trust in Information Technologies, TRUST 2008 Villach, Austria, March 11-1...

Published 2008

Springer Berlin Heidelberg

Cover Image

212

Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

213

New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc...

Published 2008

Springer Berlin Heidelberg

Cover Image

214

Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

215

Models in Software Engineering : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

by Giese, Holger
Published 2008

Springer Berlin Heidelberg

Cover Image

216

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Published 2008

Springer Berlin Heidelberg

Cover Image

217

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

218

Implementation and Application of Functional Languages : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Cover Image

219

Sharing Data, Information and Knowledge : 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

220

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16