Publishers Springer-Verlag Berlin and Heidelberg Gm

Cover for Stefan Voss · Introduction to Computational Optimization Models for Production Planning in a Supply Chain (Hardcover Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

Introduction to Computational Op... (2006)

Cover for Thoma, Helmut (University of Ulm Germany) · Psychoanalytische Therapie: Forschung (Book) [2006 edition] (2006)

Psychoanalytische Therapie: Fors... (2006)

Thoma, Helmut (University of Ulm...

Cover for Jurgen Paetz · Soft Computing in Der Bioinformatik: Eine Grundlegende Einfuhrung Und Ubersicht (Paperback Book) [2006 edition] (2006)

Soft Computing in Der Bioinforma... (2006)

Cover for Wolfram Koepf · Computeralgebra: Eine Algorithmisch Orientierte Einfuhrung (Paperback Book) [German, 2006 edition] (2006)

German, 2006 edition

Computeralgebra: Eine Algorithmi... (2006)

Cover for Bruggemeier, Gert (Universitat Bremen) · Haftungsrecht: Struktur, Prinzipien, Schutzbereich (Book) [2006 edition] (2006)

Haftungsrecht: Struktur, Prinzip... (2006)

Bruggemeier, Gert (Universitat B...

Cover for Stephen Kemble · Interplanetary Mission Analysis and Design - Springer Praxis Books (Book) [2006 edition] (2006)

Interplanetary Mission Analysis ... (2006)

Cover for W M Shafer · Antimicrobial Peptides and Human Disease - Current Topics in Microbiology and Immunology (Hardcover Book) (2006)

Antimicrobial Peptides and Human... (2006)

Cover for Manfred Hugenschmidt · Lasermesstechnik, Diagnostik Der Kurzzeitphysik (Paperback Book) [2007 edition] (2006)

Lasermesstechnik, Diagnostik Der... (2006)

Manfred Hugenschmidt

Cover for Asaf Adi · Rules and Rule Markup Languages for the Semantic Web: First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)

Rules and Rule Markup Languages ... (2005)

Cover for J. Flum · Parameterized Complexity Theory - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2006 edition] (2006)

Parameterized Complexity Theory ... (2006)

Cover for De R Nicola · Trustworthy Global Computing: International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005. Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2005)

Trustworthy Global Computing: In... (2005)

Cover for Antifouling Compounds - Progress in Molecular and Subcellular Biology / Marine Molecular Biotechnology (Hardcover Book) (2006)

Antifouling Compounds - Progress... (2006)

Cover for Web Information Systems Engineering - Wise 2005: 6th International Conference on Web Information Systems Engineering, New York, Ny, Usa, November 20-22, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2005)

Web Information Systems Engineer... (2005)

Cover for M Dean · Web Information Systems Engineering - Wise 2005 Workshops: Wise 2005 International Workshops, New York, Ny, Usa, November 20-22, 2005, Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Paperback Book) (2005)

Web Information Systems Engineer... (2005)

Cover for R B Allen · Biological Invasions in New Zealand - Ecological Studies (Hardcover Book) [2006 edition] (2006)

Biological Invasions in New Zeal... (2006)

Cover for Fabian Ahrendts · IT-Risikomanagement leben!: Wirkungsvolle Umsetzung fur Projekte in der Softwareentwicklung - Xpert.press (Hardcover Book) [2008 edition] (2007)

IT-Risikomanagement leben!: Wirk... (2007)

Fabian Ahrendts

Cover for Model Driven Architecture - Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings - Programming and Software Engineering (Paperback Book) [2005 edition] (2005)

Model Driven Architecture - Foun... (2005)

Cover for Yo-sung Ho · Advances in Multimedia Information Processing - PCM 2005: 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part I - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2005 edition] (2005)

Advances in Multimedia Informati... (2005)

Cover for M C Miguel · Jamming, Yielding, and Irreversible Deformation in Condensed Matter - Lecture Notes in Physics (Hardcover Book) (2006)

Jamming, Yielding, and Irreversi... (2006)

Cover for Yo-sung Ho · Advances in Multimedia Information Processing - Pcm 2005: 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / (Paperback Book) (2005)

Advances in Multimedia Informati... (2005)

Cover for J W Labelle · Geospace Electromagnetic Waves and Radiation - Lecture Notes in Physics (Hardcover Book) [2006 edition] (2006)

Geospace Electromagnetic Waves a... (2006)

Cover for Waldemar Pfortsch · Die Marke in Der Marke: Bedeutung Und Macht DES Ingredient Branding (Book) [2006 edition] (2006)

Die Marke in Der Marke: Bedeutun... (2006)

Waldemar Pfortsch

Cover for Manfred Spitznas · Understanding Fluorescein Angiography, Fluoreszeinangiografie verstehen, Entendiendo Angiografia con Fluoresceina (Hardcover Book) [2006 edition] (2006)

Understanding Fluorescein Angiog... (2006)

Manfred Spitznas

Cover for Dominik Weishaupt · How does MRI work?: An Introduction to the Physics and Function of Magnetic Resonance Imaging (Paperback Book) [2nd ed. 2006. Corr. 2nd printing 2008 edition] (2006)

2nd ed. 2006. Corr. 2nd printing 2008 edition

How does MRI work?: An Introduct... (2006)

Dominik Weishaupt

Cover for He · Arterial Grafting for Coronary Artery Bypass Surgery (Hardcover Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

Arterial Grafting for Coronary A... (2006)

Cover for W Potz · Quantum Coherence: From Quarks to Solids - Lecture Notes in Physics (Hardcover Book) [2006 edition] (2006)

Quantum Coherence: From Quarks t... (2006)

Cover for Werner Lachmann · Volkswirtschaftslehre 1: Grundlagen - Springer-Lehrbuch (Paperback Book) [5., überarb. u. erw. Aufl. 2006 edition] (2006)

5., überarb. u. erw. Aufl. 2006 edition

Volkswirtschaftslehre 1: Grundla... (2006)

Werner Lachmann

Cover for Rainer Flindt · Amazing Numbers in Biology (Paperback Book) [2006 edition] (2006)

Amazing Numbers in Biology (2006)

Cover for D Agar · Integrated Reaction and Separation Operations: Modelling and experimental validation (Paperback Book) [2006 edition] (2006)

Integrated Reaction and Separati... (2006)

Cover for Nesetril, Professor of Mathematics Jaroslav (Both at Charles University, Prague Charles University, Prague Professor of Mathematics, Charles University, Prague Charles University, Prague Charles University, Prague Professor of Mathematics, Charles Univers · Diskrete Mathematik: Eine Entdeckungsreise - Springer-lehrbuch (Paperback Book) (2007)

Diskrete Mathematik: Eine Entdec... (2007)

Nesetril, Professor of Mathemati...

Cover for Christine Parent · Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach (Hardcover Book) [2006 edition] (2006)

Conceptual Modeling for Traditio... (2006)

Christine Parent

Cover for Pavel Hruby · Model-Driven Design Using Business Patterns (Hardcover Book) [2006 edition] (2006)

Model-Driven Design Using Busine... (2006)

Cover for Edward Abraham · Mechanisms of Sepsis-Induced Organ Dysfunction and Recovery - Update in Intensive Care and Emergency Medicine (Hardcover Book) [2007 edition] (2006)

Mechanisms of Sepsis-Induced Org... (2006)

Cover for Edward Abraham · Mechanisms of Sepsis-Induced Organ Dysfunction and Recovery - Update in Intensive Care Medicine (Paperback Book) [2007 edition] (2007)

Mechanisms of Sepsis-Induced Org... (2007)

Cover for Hans-Christoph Seherr-Thoss · Universal Joints and Driveshafts: Analysis, Design, Applications (Hardcover Book) [2nd, enlarged ed. 2006 edition] (2006)

2nd, enlarged ed. 2006 edition

Universal Joints and Driveshafts... (2006)

Hans-Christoph Seherr-Thoss

Cover for Roland Schmitz · Kompendium Medieninformatik: Mediennetze (Book) [2006 edition] (2006)

Kompendium Medieninformatik: Med... (2006)

Cover for Rainer Jordan · Surface-Initiated Polymerization I - Advances in Polymer Science (Hardcover Book) [2006 edition] (2006)

Surface-Initiated Polymerization... (2006)

Cover for Andreas Rausch · Das V-modell Xt: Grundlagen, Methodik Und Anwendungen (Book) (2008)

Das V-modell Xt: Grundlagen, Met... (2008)

Cover for R Jordan · Surface-Initiated Polymerization II - Advances in Polymer Science (Hardcover Book) [2006 edition] (2006)

Surface-Initiated Polymerization... (2006)

Cover for Kwong-Tin Tang · Mathematical Methods for Engineers and Scientists 2: Vector Analysis, Ordinary Differential Equations and Laplace Transforms (Hardcover Book) [2007 edition] (2006)

Mathematical Methods for Enginee... (2006)

Cover for H Schoerer · Lasers and Nuclei: Applications of Ultrahigh Intensity Lasers in Nuclear Science - Lecture Notes in Physics (Hardcover Book) [2006 edition] (2006)

Lasers and Nuclei: Applications ... (2006)

Cover for N Smart · Cryptography and Coding: 10th Ima International Conference, Cirencester, Uk, December 19-21, 2005, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2005)

Cryptography and Coding: 10th Im... (2005)

Cover for Hem Raj Verma · Atomic and Nuclear Analytical Methods: XRF, Moessbauer, XPS, NAA and Ion-Beam Spectroscopic Techniques (Hardcover Book) [2007 edition] (2007)

Atomic and Nuclear Analytical Me... (2007)

Cover for Joachim Stohr · Magnetism: From Fundamentals to Nanoscale Dynamics - Springer Series in Solid-State Sciences (Hardcover Book) [2006 edition] (2006)

Magnetism: From Fundamentals to ... (2006)

Cover for Ita Richardson · Software Process Improvement: 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings - Programming and Software Engineering (Paperback Book) [2005 edition] (2005)

Software Process Improvement: 12... (2005)

Cover for Energy Minimization Methods in Computer Vision and Pattern Recognition: 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)

Energy Minimization Methods in C... (2005)

Cover for GeoSpatial Semantics: First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005, Proceedings - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2005 edition] (2005)

GeoSpatial Semantics: First Inte... (2005)

Cover for Teja Tscharntke · Stability of Tropical Rainforest Margins: Linking Ecological, Economic and Social Constraints of Land Use and Conservation - Environmental Science and Engineering (Hardcover Book) [2007 edition] (2007)

Stability of Tropical Rainforest... (2007)

Teja Tscharntke

Cover for Paul Levi · Autonome Mobile Systeme 2005: 19. Fachgesprach Stuttgart, 8./9. Dezember 2005 (Paperback Book) [2006 edition] (2005)

Autonome Mobile Systeme 2005: 19... (2005)

Cover for Nanotechnology · Nanotechnology: Science and Computation - Natural Computing Series (Hardcover Book) [2006 edition] (2005)

Nanotechnology: Science and Comp... (2005)

Cover for Pierre Emile Cartier · Frontiers in Number Theory, Physics, and Geometry II: On Conformal Field Theories, Discrete Groups and Renormalization (Hardcover Book) [2007 edition] (2006)

Frontiers in Number Theory, Phys... (2006)

Pierre Emile Cartier

Cover for Peter Schneider · Gravitational Lensing: Strong, Weak and Micro: Saas-Fee Advanced Course 33 - Saas-Fee Advanced Course (Hardcover Book) [2006 edition] (2006)

Gravitational Lensing: Strong, W... (2006)

Peter Schneider

Cover for J Mason · Astrophysics Update - Springer-praxis Books (Hardcover Book) (2006)

Astrophysics Update - Springer-p... (2006)

Cover for H. Haken · Molekuelphysik und Quantenchemie (Book) [5 Rev edition] (2006)

Molekuelphysik und Quantenchemie (2006)

Cover for Thomas Huckle · Numerische Methoden: Eine Einfuhrung Fur Informatiker, Naturwissenschaftler, Ingenieure Und Mathematiker (Paperback Book) [2. Aufl. edition] (2006)

2. Aufl. edition

Numerische Methoden: Eine Einfuh... (2006)

Cover for High Performance Embedded Architectures and Compilers: First International Conference, Hipeac, 2005, Barcelona, Spain, November 17-18, 2005, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2005)

High Performance Embedded Archit... (2005)

Cover for G Alonso · Middleware 2005: Acm / Ifip/ Usenix 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2005)

Middleware 2005: Acm / Ifip/ Use... (2005)

Cover for S G Amara · Reviews of Physiology, Biochemistry and Pharmacology 154 - Reviews of Physiology, Biochemistry and Pharmacology (Hardcover Book) [2005 edition] (2005)

Reviews of Physiology, Biochemis... (2005)

Cover for Perspectives in Analysis: Essays in Honor of Lennart Carleson's 75th Birthday - Mathematical Physics Studies (Book) [2005 edition] (2006)

Perspectives in Analysis: Essays... (2006)

Cover for Gerhard Bruning · Flugleistungen: Grundlagen, Flugzustande, Flugabschnitte. Aufgaben Und Losungen (Paperback Book) [3 Revised edition] (2006)

3 Revised edition

Flugleistungen: Grundlagen, Flug... (2006)

Gerhard Bruning

Cover for Weidong Kou · Enabling Technologies for Wireless E-Business (Hardcover Book) [2006 edition] (2006)

Enabling Technologies for Wirele... (2006)

Cover for Hellmut G Karge · Characterization: Science and Technology - Molecular Sieves (Hardcover Book) (2007)

Characterization: Science and Te... (2007)

Hellmut G Karge

Cover for Wolfgang Zech · Soils of the World (Hardcover Book) [1st ed. 2022 edition] (2022)

1st ed. 2022 edition

Soils of the World (2022)

Cover for Klaus-dieter Althoff · Professional Knowledge Management: Third Biennial Conference, Wm 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2005)

Professional Knowledge Managemen... (2005)

Klaus-dieter Althoff

Cover for Jin Akiyama · Discrete and Computational Geometry: Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 - Theoretical Computer Science and General Issues (Paperback Book) [2005 edition] (2005)

Discrete and Computational Geome... (2005)

Cover for Stephane Bres · Visual Information and Information Systems: 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Visual Information and Informati... (2006)

Cover for J M Romijn · Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering (Paperback Book) [2005 edition] (2005)

Integrated Formal Methods: 5th I... (2005)

Cover for R Ramanujam · FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2005 edition] (2005)

FSTTCS 2005: Foundations of Soft... (2005)

Cover for M Maybury · Intelligent Technologies for Interactive Entertainment: First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2005 edition] (2005)

Intelligent Technologies for Int... (2005)

Cover for Gerard Subsol · Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2005 edition] (2005)

Virtual Storytelling. Using Virt... (2005)

Cover for Alan Dearle · Component Deployment: Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2005)

Component Deployment: Third Inte... (2005)

Cover for Inken Gadow-Stephani · Der Zugang Zu Nothafen Und Sonstigen Notliegeplatzen Fur Schiffe in Seenot (Paperback Book) [2006 edition] (2006)

Der Zugang Zu Nothafen Und Sonst... (2006)

Inken Gadow-Stephani

Cover for Uwe Sauberlich · Die Auervertragliche Haftung Im Gemeinschaftsrecht: Eine Untersuchung Der Mehrpersonenverhaltnisse - Beitrage zum Auslandischen Offentlichen Recht und Volkerrecht (Hardcover Book) [2005 edition] (2005)

Die Auervertragliche Haftung Im ... (2005)

Cover for Ruediger Mach · Visualisierung Digitaler Gelande- Und Landschaftsdaten (Hardcover Book) [2006 edition] (2006)

Visualisierung Digitaler Gelande... (2006)

Cover for Gunter Dueck · Supramanie: Vom Pflichtmenschen Zum Score-Man (Hardcover Book) [2 Revised edition] (2006)

2 Revised edition

Supramanie: Vom Pflichtmenschen ... (2006)

Cover for Geoff Sutcliffe · Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2005 edition] (2005)

Logic for Programming, Artificia... (2005)

Geoff Sutcliffe

Cover for S Sirmakessis · Adaptive and Personalized Semantic Web - Studies in Computational Intelligence (Hardcover Book) [2006 edition] (2006)

Adaptive and Personalized Semant... (2006)

Cover for Edoardo Sernesi · Deformations of Algebraic Schemes - Grundlehren der mathematischen Wissenschaften (Hardcover Book) [2006 edition] (2006)

Deformations of Algebraic Scheme... (2006)

Edoardo Sernesi

Cover for D E Holmes · Innovations in Machine Learning: Theory and Applications - Studies in Fuzziness and Soft Computing (Hardcover Book) [2006 edition] (2006)

Innovations in Machine Learning:... (2006)

Cover for Vladimir A. Smirnov · Feynman Integral Calculus (Hardcover Book) [2006 edition] (2006)

Feynman Integral Calculus (2006)

Vladimir A. Smirnov

Cover for Karl-friedrich Kraiss · Advanced Man-Machine Interaction: Fundamentals and Implementation - Signals and Communication Technology (Book) [2006 edition] (2006)

Advanced Man-Machine Interaction... (2006)

Karl-friedrich Kraiss

Cover for Rasmus E. Benestad · Solar Activity and Earth's Climate - Environmental Sciences (Hardcover Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

Solar Activity and Earth's Clima... (2006)

Rasmus E. Benestad

Cover for Felix Hausdorff · Gesammelte Werke: Astronomie, Optik und Wahrscheinlichkeitstheorie (Hardcover Book) [1. Aufl. 2006 edition] (2005)

1. Aufl. 2006 edition

Gesammelte Werke: Astronomie, Op... (2005)

Felix Hausdorff

Cover for Lei Zhi Chen · Modelling and Optimization of Biotechnological Processes: Artificial Intelligence Approaches - Studies in Computational Intelligence (Hardcover Book) (2006)

Modelling and Optimization of Bi... (2006)

Cover for Levent Sevgi · Complex Computing-Networks: Brain-like and Wave-oriented Electrodynamic Algorithms - Springer Proceedings in Physics (Hardcover Book) [413rd 2006 edition] (2006)

413rd 2006 edition

Complex Computing-Networks: Brai... (2006)

Cover for Colin Atkinson · Component-based Software Development for Embedded Systems: an Overview of Current Research Trends - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2005)

Component-based Software Develop... (2005)

Cover for T Honjo · Gut-Associated Lymphoid Tissues - Current Topics in Microbiology and Immunology (Hardcover Book) [2006 edition] (2006)

Gut-Associated Lymphoid Tissues ... (2006)

Cover for Ernst Hairer · Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations - Springer Series in Computational Mathematics (Hardcover Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

Geometric Numerical Integration:... (2006)

Cover for Ines Hartel · Handbuch Europaische Rechtsetzung (Book) [2006 edition] (2006)

Handbuch Europaische Rechtsetzung (2006)

Cover for Antarctica: Contributions to Global Earth Sciences (Hardcover Book) [2006 edition] (2006)

Antarctica: Contributions to Glo... (2006)

Cover for Zongmin Ma · Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information - Studies in Fuzziness and Soft Computing (Hardcover Book) [2006 edition] (2006)

Fuzzy Database Modeling of Impre... (2006)

Cover for George W. Ware · Multi-Objective Machine Learning - Studies in Computational Intelligence (Hardcover Book) [2006 edition] (2006)

Multi-Objective Machine Learning... (2006)

Cover for Bimal Roy · Advances in Cryptology - Asiacrypt 2005: 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2005)

Advances in Cryptology - Asiacry... (2005)

Cover for Michael Schafer · Computational Engineering - Introduction to Numerical Methods (Paperback Book) [2006 edition] (2006)

Computational Engineering - Intr... (2006)

Michael Schafer

Cover for Vyacheslov A. Buts · The Theory of Coherent Radiation by Intense Electron Beams - Particle Acceleration and Detection (Hardcover Book) [2006 edition] (2006)

The Theory of Coherent Radiation... (2006)

Vyacheslov A. Buts

Cover for Jiri Matousek · Understanding and Using Linear Programming - Universitext (Paperback Book) [2007 edition] (2006)

Understanding and Using Linear P... (2006)

Cover for Advanced Techniques in Biophysics - Springer Series in Biophysics (Hardcover Book) [2006 edition] (2006)

Advanced Techniques in Biophysic... (2006)

Cover for Bruno Kastler · MRI of Cardiovascular Malformations (Hardcover Book) [2011 edition] (2010)

MRI of Cardiovascular Malformations (2010)

Cover for August-wilhelm Scheer · Corporate Performance Management: ARIS in Practice (Hardcover Book) [2006 edition] (2006)

Corporate Performance Management... (2006)

August-wilhelm Scheer

Cover for Freek Wiedijk · The Seventeen Provers of the World - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2006)

The Seventeen Provers of the Wor... (2006)