MPG.eBooks - Search Results

Cover Image

10141

Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

10142

Software and Data Technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Cover Image

10143

Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

10144

Smart Sensing and Context : Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

10145

Semantic Knowledge Management : Integrating Ontology Management, Knowledge Discovery, and Human Language Technologies

Published 2009

Springer Berlin Heidelberg

Cover Image

10146

On the Move to Meaningful Internet Systems: OTM 2008 : OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Pr...

Published 2008

Springer Berlin Heidelberg

Cover Image

10147

On the Move to Meaningful Internet Systems: OTM 2008 : OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008 Pr...

Published 2008

Springer Berlin Heidelberg

Cover Image

10148

Intelligent Data Engineering and Automated Learning – IDEAL 2008 : 9th International Conference Daejeon, South Korea, November 2-5, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

10149

Multiobjective Optimization : Interactive and Evolutionary Approaches

Published 2008

Springer Berlin Heidelberg

Cover Image

10150

Information Hiding : 10th International Workshop, IH 2008, Sana Barbara, CA, USA, May 19-21, 2008, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

10151

Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Pap...

Published 2008

Springer Berlin Heidelberg

Cover Image

10152

Funktionale und Applikative Programmierung : Grundlagen, Sprachen, Implementierungstechniken

by Lippe, Wolfram-Manfred
Published 2009

Springer Berlin Heidelberg

Cover Image

10153

Pattern Calculus : Computing with Functions and Structures

by Jay, Barry
Published 2009

Springer Berlin Heidelberg

Cover Image

10154

Entertainment Computing - ICEC 2008 : 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008, Proceedings

Published 2009

Springer Berlin Heidelberg

Cover Image

10155

Metrics for Process Models : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

by Mendling, Jan
Published 2008

Springer Berlin Heidelberg

Cover Image

10156

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

10157

Advances in Cryptology - ASIACRYPT 2008 : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2...

Published 2008

Springer Berlin Heidelberg

Cover Image

10158

Transactions on Petri Nets and Other Models of Concurrency I

Published 2008

Springer Berlin Heidelberg

Cover Image

10159

Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

10160

Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

502
503
504
505
506
507
508
509
510
511
512