Publishers Springer-Verlag Berlin and Heidelberg Gm

Cover for Hermann Ribhegge · Europaische Wirtschafts- Und Sozialpolitik (Paperback Book) [2nd 2., Vollst. Uberarb. Aufl. 2011 edition] (2011)

2nd 2., Vollst. Uberarb. Aufl. 2011 edition

Europaische Wirtschafts- Und Soz... (2011)

Hermann Ribhegge

Cover for Dieter Fensel · Semantic Web Services (Hardcover Book) [2011 edition] (2011)

Semantic Web Services (2011)

Cover for Madeleine Herren · Transcultural History: Theories, Methods, Sources - Transcultural Research - Heidelberg Studies on Asia and Europe in a Global Context (Paperback Book) (2012)

Transcultural History: Theories,... (2012)

Madeleine Herren

Cover for Roger Boudet · Quantum Mechanics in the Geometry of Space-Time: Elementary Theory - SpringerBriefs in Physics (Paperback Book) (2011)

Quantum Mechanics in the Geometr... (2011)

Cover for Carlo C Jaeger · European Research on Sustainable Development: Volume 1: Transformative Science Approaches for Sustainability (Hardcover Book) [2011 edition] (2011)

European Research on Sustainable... (2011)

Cover for Alain Lecomte · Ludics, Dialogue and Interaction: Prelude Project - 2006-2009. Revised Selected Papers - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2011)

Ludics, Dialogue and Interaction... (2011)

Cover for Anne Ruas · Advances in Cartography and GIScience. Volume 2: Selection from ICC 2011, Paris - Publications of the International Cartographic Association (ICA) (Hardcover Book) (2011)

Advances in Cartography and GISc... (2011)

Cover for Holm Altenbach · Mechanics of Generalized Continua - Advanced Structured Materials (Hardcover Book) [2011 edition] (2011)

Mechanics of Generalized Continu... (2011)

Cover for Costas S Iliopoulos · Combinatorial Algorithms: 21st International Workshop, Iwoca 2010, London, Uk, July 26-28, 2010, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Combinatorial Algorithms: 21st I... (2011)

Costas S Iliopoulos

Cover for Audun Holme · A Royal Road to Algebraic Geometry (Hardcover Book) [2012 edition] (2011)

A Royal Road to Algebraic Geometry (2011)

Cover for Jan Camenisch · Open Research Problems in Network Security: Ifip Wg 11.4 International Workshop, Inetsec 2010, Sofia, Bulgaria, March 5-6, 2010, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Open Research Problems in Networ... (2011)

Cover for Qing-Ming Tan · Dimensional Analysis: With Case Studies in Mechanics (Hardcover Book) (2011)

Dimensional Analysis: With Case ... (2011)

Cover for Kedar Namjoshi · Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2011 edition] (2011)

Hardware and Software: Verificat... (2011)

Cover for Gennady G. Gladush · Physics of Laser Materials Processing: Theory and Experiment - Springer Series in Materials Science (Hardcover Book) [2011 edition] (2011)

Physics of Laser Materials Proce... (2011)

Gennady G. Gladush

Cover for Philipp Egler · Seeprivatrechtliche Streitigkeiten unter der EuGVVO - Hamburg Studies on Maritime Affairs (Paperback Book) [2011 edition] (2011)

Seeprivatrechtliche Streitigkeit... (2011)

Cover for Alexander Potylitsyn · Electromagnetic Radiation of Electrons in Periodic Structures - Springer Tracts in Modern Physics (Hardcover Book) [2011 edition] (2011)

Electromagnetic Radiation of Ele... (2011)

Alexander Potylitsyn

Cover for Roberta Capello · Globalization and Regional Growth in Europe: Past Trends and Future Scenarios - Advances in Spatial Science (Hardcover Book) (2011)

Globalization and Regional Growt... (2011)

Roberta Capello

Cover for Stefan Scherer · A Primer for Chiral Perturbation Theory - Lecture Notes in Physics (Paperback Book) (2011)

A Primer for Chiral Perturbation... (2011)

Cover for Tsan-ming Choi · Supply Chain Coordination under Uncertainty - International Handbooks on Information Systems (Hardcover Book) [2011 edition] (2011)

Supply Chain Coordination under ... (2011)

Cover for Neil Spring · Passive and Active Measurement - Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications (Paperback Book) (2011)

Passive and Active Measurement -... (2011)

Cover for Helm · Reputation Management - Management for Professionals (Hardcover Book) [2011 edition] (2011)

Reputation Management - Manageme... (2011)

Cover for Ethel Eljarrat · Brominated Flame Retardants - The Handbook of Environmental Chemistry (Hardcover Book) [2011 edition] (2011)

Brominated Flame Retardants - Th... (2011)

Cover for Chiara Gualandi · Porous Polymeric Bioresorbable Scaffolds for Tissue Engineering - Springer Theses (Hardcover Book) [2011 edition] (2011)

Porous Polymeric Bioresorbable S... (2011)

Chiara Gualandi

Cover for Karl Miller · Laparoscopic Gastric Banding - Operation Primers (Book) (2011)

Laparoscopic Gastric Banding - O... (2011)

Cover for Dietlinde Lau · Ubungsbuch Zur Linearen Algebra Und Analytischen Geometrie (Paperback Book) [2nd 2. Korr. U. Erg. Aufl. 2011 2011 edition] (2011)

2nd 2. Korr. U. Erg. Aufl. 2011 2011 edition

Ubungsbuch Zur Linearen Algebra ... (2011)

Cover for Eberhard Abele · Schutz vor Produktpiraterie: Ein Handbuch fur den Maschinen- und Anlagenbau (Hardcover Book) [2011 edition] (2011)

Schutz vor Produktpiraterie: Ein... (2011)

Cover for Ron Kimmel · Computer Vision - ACCV 2010: 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part IV - Lecture Notes in Computer Science (Paperback Book) (2011)

Computer Vision - ACCV 2010: 10t... (2011)

Cover for Massimo Baroncini · Design, Synthesis and Characterization of new Supramolecular Architectures - Springer Theses (Hardcover Book) (2011)

Design, Synthesis and Characteri... (2011)

Massimo Baroncini

Cover for Antje Fluchter · Structures on the Move: Technologies of Governance in Transcultural Encounter - Transcultural Research - Heidelberg Studies on Asia and Europe in a Global Context (Paperback Book) (2012)

Structures on the Move: Technolo... (2012)

Cover for Divyakant Agrawal · New Frontiers in Information and Software as Services: Service and Application Design Challenges in the Cloud - Lecture Notes in Business Information Processing (Paperback Book) (2011)

New Frontiers in Information and... (2011)

Divyakant Agrawal

Cover for Phil Glatz · The Welfare of Farmed Ratites - Animal Welfare (Hardcover Book) [2011 edition] (2011)

The Welfare of Farmed Ratites - ... (2011)

Cover for Ron Kimmel · Computer Vision - ACCV 2010: 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part II - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) (2011)

Computer Vision - ACCV 2010: 10t... (2011)

Cover for Ron Kimmel · Computer Vision - ACCV 2010: 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part I - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) [2011 edition] (2011)

Computer Vision - ACCV 2010: 10t... (2011)

Cover for Ron Kimmel · Computer Vision - ACCV 2010: 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part III - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) [2011 edition] (2011)

Computer Vision - ACCV 2010: 10t... (2011)

Cover for Marjan Gusev · ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers - Communications in Computer and Information Science (Paperback Book) (2011)

ICT Innovations 2010: Second Int... (2011)

Cover for Jose M Laginha M Palma · High Performance Computing for Computational Science -- Vecpar: 9th International Conference, Berkeley, Ca, Usa, June 22-25, 2010, Revised, Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

High Performance Computing for C... (2011)

Jose M Laginha M Palma

Cover for Thomas Becker · Netzwerkmanagement: Mit Kooperation Zum Unternehmenserfolg (Hardcover Book) [3rd 3. Aufl. 2011 edition] (2011)

3rd 3. Aufl. 2011 edition

Netzwerkmanagement: Mit Kooperat... (2011)

Cover for Bildverarbeitung fur die Medizin 2011: Algorithmen - Systeme - Anwendungen Proceedings des Workshops vom 20. - 22. Marz 2011 in Lubeck - Informatik Aktuell (Paperback Book) (2011)

Bildverarbeitung fur die Medizin... (2011)

Cover for Dash Wu · Quantitative Financial Risk Management - Computational Risk Management (Hardcover Book) [2011 edition] (2011)

Quantitative Financial Risk Mana... (2011)

Cover for Hannu Christian Wichterich · Entanglement Between Noncomplementary Parts of Many-Body Systems - Springer Theses (Hardcover Book) [2011 edition] (2011)

Entanglement Between Noncompleme... (2011)

Hannu Christian Wichterich

Cover for Joaquin Garcia-alfaro · Data Privacy Management and Autonomous Spontaneous Security: 5th International Workshop, Dpm 2010 and 3rd International Workshop, Setop, Athens, Greece, September 23, 2010, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptol (Paperback Book) (2011)

Data Privacy Management and Auto... (2011)

Joaquin Garcia-alfaro

Cover for Wolfgang Wagner · Groundwater in the Arab Middle East (Hardcover Book) (2011)

Groundwater in the Arab Middle East (2011)

Wolfgang Wagner

Cover for Heribert Insam · Recycling of Biomass Ashes (Hardcover Book) [2011 edition] (2011)

Recycling of Biomass Ashes (2011)

Cover for Sven Groppe · Data Management and Query Processing in Semantic Web Databases (Hardcover Book) [2011 edition] (2011)

Data Management and Query Proces... (2011)

Cover for S D Attri · Challenges and Opportunities in Agrometeorology (Hardcover Book) (2011)

Challenges and Opportunities in ... (2011)

Cover for Frederick H. Kanfer · Selbstmanagement-Therapie: Ein Lehrbuch fur die klinische Praxis (Hardcover Book) [5. Aufl. 2012 edition] (2011)

5. Aufl. 2012 edition

Selbstmanagement-Therapie: Ein L... (2011)

Frederick H. Kanfer

Cover for Hesheng Chen · Large Research Infrastructures Development in China: A Roadmap to 2050 (Paperback Book) (2011)

Large Research Infrastructures D... (2011)

Cover for Siegfried Behrendt · Wiederverkaufskultur Im Internet (Hardcover Book) (2011)

Wiederverkaufskultur Im Internet (2011)

Siegfried Behrendt

Cover for Hiroshi Sako · Computational Forensics: 4th International Workshop, IWCF 2010 Tokyo, Japan, November 11-12, 2010, Revised Selected Papers - Image Processing, Computer Vision, Pattern Recognition, and Graphics (Paperback Book) [2011 edition] (2011)

Computational Forensics: 4th Int... (2011)

Cover for Heinz Mehlhorn · Nature Helps...: How Plants and Other Organisms Contribute to Solve Health Problems - Parasitology Research Monographs (Hardcover Book) (2011)

Nature Helps...: How Plants and ... (2011)

Cover for Karol Kulinski · Carbon Cycling in the Baltic Sea - GeoPlanet: Earth and Planetary Sciences (Hardcover Book) (2012)

Carbon Cycling in the Baltic Sea... (2012)

Cover for E Michael Maximilien · Service-Oriented Computing: ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers - Programming and Software Engineering (Paperback Book) (2011)

Service-Oriented Computing: ICSO... (2011)

E Michael Maximilien

Cover for Carlos Martins · From Varying Couplings to Fundamental Physics: Proceedings of Symposium 1 of JENAM 2010 - Astrophysics and Space Science Proceedings (Hardcover Book) [2011 edition] (2011)

From Varying Couplings to Fundam... (2011)

Cover for Alexander Gelbukh · Computational Linguistics and Intelligent Text Processing: 12th International Conference, Cicling 2011, Tokyo, Japan, February 20-26, 2011. Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Computational Linguistics and In... (2011)

Alexander Gelbukh

Cover for Chandan Singh · Information Systems for Indian Languages: International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings - Communications in Computer and Information Science (Paperback Book) (2011)

Information Systems for Indian L... (2011)

Cover for Shi Yu · Kernel-based Data Fusion for Machine Learning: Methods and Applications in Bioinformatics and Text Mining - Studies in Computational Intelligence (Hardcover Book) (2011)

Kernel-based Data Fusion for Mac... (2011)

Cover for Frank Tr Ger · Springer Handbook of Lasers and Optics (Book) [2nd ed. 2012 edition] (2012)

2nd ed. 2012 edition

Springer Handbook of Lasers and ... (2012)

Cover for Luca Prodi · Luminescence Applied in Sensor Science - Topics in Current Chemistry (Hardcover Book) [2011 edition] (2011)

Luminescence Applied in Sensor S... (2011)

Cover for Sumeet Dua · Information Intelligence, Systems, Technology and Management: 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011. Proceedings - Communications in Computer and Information Science (Paperback Book) (2011)

Information Intelligence, System... (2011)

Cover for Alexander Gelbukh · Computational Linguistics and Intelligent Text Processing: 12th International Conference, Cicling 2011, Tokyo, Japan, February 20-26, 2011. Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Computational Linguistics and In... (2011)

Alexander Gelbukh

Cover for Brian Malloy · Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2011)

Software Language Engineering: T... (2011)

Cover for Dietlinde Lau · Algebra Und Diskrete Mathematik 1 (Paperback Book) [3rd 3., Korr. U. Erw. Aufl. 2011 edition] (2011)

3rd 3., Korr. U. Erw. Aufl. 2011 edition

Algebra Und Diskrete Mathematik 1 (2011)

Cover for Oscar Bajo-Rubio · Macroeconomic Analysis of Monetary Unions: A General Framework Based on the Mundell-Fleming Model - SpringerBriefs in Economics (Paperback Book) [2011 edition] (2011)

Macroeconomic Analysis of Moneta... (2011)

Oscar Bajo-Rubio

Cover for Juval Portugali · Complexity, Cognition and the City - Understanding Complex Systems (Hardcover Book) [2011 edition] (2011)

Complexity, Cognition and the Ci... (2011)

Juval Portugali

Cover for Volker a Erdmann · Non Coding RNAs in Plants - RNA Technologies (Hardcover Book) [2011 edition] (2011)

Non Coding RNAs in Plants - RNA ... (2011)

Volker a Erdmann

Cover for Bing Liu · Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data - Data-Centric Systems and Applications (Hardcover Book) [2nd ed. 2011 edition] (2011)

2nd ed. 2011 edition

Web Data Mining: Exploring Hyper... (2011)

Cover for Liqiu Wang · Advances in Transport Phenomena: 2010 - Advances in Transport Phenomena (Hardcover Book) [2010 edition] (2011)

Advances in Transport Phenomena:... (2011)

Cover for Michael Hulsmann · Autonomous Cooperation and Control in Logistics: Contributions and Limitations - Theoretical and Practical Perspectives (Hardcover Book) [2011 edition] (2011)

Autonomous Cooperation and Contr... (2011)

Michael Hulsmann

Cover for Shengming Ma · Asymmetric Catalysis from a Chinese Perspective - Topics in Organometallic Chemistry (Hardcover Book) (2011)

Asymmetric Catalysis from a Chin... (2011)

Cover for Andreas Koch · Reconfigurable Computing: Architectures, Tools and Applications: 7th International Symposium, Arc 2011, Belfast, Uk, March 23-25, 2011, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2011)

Reconfigurable Computing: Archit... (2011)

Cover for Reinhard F H Ttl · Globaler Wandel Und Regionale Entwicklung: Anpassungsstrategien in Der Region Berlin-Brandenburg (Hardcover Book) [2011 edition] (2011)

Globaler Wandel Und Regionale En... (2011)

Reinhard F H Ttl

Cover for Manfred Heße · Wettbewerbsrecht - Schnell erfasst - Recht - schnell erfasst (Paperback Book) [2. Aufl. 2011 edition] (2011)

2. Aufl. 2011 edition

Wettbewerbsrecht - Schnell erfas... (2011)

Cover for Rainer Muche · Medizinische Statistik mit R und Excel: Einfuhrung in die RExcel- und R-Commander-Oberflachen zur statistischen Auswertung - Springer-Lehrbuch (Paperback Book) [2011 edition] (2011)

Medizinische Statistik mit R und... (2011)

Cover for Javier Larrosa · Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Recent Advances in Constraints: ... (2011)

Cover for Gunnar Floystad · Combinatorial Aspects of Commutative Algebra and Algebraic Geometry: The Abel Symposium 2009 - Abel Symposia (Hardcover Book) (2011)

Combinatorial Aspects of Commuta... (2011)

Gunnar Floystad

Cover for Bertil Gustafsson · Fundamentals of Scientific Computing - Texts in Computational Science and Engineering (Hardcover Book) (2011)

Fundamentals of Scientific Compu... (2011)

Bertil Gustafsson

Cover for Franz-Xaver Kaufmann · Thinking About Social Policy: The German Tradition - German Social Policy (Hardcover Book) (2012)

Thinking About Social Policy: Th... (2012)

Franz-Xaver Kaufmann

Cover for Gert Heinrich · Advanced Rubber Composites - Advances in Polymer Science (Hardcover Book) [2011 edition] (2011)

Advanced Rubber Composites - Adv... (2011)

Cover for Hermann-josef Blanke · The European Union after Lisbon (Book) (2011)

The European Union after Lisbon (2011)

Hermann-josef Blanke

Cover for Paul Warren · Context and Semantics for Knowledge Management: Technologies for Personal Productivity (Hardcover Book) [2011 edition] (2011)

Context and Semantics for Knowle... (2011)

Cover for Norman Schofield · Leadership or Chaos: The Heart and Soul of Politics (Hardcover Book) [2011 edition] (2011)

Leadership or Chaos: The Heart a... (2011)

Norman Schofield

Cover for Norman Schofield · Political Economy of Institutions, Democracy and Voting (Hardcover Book) [2011 edition] (2011)

Political Economy of Institution... (2011)

Norman Schofield

Cover for L Szl Zentai · Maps for the Future: Children, Education and Internet - Lecture Notes in Geoinformation and Cartography (Hardcover Book) (2012)

Maps for the Future: Children, E... (2012)

Cover for Fischedick Manfred · CO2: Abtrennung, Speicherung, Nutzung: Ganzheitliche Bewertung im Bereich von Energiewirtschaft und Industrie (Hardcover Book) [2015 edition] (2015)

CO2: Abtrennung, Speicherung, Nu... (2015)

Fischedick Manfred

Cover for Claus Vielhauer · Biometrics and ID Management: COST 2101 European Workshop, BioID 2011, Brandenburg (Havel), March 8-10, 2011, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Biometrics and ID Management: CO... (2011)

Claus Vielhauer

Cover for Dierk Schleicher · An Invitation to Mathematics: From Competitions to Research (Paperback Book) (2011)

An Invitation to Mathematics: Fr... (2011)

Dierk Schleicher

Cover for Paulina Golinska · Information Technologies in Environmental Engineering: New Trends and Challenges - Environmental Engineering (Hardcover Book) (2011)

Information Technologies in Envi... (2011)

Paulina Golinska

Cover for Juan Andrade Cetto · Informatics in Control, Automation and Robotics: Revised and Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2010 - Lecture Notes in Electrical Engineering (Hardcover Book) (2011)

Informatics in Control, Automati... (2011)

Juan Andrade Cetto

Cover for Vinu V Das · Computer Networks and Information Technologies: Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings - Communications in Computer and Information Science (Paperback Book) (2011)

Computer Networks and Informatio... (2011)

Cover for Rafi Ahmed · Negative Co-Receptors and Ligands - Current Topics in Microbiology and Immunology (Hardcover Book) [2011 edition] (2011)

Negative Co-Receptors and Ligand... (2011)

Cover for Weisi Lin · Multimedia Analysis, Processing and Communications - Studies in Computational Intelligence (Hardcover Book) (2011)

Multimedia Analysis, Processing ... (2011)

Cover for Lodewijk Bos · Future Visions on Biomedicine and Bioinformatics 2: A Liber Amicorum in Memory of Swamy Laxminarayan - Communications in Medical and Care Compunetics (Hardcover Book) [2011 edition] (2011)

Future Visions on Biomedicine an... (2011)

Cover for Joachim Deutscher · Zustandsregelung verteilt-parametrischer Systeme (Hardcover Book) [2012 edition] (2012)

Zustandsregelung verteilt-parame... (2012)

Joachim Deutscher

Cover for L.P. Yarin · The Pi-Theorem: Applications to Fluid Mechanics and Heat and Mass Transfer - Experimental Fluid Mechanics (Hardcover Book) (2012)

The Pi-Theorem: Applications to ... (2012)

Cover for Koichiro Ishibashi · Low Power and Reliable SRAM Memory Cell and Array Design - Springer Series in Advanced Microelectronics (Hardcover Book) [2011 edition] (2011)

Low Power and Reliable SRAM Memo... (2011)

Koichiro Ishibashi

Cover for Yuval Ishai · Theory of Cryptography - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Theory of Cryptography - Lecture... (2011)

Cover for Alex Biryukov · Selected Areas in Cryptography: 17th International Workshop, Sac 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2011)

Selected Areas in Cryptography: ... (2011)

Cover for Endospore-forming Soil Bacteria - Soil Biology (Hardcover Book) [2011 edition] (2011)

Endospore-forming Soil Bacteria ... (2011)

Cover for Robert Adler · Topological Complexity of Smooth Random Functions: Ecole d'Ete de Probabilites de Saint-Flour XXXIX-2009 - Lecture Notes in Mathematics (Paperback Book) (2011)

Topological Complexity of Smooth... (2011)

Cover for Sharon Barner · Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Hardware and Software: Verificat... (2011)