Publishers Springer-Verlag Berlin and Heidelberg Gm

Cover for Emanuele Neri · MR Angiography of the Body: Technique and Clinical Applications - Diagnostic Imaging (Hardcover Book) [2010 edition] (2009)

MR Angiography of the Body: Tech... (2009)

Cover for Hans Kleine B Ning · Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Theory and Applications of Satis... (2008)

Hans Kleine B Ning

Cover for Guoyin Wang · Rough Sets and Knowledge Technology: Third International Conference, Rskt 2008, Chengdu, China, May 17-19, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2008)

Rough Sets and Knowledge Technol... (2008)

Cover for Martin Grohe · Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Parameterized and Exact Computat... (2008)

Cover for Bernard Fermini · Ion Channels - Topics in Medicinal Chemistry (Hardcover Book) [2008 edition] (2008)

Ion Channels - Topics in Medicin... (2008)

Bernard Fermini

Cover for Uwe Schafer · Das Lineare Komplementaritatsproblem: Eine Einfuhrung - Springer-Lehrbuch (Paperback Book) [2008 edition] (2008)

Das Lineare Komplementaritatspro... (2008)

Cover for Oliver Kramer · Computational Intelligence: Eine Einfuhrung - Informatik Im Fokus (Paperback Book) [German, 2009 edition] (2009)

German, 2009 edition

Computational Intelligence: Eine... (2009)

Cover for Johannes Steinmuller · Bildanalyse: Von Der Bildverarbeitung Zur Raumlichen Interpretation Von Bildern - eXamen.Press (Paperback Book) [2008 edition] (2008)

Bildanalyse: Von Der Bildverarbe... (2008)

Johannes Steinmuller

Cover for Dietmar Fey · Grid-computing: Eine Basistechnologie Fur Computational Science - Examen.press (Paperback Book) (2010)

Grid-computing: Eine Basistechno... (2010)

Cover for Klaus Chantelau · Multimediale Client-server-systeme - Examen.press (Paperback Book) [German, 2010 edition] (2009)

German, 2010 edition

Multimediale Client-server-syste... (2009)

Klaus Chantelau

Cover for G G Belz · Die Herzwirksamen Glykoside (Paperback Book) (1972)

Die Herzwirksamen Glykoside (1972)

Cover for H Cotta · Orthopadie Fur Die Praxis (Paperback Book) [1971 edition] (1977)

Orthopadie Fur Die Praxis (1977)

Cover for T.E.W. Feltkamp · Autoimmunkrankheiten (Paperback Book) [German edition] (1977)

Autoimmunkrankheiten (1977)

T.E.W. Feltkamp

Cover for H J Frank-Schmidt · Handbuch Der Praxis-Rationalisierung (Paperback Book) [Softcover Reprint of the Original 1st 1972 edition] (1985)

Softcover Reprint of the Original 1st 1972 edition

Handbuch Der Praxis-Rationalisie... (1985)

H J Frank-Schmidt

Cover for M.-L. Fuhrmeister · Metamusik (Paperback Book) [German edition] (1980)

Metamusik (1980)

M.-L. Fuhrmeister

Cover for R. Haas · Virus- und Rickettsieninfektionen des Menschen (Paperback Book) [Softcover reprint of the original 1st ed. 1965 edition] (1977)

Softcover reprint of the original 1st ed. 1965 edition

Virus- und Rickettsieninfektione... (1977)

Cover for W H Hauss · Lehrbuch Der Inneren Medizin in Vier Teilen (Paperback Book) [2nd 2., Verb. U. Erw. Aufl. edition] (1977)

2nd 2., Verb. U. Erw. Aufl. edition

Lehrbuch Der Inneren Medizin in ... (1977)

Cover for W H Hauss · Lehrbuch Der Inneren Medizin: Teil 3: Krankheiten Des Endokrinen Systems Krankheiten Des Stoffwechsels Krankheiten Der Verdauungsorgane (Paperback Book) [2nd 1973 edition] (1977)

2nd 1973 edition

Lehrbuch Der Inneren Medizin: Te... (1977)

Cover for W H Hauss · Lehrbuch Der Inneren Medizin in Vier Teilen: Teil 4: Krankheiten Der Atmungsorgane Krankheiten Der Nieren Und Der Ableitenden Harnwege Vergiftungen (Paperback Book) [2nd edition] (1977)

Lehrbuch Der Inneren Medizin in ... (1977)

Cover for H Binder · Zwanzig Jahre Praktische Und Klinische Psychotherapie: Psychotherapeutische Erfahrungen Mit Dem Autogenen Training, Der Hypnose Und Anderen Kombinierten Verfahren (Paperback Book) [1973 edition] (1982)

Zwanzig Jahre Praktische Und Kli... (1982)

Cover for P. Kielholz · Diagnose Und Therapie Der Depressionen Fur den Praktiker (Paperback Book) [3., Vollst. Uberarb. Aufl. edition] (1971)

3., Vollst. Uberarb. Aufl. edition

Diagnose Und Therapie Der Depres... (1971)

Cover for F W Ahnefeld · Infusionstherapie I - Klinische Anasthesiologie und Intensivtherapie (Paperback Book) (1977)

Infusionstherapie I - Klinische ... (1977)

Cover for H Heimpel · Knochenmark-Insuffizienz - Haematology and Blood Transfusion (Paperback Book) [German edition] (1982)

Knochenmark-Insuffizienz - Haema... (1982)

Cover for T Lundmann · Herzinfarkt Und Seine Intensivbehandlung (Paperback Book) (1977)

Herzinfarkt Und Seine Intensivbe... (1977)

Cover for E Kuntz · Chronische Bronchitis - Mmw Taschenbuch (Paperback Book) [1975 edition] (1977)

Chronische Bronchitis - Mmw Tasc... (1977)

Cover for R Neth · Modern Trends in Human Leukemia II: Biological, Immunological, Therapeutical and Virological Aspects - Haematology and Blood Transfusion Hamatologie und Bluttransfusion (Paperback Book) [1976 edition] (1983)

Modern Trends in Human Leukemia ... (1983)

Cover for G. Schlierf · Ernahrungstherapie in der Praxis (Paperback Book) [German edition] (1982)

Ernahrungstherapie in der Praxis (1982)

Cover for H. Schuster · Vorsorgeuntersuchungen Bei Sauglingen Und Kleinkindern (Paperback Book) [2. Aufl. edition] (1977)

2. Aufl. edition

Vorsorgeuntersuchungen Bei Saugl... (1977)

Cover for P Hahn · Zwangssyndrome Und Zwangskrankheit: Vortrage Der 22. Lindauer Psychotherapiewochen 1972 (Paperback Book) [1974 edition] (1977)

Zwangssyndrome Und Zwangskrankhe... (1977)

Cover for G. Meuret · Monozytopoese Beim Menschen - Haematology and Blood Transfusion / Hamatologie und Bluttransfusion (Paperback Book) [German edition] (1977)

Monozytopoese Beim Menschen - Ha... (1977)

Cover for J Graf · Tafelwerk Zur Pflanzensystematik: Einfuhrung in Das Naturliche System Der Blutenpflanzen Durch Neuartige Bildmethode (Paperback Book) [1975 edition] (1985)

Tafelwerk Zur Pflanzensystematik... (1985)

Cover for Marcos Marino · Enumerative Invariants in Algebraic Geometry and String Theory: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 6-11, 2005 - Lecture Notes in Mathematics (Paperback Book) [2008 edition] (2008)

Enumerative Invariants in Algebr... (2008)

Cover for Jeffrey S. Kargel · Global Land Ice Measurements from Space - Springer Praxis Books (Hardcover Book) [2014 edition] (2014)

Global Land Ice Measurements fro... (2014)

Jeffrey S. Kargel

Cover for Prasanta K Pattanaik · Rational Choice and Social Welfare: Theory and Applications - Studies in Choice and Welfare (Hardcover Book) [2008 edition] (2008)

Rational Choice and Social Welfa... (2008)

Prasanta K Pattanaik

Cover for Kian Fan Chung · Pharmacology and Therapeutics of Cough - Handbook of Experimental Pharmacology (Hardcover Book) [2009 edition] (2008)

Pharmacology and Therapeutics of... (2008)

Cover for Marc Dewey · Coronary CT Angiography (Hardcover Book) [2009 edition] (2008)

Coronary CT Angiography (2008)

Cover for Heiko Braak · Neuroanatomy and Pathology of Sporadic Parkinson's Disease - Advances in Anatomy, Embryology and Cell Biology (Paperback Book) [2009 edition] (2008)

Neuroanatomy and Pathology of Sp... (2008)

Cover for Wolfgang Ossadnik · Kosten- Und Leistungsrechnung - Springer-Lehrbuch (Paperback Book) [2008 edition] (2008)

Kosten- Und Leistungsrechnung - ... (2008)

Wolfgang Ossadnik

Cover for Erik Claes · Facing the Limits of the Law (Hardcover Book) [2009 edition] (2009)

Facing the Limits of the Law (2009)

Cover for Suzette V. Suarez · The Outer Limits of the Continental Shelf: Legal Aspects of their Establishment - Beitrage zum auslandischen oeffentlichen Recht und Voelkerrecht (Hardcover Book) [2008 edition] (2008)

The Outer Limits of the Continen... (2008)

Suzette V. Suarez

Cover for Nozha Boujemaa · Adaptive Multimedia Retrieval: Retrieval, User, and Semantics: 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007, Revised Selected Papers - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2008 edition] (2008)

Adaptive Multimedia Retrieval: R... (2008)

Cover for Bruno Apolloni · The Puzzle of Granular Computing - Studies in Computational Intelligence (Hardcover Book) (2008)

The Puzzle of Granular Computing... (2008)

Cover for Jan Drugowitsch · Design and Analysis of Learning Classifier Systems: A Probabilistic Approach - Studies in Computational Intelligence (Hardcover Book) [2008 edition] (2008)

Design and Analysis of Learning ... (2008)

Jan Drugowitsch

Cover for Nadia Magnenat-thalmann · New Advances in Virtual Humans: Artificial Intelligence Environment - Studies in Computational Intelligence (Hardcover Book) (2008)

New Advances in Virtual Humans: ... (2008)

Nadia Magnenat-thalmann

Cover for Christa Sommerer · The Art and Science of Interface and Interaction Design (Vol. 1) - Studies in Computational Intelligence (Hardcover Book) [2008 edition] (2008)

The Art and Science of Interface... (2008)

Christa Sommerer

Cover for Krzysztof Patan · Artificial Neural Networks for the Modelling and Fault Diagnosis of Technical Processes - Lecture Notes in Control and Information Sciences (Paperback Book) [2008 edition] (2008)

Artificial Neural Networks for t... (2008)

Krzysztof Patan

Cover for Thomas Danwitz · Europaisches Verwaltungsrecht - Enzyklopadie der Rechts- und Staatswissenschaft (Hardcover Book) [2008 edition] (2008)

Europaisches Verwaltungsrecht - ... (2008)

Cover for Philippe Lefere · Virtual Colonoscopy: A Practical Guide - Medical Radiology (Hardcover Book) [2nd ed. 2010 edition] (2009)

2nd ed. 2010 edition

Virtual Colonoscopy: A Practical... (2009)

Philippe Lefere

Cover for Robert J Abrahart · Practical Hydroinformatics: Computational Intelligence and Technological Developments in Water Applications - Water Science and Technology Library (Hardcover Book) [2008 edition] (2008)

Practical Hydroinformatics: Comp... (2008)

Robert J Abrahart

Cover for Alexander Dolgin · The Economics of Symbolic Exchange (Hardcover Book) [2009 edition] (2008)

The Economics of Symbolic Exchange (2008)

Alexander Dolgin

Cover for Eric Beitz · Aquaporins - Handbook of Experimental Pharmacology (Hardcover Book) [2009 edition] (2008)

Aquaporins - Handbook of Experim... (2008)

Cover for Thomas Drabinski · Preisbildung Von Arzeimitteln Im Internationalen Vergleich - Kieler Studien - Kiel Studies (Hardcover Book) [2008 edition] (2008)

Preisbildung Von Arzeimitteln Im... (2008)

Thomas Drabinski

Cover for Max Karoubi · K-Theory: An Introduction - Classics in Mathematics (Paperback Book) [Re-issue edition] (2008)

Re-issue edition

K-Theory: An Introduction - Clas... (2008)

Cover for Hans Berns · Eisenwerkstoffe - Stahl Und Gusseisen (Hardcover Book) [4th 4., Bearb. Aufl. 2008 edition] (2008)

4th 4., Bearb. Aufl. 2008 edition

Eisenwerkstoffe - Stahl Und Guss... (2008)

Cover for Jos a Onieva · Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: Second Ifip Wg 11.2 International Workshop, Wistp 2008, Seville, Spain, May 13-16, 2008 - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2008)

Information Security Theory and ... (2008)

Cover for Ryszard Kowalczyk · Service-oriented Computing - Agents, Semantics, and Engineering: Aamas 2008 International Workshop, Socase 2008 Estoril, Portugal, May 12, 2008 Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, a (Paperback Book) (2008)

Service-oriented Computing - Age... (2008)

Ryszard Kowalczyk

Cover for Jos Meseguer · Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings - Programming and Software Engineering (Paperback Book) [2008 edition] (2008)

Algebraic Methodology and Softwa... (2008)

Cover for Takeyoshi Dohi · Medical Imaging and Augmented Reality: 4th International Workshop Tokyo, Japan, August 1-2, 2008, Proceedings - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) [2008 edition] (2008)

Medical Imaging and Augmented Re... (2008)

Cover for Hiroshi Umeo · Cellular Automata: 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)

Cellular Automata: 8th Internati... (2008)

Cover for Michael Griebel · Meshfree Methods for Partial Differential Equations IV - Lecture Notes in Computational Science and Engineering (Paperback Book) [2008 edition] (2008)

Meshfree Methods for Partial Dif... (2008)

Michael Griebel

Cover for Silvia Nittel · Geosensor Networks: Second International Conference, Gsn 2006, Boston, Ma, Usa, October 1-3, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Paperback Book) (2008)

Geosensor Networks: Second Inter... (2008)

Cover for Uwe Ligges · Programmieren mit R - Statistik und ihre Anwendungen (Paperback Book) [3., überarb. u. erweiterte Aufl. 2008 edition] (2008)

3., überarb. u. erweiterte Aufl. 2008 edition

Programmieren mit R - Statistik ... (2008)

Cover for Luca Denaro · Pitfalls in Cervical Spine Surgery: Avoidance and Management of Complications (Hardcover Book) [2010 edition] (2009)

Pitfalls in Cervical Spine Surge... (2009)

Cover for Siegfried Mense · Muscle Pain: Understanding the Mechanisms (Hardcover Book) [2010 edition] (2010)

Muscle Pain: Understanding the M... (2010)

Siegfried Mense

Cover for Volker Herminghaus · Storage Management in Data Centers: Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation (Hardcover Book) [2009 edition] (2009)

Storage Management in Data Cente... (2009)

Volker Herminghaus

Cover for Dmitrii Lozovanu · Optimization and Multiobjective Control of Time-Discrete Systems: Dynamic Networks and Multilayered Structures (Hardcover Book) [2009 edition] (2009)

Optimization and Multiobjective ... (2009)

Dmitrii Lozovanu

Cover for Didier Dubois · Soft Methods for Handling Variability and Imprecision - Advances in Intelligent and Soft Computing (Paperback Book) [2008 edition] (2008)

Soft Methods for Handling Variab... (2008)

Cover for Danny Weyns · Engineering Environment-mediated Multi-agent Systems: International Workshop, Eemmas 2007, Dresden, Germany, October 5, 2007, Selected Revised and Invited Papers - Lecture Notes in Computer Science (Paperback Book) (2008)

Engineering Environment-mediated... (2008)

Cover for Anibal Molto · A Nonlinear Transfer Technique for Renorming - Lecture Notes in Mathematics (Paperback Book) (2008)

A Nonlinear Transfer Technique f... (2008)

Cover for Frederick Li · Advances in Web Based Learning - Icwl 2008: 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Paperback Book) (2008)

Advances in Web Based Learning -... (2008)

Cover for Applied Scanning Probe Methods XI: Scanning Probe Microscopy Techniques - NanoScience and Technology (Hardcover Book) [2009 edition] (2008)

Applied Scanning Probe Methods X... (2008)

Cover for Applied Scanning Probe Methods XII: Characterization - NanoScience and Technology (Hardcover Book) [2009 edition] (2008)

Applied Scanning Probe Methods X... (2008)

Cover for Arnold Heertje · Grundlagen Der Volkswirtschaftslehre - Springer-Lehrbuch (Paperback Book) [7th 7., Uberarb. U. Erw. Aufl. 2008 edition] (2008)

7th 7., Uberarb. U. Erw. Aufl. 2008 edition

Grundlagen Der Volkswirtschaftsl... (2008)

Cover for F Zereini · Climatic Changes and Water Resources in the Middle East and North Africa - Environmental Science (Hardcover Book) [2008 edition] (2008)

Climatic Changes and Water Resou... (2008)

Cover for Applied Scanning Probe Methods XIII: Biomimetics and Industrial Applications - NanoScience and Technology (Hardcover Book) [2009 edition] (2008)

Applied Scanning Probe Methods X... (2008)

Cover for Josef Betten · Creep Mechanics (Book) [3rd ed. 2008 edition] (2008)

3rd ed. 2008 edition

Creep Mechanics (2008)

Cover for John F Wendt · Computational Fluid Dynamics: An Introduction (Hardcover Book) [3rd ed. 2009 edition] (2008)

3rd ed. 2009 edition

Computational Fluid Dynamics: An... (2008)

Cover for Mehdi Dastani · Languages, Methodologies and Development Tools for Multi-Agent Systems: First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Languages, Methodologies and Dev... (2008)

Cover for Armin Topfer · Lean Six SIGMA: Erfolgreiche Kombination Von Lean Management, Six SIGMA Und Design for Six SIGMA (Hardcover Book) [2009 edition] (2008)

Lean Six SIGMA: Erfolgreiche Kom... (2008)

Cover for Franz Schwabl · Advanced Quantum Mechanics (Hardcover Book) [Fourth Edition 2008 edition] (2008)

Fourth Edition 2008 edition

Advanced Quantum Mechanics (2008)

Cover for Peters, James F, III · Transactions on Rough Sets - Lecture Notes in Computer Science (Paperback Book) (2008)

Transactions on Rough Sets - Lec... (2008)

Peters, James F, III

Cover for Dawn E Holmes · Innovations in Bayesian Networks: Theory and Applications - Studies in Computational Intelligence (Hardcover Book) [2008 edition] (2008)

Innovations in Bayesian Networks... (2008)

Cover for Ying-ping Chen · Linkage in Evolutionary Computation - Studies in Computational Intelligence (Hardcover Book) [2008 edition] (2008)

Linkage in Evolutionary Computat... (2008)

Cover for Peter J Bentley · Artificial Immune Systems - Lecture Notes in Computer Science (Paperback Book) (2008)

Artificial Immune Systems - Lect... (2008)

Peter J Bentley

Cover for Qingfeng Chen · Secure Transaction Protocol Analysis - Lecture Notes in Computer Science (Paperback Book) (2008)

Secure Transaction Protocol Anal... (2008)

Cover for Franz Schwabl · Quantenmechanik Fur Fortgeschrittene (Qm Ii) (Paperback Book) (2008)

Quantenmechanik Fur Fortgeschrit... (2008)

Cover for Wolfgang Domschke · Grundlagen der Betriebswirtschaftslehre: Eine Einfuhrung aus entscheidungsorientierter Sicht - Springer-Lehrbuch (Paperback Book) [4., verb. u. aktualisierte Aufl. 2008 edition] (2008)

4., verb. u. aktualisierte Aufl. 2008 edition

Grundlagen der Betriebswirtschaf... (2008)

Wolfgang Domschke

Cover for Ali a Minai · Unifying Themes in Complex Systems: Vol VI: Proceedings of the Sixth International Conference on Complex Systems (Paperback Book) (2010)

Unifying Themes in Complex Syste... (2010)

Cover for Ralf Littke · Dynamics of Complex Intracontinental Basins: The Central European Basin System (Book) [2008 edition] (2008)

Dynamics of Complex Intracontine... (2008)

Cover for Igor S. Zonn · The Aral Sea Encyclopedia - Encyclopedia of Seas (Hardcover Book) [2009 edition] (2009)

The Aral Sea Encyclopedia - Ency... (2009)

Cover for Bernd Bertsche · Zuverlassigkeit mechatronischer Systeme: Grundlagen und Bewertung in fruhen Entwicklungsphasen - VDI-Buch (Hardcover Book) [2009 edition] (2009)

Zuverlassigkeit mechatronischer ... (2009)

Cover for Reihaneh Safavi-naini · Information Theoretic Security: Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings - Security and Cryptology (Paperback Book) [2008 edition] (2008)

Information Theoretic Security: ... (2008)

Reihaneh Safavi-naini

Cover for Boting Yang · Combinatorial Optimization and Applications: Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)

Combinatorial Optimization and A... (2008)

Cover for Affect and Emotion in Human-Computer Interaction: From Theory to Applications - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2008 edition] (2008)

Affect and Emotion in Human-Comp... (2008)

Cover for Katsuhisa Horimoto · Algebraic Biology: Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Algebraic Biology: Third Interna... (2008)

Katsuhisa Horimoto

Cover for Toshimi Shimizu · Self-Assembled Nanomaterials I: Nanofibers - Advances in Polymer Science (Hardcover Book) (2008)

Self-Assembled Nanomaterials I: ... (2008)

Toshimi Shimizu

Cover for Toshimi Shimizu · Self-Assembled Nanomaterials II: Nanotubes - Advances in Polymer Science (Hardcover Book) [2008 edition] (2008)

Self-Assembled Nanomaterials II:... (2008)

Toshimi Shimizu

Cover for Stefan Jentsch · The Ubiquitin System in Health and Disease - Ernst Schering Foundation Symposium Proceedings (Hardcover Book) [2009 edition] (2008)

The Ubiquitin System in Health a... (2008)

Cover for Serge Autexier · Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2008 edition] (2008)

Intelligent Computer Mathematics... (2008)

Cover for Klaus Havelund · Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)

Model Checking Software: 15th In... (2008)