出版商 Springer-Verlag Berlin and Heidelberg Gm

Cover for Yun Q Shi · Digital Watermarking: 6th International Workshop, IWDW 2007 Guangzhou, China, December 3-5, 2007, Proceedings - Security and Cryptology (Paperback Book) [2008 edition] (2008)

Digital Watermarking: 6th Intern... (2008)

Cover for Tom Schrijvers · Constraint Handling Rules - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2008)

Constraint Handling Rules - Lect... (2008)

Cover for Hajo Broersma · Graph-theoretic Concepts in Computer Science: 34th International Workshop, Wg 2008, Durham, Uk, June 30 -- July 2, 2008, Revised Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2008)

Graph-theoretic Concepts in Comp... (2008)

Cover for Markus Nagel · Organtransplantation und Internationales Privatrecht - MedR Schriftenreihe Medizinrecht (Paperback Book) [2009 edition] (2009)

Organtransplantation und Interna... (2009)

Cover for Fritz Klocke · Manufacturing Processes 2: Grinding, Honing, Lapping - RWTHedition (Hardcover Book) [2009 edition] (2009)

Manufacturing Processes 2: Grind... (2009)

Cover for Gunther Werth · Charged Particle Traps II: Applications - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [2009 edition] (2009)

Charged Particle Traps II: Appli... (2009)

Cover for Andreas Pyka · Innovation Networks: New Approaches in Modelling and Analyzing - Understanding Complex Systems (Hardcover Book) (2009)

Innovation Networks: New Approac... (2009)

Cover for Corrado Priami · Transactions on Computational Systems Biology - Lecture Notes in Computer Science / Transactions on Computational Systems Biology (Paperback Book) (2008)

Transactions on Computational Sy... (2008)

Cover for Rick Szostak · The Causes of Economic Growth: Interdisciplinary Perspectives (Hardcover Book) [2009 edition] (2009)

The Causes of Economic Growth: I... (2009)

Cover for Siegfried Nolte · QVT - Operational Mappings (Hardcover Book) [2010 edition] (2009)

QVT - Operational Mappings (2009)

Siegfried Nolte

Cover for Vijay Garg · Distributed Computing and Networking - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2008)

Distributed Computing and Networ... (2008)

Cover for Klaus David · Kommunikation in Verteilten Systemen (KiVS) 2009: 16. Fachtagung Kommunikation in Verteilten Systemen (KiVS 2009) Kassel, 2. - 6. Marz 2009 - Informatik Aktuell (Paperback Book) (2009)

Kommunikation in Verteilten Syst... (2009)

Cover for Jan A. P. Hoogervorst · Enterprise Governance and Enterprise Engineering - The Enterprise Engineering Series (Hardcover Book) [2009 edition] (2009)

Enterprise Governance and Enterp... (2009)

Jan A. P. Hoogervorst

Cover for Masahiro Fujishima · Endosymbionts in Paramecium - Microbiology Monographs (Hardcover Book) [2009 edition] (2009)

Endosymbionts in Paramecium - Mi... (2009)

Masahiro Fujishima

Cover for Bernd H a Rehm · Alginates: Biology and Applications - Microbiology Monographs (Hardcover Book) [2009 edition] (2009)

Alginates: Biology and Applicati... (2009)

Cover for Joseph Straus · The Role of Law and Ethics in the Globalized Economy - MPI Studies on Intellectual Property and Competition Law (Hardcover Book) [2009 edition] (2009)

The Role of Law and Ethics in th... (2009)

Cover for Tibor Szabados · Krankenhauser als Leistungserbringer in der gesetzlichen Krankenversicherung - MedR Schriftenreihe Medizinrecht (Paperback Book) [2009 edition] (2009)

Krankenhauser als Leistungserbri... (2009)

Cover for Nuhu George Obaje · Geology and Mineral Resources of Nigeria - Lecture Notes in Earth Sciences (Hardcover Book) [2009 edition] (2009)

Geology and Mineral Resources of... (2009)

Nuhu George Obaje

Cover for Sergei Artemov · Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2009 edition] (2008)

Logical Foundations of Computer ... (2008)

Cover for Vittorio Maniezzo · Learning and Intelligent Optimization: Second International Conference, Lion 2007 Ii, Trento, Italy, December 8-12, 2007. Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2008)

Learning and Intelligent Optimiz... (2008)

Vittorio Maniezzo

Cover for Jan Gulliksen · Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers - Programming and Software Engineering (Paperback Book) [2008 edition] (2008)

Engineering Interactive Systems:... (2008)

Cover for R Ramanujam · Logic and Its Applications: Third Indian Conference, Icla 2009, Chennai, India, January 7-11, 2009, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2008)

Logic and Its Applications: Thir... (2008)

Cover for Martin Wahl · Marine Hard Bottom Communities: Patterns, Dynamics, Diversity, and Change - Ecological Studies (Hardcover Book) [2009 edition] (2009)

Marine Hard Bottom Communities: ... (2009)

Cover for Christian Wirth · Old-Growth Forests: Function, Fate and Value - Ecological Studies (Hardcover Book) [2009 edition] (2009)

Old-Growth Forests: Function, Fa... (2009)

Christian Wirth

Cover for Weiming Shen · Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Computer Supported Cooperative W... (2008)

Cover for Michael Moeser · Engineering Acoustics: An Introduction to Noise Control (Hardcover Book) [2nd ed. 2009 edition] (2009)

2nd ed. 2009 edition

Engineering Acoustics: An Introd... (2009)

Cover for Herbert Lallgen · Ergometrie: Belastungsuntersuchungen in Klinik und Praxis (Hardcover Book) [3. Aufl. 2009 edition] (2009)

3. Aufl. 2009 edition

Ergometrie: Belastungsuntersuchu... (2009)

Herbert Lallgen

Cover for Gianfranco Cerofolini · Nanoscale Devices: Fabrication, Functionalization, and Accessibility from the Macroscopic World - NanoScience and Technology (Hardcover Book) [2009 edition] (2009)

Nanoscale Devices: Fabrication, ... (2009)

Gianfranco Cerofolini

Cover for Carbon and Nutrient Fluxes in Continental Margins: A Global Synthesis - Global Change - The IGBP Series (Hardcover Book) (2009)

Carbon and Nutrient Fluxes in Co... (2009)

Cover for Ismail H Tuncer · Parallel Computational Fluid Dynamics 2007: Implementations and Experiences on Large Scale and Grid Computing - Lecture Notes in Computational Science and Engineering (Paperback Book) [2009 edition] (2009)

Parallel Computational Fluid Dyn... (2009)

Ismail H Tuncer

Cover for Stefan Dully · National Registration for Producers of Electronic Waste (Hardcover Book) [2009 edition] (2009)

National Registration for Produc... (2009)

Cover for Rainer Winkelmann · Analysis of Microdata (Hardcover Book) [2nd ed. 2009 edition] (2009)

2nd ed. 2009 edition

Analysis of Microdata (2009)

Rainer Winkelmann

Cover for Michael Carlberg · Strategic Policy Interactions in a Monetary Union (Hardcover Book) [2009 edition] (2009)

Strategic Policy Interactions in... (2009)

Michael Carlberg

Cover for Ulrich Rossler · Solid State Theory: An Introduction (Hardcover Book) [2nd ed. 2009 edition] (2009)

2nd ed. 2009 edition

Solid State Theory: An Introduction (2009)

Cover for Charles Beat Blankart · Das Deutsche Gesundheitswesen Zukunftsfahig Gestalten: Patientenseite Starken - Reformunfahigkeit UEberwinden (Hardcover Book) [2009 edition] (2009)

Das Deutsche Gesundheitswesen Zu... (2009)

Charles Beat Blankart

Cover for Werner Haase · DESider - A European Effort on Hybrid RANS-LES Modelling: Results of the European-Union Funded Project, 2004 - 2007 - Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Hardcover Book) [2009 edition] (2009)

DESider - A European Effort on H... (2009)

Cover for Herman Deconinck · Computational Fluid Dynamics 2006: Proceedings of the Fourth International Conference on Computational Fluid Dynamics, ICCFD4, Ghent, Belgium, 10-14 July 2006 (Hardcover Book) [2006 edition] (2009)

Computational Fluid Dynamics 200... (2009)

Herman Deconinck

Cover for Barbara Caputo · Cognitive Vision: 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2008)

Cognitive Vision: 4th Internatio... (2008)

Cover for Gad Saad · Evolutionary Psychology in the Business Sciences (Hardcover Book) (2011)

Evolutionary Psychology in the B... (2011)

Cover for Brian Wixted · Innovation System Frontiers: Cluster Networks and Global Value - Advances in Spatial Science (Hardcover Book) [2009 edition] (2009)

Innovation System Frontiers: Clu... (2009)

Cover for Erwin Wasielewski · Project Knowledge Management: Systematic Learning with the Project Comparison Technique (Hardcover Book) (2010)

Project Knowledge Management: Sy... (2010)

Erwin Wasielewski

Cover for Marek Biskup · Methods of Contemporary Mathematical Statistical Physics - Lecture Notes in Mathematics (Paperback Book) (2009)

Methods of Contemporary Mathemat... (2009)

Cover for Nadia Creignou · Complexity of Constraints - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2008)

Complexity of Constraints - Lect... (2008)

Cover for Rino Falcone · Trust in Agent Societies: 11th International Workshop, Trust 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2008)

Trust in Agent Societies: 11th I... (2008)

Cover for Jiade Lu · Nasopharyngeal Cancer: Multidisciplinary Management - Radiation Oncology (Hardcover Book) [2010 edition] (2009)

Nasopharyngeal Cancer: Multidisc... (2009)

Cover for Been-chian Chien · Opportunities and Challenges for Next-Generation Applied Intelligence - Studies in Computational Intelligence (Hardcover Book) [2009 edition] (2009)

Opportunities and Challenges for... (2009)

Been-chian Chien

Cover for Constantin Zopounidis · Handbook of Multicriteria Analysis - Applied Optimization (Hardcover Book) [2010 Ed. edition] (2010)

2010 Ed. edition

Handbook of Multicriteria Analys... (2010)

Constantin Zopounidis

Cover for Robert O Briggs · Groupware: Design, Implementation, and Use: 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) (2008)

Groupware: Design, Implementatio... (2008)

Robert O Briggs

Cover for Heino Kienapfel · The Infected Implant (Paperback Book) [2009 edition] (2009)

The Infected Implant (2009)

Heino Kienapfel

Cover for Peter Nyhuis · Logistische Kennlinien: Grundlagen, Werkzeuge und Anwendungen - VDI-Buch (Hardcover Book) [3. Aufl. 2012 edition] (2012)

3. Aufl. 2012 edition

Logistische Kennlinien: Grundlag... (2012)

Cover for Chwee Teck Lim · 13th International Conference on Biomedical Engineering: ICBME 2008, 3-6 December 2008, Singapore - IFMBE Proceedings (Paperback Book) [2009 edition] (2009)

Paperback Book× 3

13th International Conference on... (2009)

Cover for Laure Saint-Raymond · Hydrodynamic Limits of the Boltzmann Equation - Lecture Notes in Mathematics (Paperback Book) [2009 edition] (2009)

Hydrodynamic Limits of the Boltz... (2009)

Laure Saint-Raymond

Cover for Jos M Laginha M Palma · High Performance Computing for Computational Science - VECPAR 2008: 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

High Performance Computing for C... (2008)

Jos M Laginha M Palma

Cover for Sandor P Fekete · Algorithmic Aspects of Wireless Sensor Networks: Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers - Computer Communication Networks and Telecommunications (Paperback Book) [2008 edition] (2008)

Algorithmic Aspects of Wireless ... (2008)

Sandor P Fekete

Cover for Miguel Sales Dias · Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers - Lecture Notes in Artificial Intelligence (Paperback Book) [2009 edition] (2009)

Gesture-Based Human-Computer Int... (2009)

Miguel Sales Dias

Cover for Antonio Domenech-Carbo · Electrochemical Methods in Archaeometry, Conservation and Restoration - Monographs in Electrochemistry (Hardcover Book) [2009 edition] (2009)

Electrochemical Methods in Archa... (2009)

Antonio Domenech-Carbo

Cover for Lok C. Lew Yan Voon · The K P Method (Hardcover Book) (2009)

The K P Method (2009)

Lok C. Lew Yan Voon

Cover for Benoit Huet · Advances in Multimedia Modeling: 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2009 edition] (2008)

Advances in Multimedia Modeling:... (2008)

Cover for Bjoern Sundt · Recursions for Convolutions and Compound Distributions with Insurance Applications - EAA Series (Paperback Book) [2009 edition] (2009)

Recursions for Convolutions and ... (2009)

Cover for Georgios Miaoulis · Intelligent Scene Modelling Information Systems - Studies in Computational Intelligence (Hardcover Book) [2009 edition] (2009)

Intelligent Scene Modelling Info... (2009)

Georgios Miaoulis

Cover for Grzegorz Rozenberg · Handbook of Natural Computing (Hardcover Book) (2012)

Handbook of Natural Computing (2012)

Grzegorz Rozenberg

Cover for Handbook of Semantic Web Technologies (Hardcover Book) (2011)

Handbook of Semantic Web Technol... (2011)

Cover for Andrzej Bargiela · Human-Centric Information Processing Through Granular Modelling - Studies in Computational Intelligence (Hardcover Book) [2009 edition] (2009)

Human-Centric Information Proces... (2009)

Andrzej Bargiela

Cover for Christoph Meinel · Digitale Kommunikation (Hardcover Book) [2009 edition] (2009)

Digitale Kommunikation (2009)

Christoph Meinel

Cover for Sicco Rah · Asylsuchende und Migranten auf See: Staatliche Rechte und Pflichten aus volkerrechtlicher Sicht - Hamburg Studies on Maritime Affairs (Paperback Book) [2009 edition] (2009)

Asylsuchende und Migranten auf S... (2009)

Cover for John N. K. Mansell · Flag State Responsibility: Historical Development and Contemporary Issues (Hardcover Book) [2009 edition] (2009)

Flag State Responsibility: Histo... (2009)

John N. K. Mansell

Cover for Christoph Meinel · Internetworking: Technische Grundlagen und Anwendungen - X.Media.Press (Hardcover Book) [2012 edition] (2011)

Internetworking: Technische Grun... (2011)

Christoph Meinel

Cover for Jorg Thomas Dickersbach · Supply Chain Management with SAP APO™: Structures, Modelling Approaches and Implementation of SAP SCM™ 2008 (Hardcover Book) [Third Edition 2009 edition] (2009)

Third Edition 2009 edition

Supply Chain Management with SAP... (2009)

Jorg Thomas Dickersbach

Cover for Luca Bertazzi · Innovations in Distribution Logistics - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [2009 edition] (2009)

Innovations in Distribution Logi... (2009)

Cover for Won Young Yang · Signals and Systems with MATLAB (Hardcover Book) [2009 edition] (2009)

Signals and Systems with MATLAB (2009)

Cover for Toshikazu Wada · Advances in Image and Video Technology: Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009, Proceedings - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) [2009 edition] (2008)

Advances in Image and Video Tech... (2008)

Cover for Michael Jugenheimer · Laparoscopic Cholecystectomy - Operation Primers (Paperback Book) [2009 edition] (2009)

Laparoscopic Cholecystectomy - O... (2009)

Michael Jugenheimer

Cover for Andr Seznec · High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009 - Theoretical Computer Science and General Issues (Paperback Book) [2009 edition] (2009)

High Performance Embedded Archit... (2009)

Cover for Rudolf Avenhaus · Negotiated Risks: International Talks on Hazardous Issues (Hardcover Book) [2009 edition] (2009)

Negotiated Risks: International ... (2009)

Rudolf Avenhaus

Cover for Andy Gill · Practical Aspects of Declarative Languages - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2008)

Practical Aspects of Declarative... (2008)

Cover for Charles D Amsler · Algal Chemical Ecology (Paperback Book) [1st ed. 2008. 2nd printing 2009 edition] (2009)

1st ed. 2008. 2nd printing 2009 edition

Algal Chemical Ecology (2009)

Charles D Amsler

Cover for Marco a C Pacheco · Intelligent Systems in Oil Field Development under Uncertainty - Studies in Computational Intelligence (Hardcover Book) [2009 edition] (2009)

Intelligent Systems in Oil Field... (2009)

Marco a C Pacheco

Cover for United Nations · Verbindungen Des Mangans Mit Schwefel, Selen Und Tellur (Hardcover Book) (1976)

Verbindungen Des Mangans Mit Sch... (1976)

Cover for Dieter Vollath · Uranium Dioxide, UO2, Preparation and Crystallographic Properties - Gmelin Handbook of Inorganic and Organometallic Chemistry - 8th edition (Hardcover Book) [8th ed. 1984 edition] (1984)

8th ed. 1984 edition

Uranium Dioxide, UO2, Preparatio... (1984)

Cover for Rudolf Keim · U Uranium: Supplement Volume C5 Uranium Dioxide, UO2, Physical Properties. Electrochemical Behavior - Gmelin Handbook of Inorganic and Organometallic Chemistry - 8th edition (Hardcover Book) [8th ed. 1986 edition] (1985)

8th ed. 1986 edition

U Uranium: Supplement Volume C5 ... (1985)

Cover for Gmelin Institute for Inorganic Chemistry · GABCOM & GABMET: Acronyms of Compounds and Methods in Chemistry and Physics (Paperback Book) [1993 edition] (1993)

GABCOM & GABMET: Acronyms of Com... (1993)

Gmelin Institute for Inorganic C...

Cover for Gmelin-institut · Gabcom & Gabmet: Abkurzungen Von Verbindungen Und Methoden Aus Chemie Und Physik (Paperback Book) [1993 edition] (1993)

Gabcom & Gabmet: Abkurzungen Von... (1993)

Gmelin-institut

Cover for Giuliano Iannotta · Investment Banking: A Guide to Underwriting and Advisory Services (Hardcover Book) [2010 edition] (2010)

Investment Banking: A Guide to U... (2010)

Giuliano Iannotta

Cover for Matthias Seimetz · High-Order Modulation for Optical Fiber Transmission - Springer Series in Optical Sciences (Hardcover Book) [2009 edition] (2009)

High-Order Modulation for Optica... (2009)

Matthias Seimetz

Cover for Herbert Meyr · Supply Chain Planning: Quantitative Decision Support and Advanced Planning Solutions (Hardcover Book) [2009 edition] (2009)

Supply Chain Planning: Quantitat... (2009)

Cover for Uwe Cantner · Schumpeterian Perspectives on Innovation, Competition and Growth (Hardcover Book) [2009 edition] (2009)

Schumpeterian Perspectives on In... (2009)

Cover for David Kaeli · Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings - Programming and Software Engineering (Paperback Book) [2009 edition] (2009)

Computer Performance Evaluation ... (2009)

Cover for Rudolf Seising · Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications - Studies in Fuzziness and Soft Computing (Hardcover Book) [2009 edition] (2009)

Views on Fuzzy Sets and Systems ... (2009)

Cover for Harald Ibach · Solid-State Physics: An Introduction to Principles of Materials Science (Paperback Book) [4th ed. 2009 edition] (2009)

4th ed. 2009 edition

Solid-State Physics: An Introduc... (2009)

Cover for Massimiliano Sala · Groebner Bases, Coding, and Cryptography (Hardcover Book) [2009 edition] (2009)

Groebner Bases, Coding, and Cryp... (2009)

Massimiliano Sala

Cover for M.Y.H. Bangash · Earthquake Resistant Buildings: Dynamic Analyses, Numerical Computations, Codified Methods, Case Studies and Examples (Hardcover Book) (2011)

Earthquake Resistant Buildings: ... (2011)

Cover for Christian Artmann · The Value of Information Updating in New Product Development - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [2009 edition] (2009)

The Value of Information Updatin... (2009)

Christian Artmann

Cover for Elisabetta Di Nitto · Service-oriented Computing - Icsoc 2007 Workshops: Icsos 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2009)

Service-oriented Computing - Ics... (2009)

Elisabetta Di Nitto

Cover for Ralf Brugger · Der IT Business Case: Kosten erfassen und analysieren - Nutzen erkennen und quantifizieren - Wirtschaftlichkeit nachweisen und realisieren - Xpert.press (Hardcover Book) [2., korr. u. erw. Aufl. 2009 edition] (2009)

2., korr. u. erw. Aufl. 2009 edition

Der IT Business Case: Kosten erf... (2009)

Cover for Hans-peter Meinzer · Bildverarbeitung fur die Medizin 2009: Algorithmen - Systeme - Anwendungen - Informatik Aktuell (Paperback Book) [2009 edition] (2009)

Bildverarbeitung fur die Medizin... (2009)

Hans-peter Meinzer

Cover for Dorian Mcgavern · Visualizing Immunity - Current Topics in Microbiology and Immunology (Hardcover Book) [2009 edition] (2009)

Visualizing Immunity - Current T... (2009)

Dorian Mcgavern

Cover for Joachim Weimann · Wirtschaftspolitik: Allokation und kollektive Entscheidung - Springer-Lehrbuch (Paperback Book) [5. Aufl. 2009 edition] (2009)

5. Aufl. 2009 edition

Wirtschaftspolitik: Allokation u... (2009)

Joachim Weimann

Cover for Amba Kulkarni · Sanskrit Computational Linguistics: Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2008 edition] (2008)

Sanskrit Computational Linguisti... (2008)

Cover for Ingrid Matthaus-maier · New Partnerships for Innovation in Microfinance (Paperback Book) [1st ed. 2008. 2nd printing 2009 edition] (2009)

1st ed. 2008. 2nd printing 2009 edition

New Partnerships for Innovation ... (2009)

Ingrid Matthaus-maier

Cover for Neil D Jones · Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)

Verification, Model Checking, an... (2008)