Editores Springer-Verlag Berlin and Heidelberg Gm

Cover for P Pettersson · Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings - Programming and Software Engineering (Paperback Book) [2005 edition] (2005)

Formal Modeling and Analysis of ... (2005)

Cover for P Van Hentenryck · Practical Aspects of Declarative Languages: 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings - Programming and Software Engineering (Paperback Book) [2006 edition] (2005)

Practical Aspects of Declarative... (2005)

P Van Hentenryck

Cover for R Freund · Membrane Computing: 6th International Workshop, Wmc 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Membrane Computing: 6th Internat... (2006)

Cover for Jochen Seemann · Software-Entwurf mit UML 2: Objektorientierte Modellierung mit Beispielen in Java - Xpert.press (Hardcover Book) [2. Aufl. 2006 edition] (2006)

2. Aufl. 2006 edition

Software-Entwurf mit UML 2: Obje... (2006)

Cover for G Bierman · Database Programming Languages: 10th International Symposium, Dbpl 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, and Hci (Paperback Book) (2005)

Database Programming Languages: ... (2005)

Cover for R. Graf · Hip Sonography: Diagnosis and Management of Infant Hip Dysplasia (Paperback Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

Hip Sonography: Diagnosis and Ma... (2006)

Cover for A Pal · Distributed Computing - Iwdc 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2005)

Distributed Computing - Iwdc 200... (2005)

Cover for Moses Lee · Heterocyclic Antitumor Antibiotics - Topics in Heterocyclic Chemistry (Hardcover Book) [2006 edition] (2006)

Heterocyclic Antitumor Antibioti... (2006)

Cover for Der Eycken E Van · Microwave-Assisted Synthesis of Heterocycles - Topics in Heterocyclic Chemistry (Hardcover Book) [2006 edition] (2006)

Microwave-Assisted Synthesis of ... (2006)

Der Eycken E Van

Cover for Raphael Cerf · The Wulff Crystal in Ising and Percolation Models: Ecole D'ete De Probabilites De Saint-flour Xxxiv - 2004 - Lecture Notes in Mathematics / Ecole D'ete De Probabilites De Saint-flour (Paperback Book) (2006)

The Wulff Crystal in Ising and P... (2006)

Cover for Horst Herrlich · The Axiom of Choice - Lecture Notes in Mathematics (Paperback Book) (2006)

The Axiom of Choice - Lecture No... (2006)

Cover for Jim Pitman · Combinatorial Stochastic Processes: Ecole d'Ete de Probabilites de Saint-Flour XXXII - 2002 - Lecture Notes in Mathematics (Paperback Book) [2006 edition] (2006)

Combinatorial Stochastic Process... (2006)

Cover for S Attal · Open Quantum Systems: the Hamilton Approach - Lecture Notes in Mathematics (Paperback Book) (2006)

Open Quantum Systems: the Hamilt... (2006)

Cover for Stiphane Attal · Open Quantum Systems: the Markovian Approach - Lecture Notes in Mathematics (Paperback Book) (2006)

Open Quantum Systems: the Markov... (2006)

Cover for Stiphane Attal · Open Quantum Systems: Recent Developments - Lecture Notes in Mathematics (Paperback Book) (2006)

Open Quantum Systems: Recent Dev... (2006)

Cover for Michel Imery · In Memoriam Paul-andre Meyer: Seminaire De Probabilites - Lecture Notes in Mathematics / Seminaire De Probabilites (Paperback Book) (2006)

In Memoriam Paul-andre Meyer: Se... (2006)

Cover for Dedieu, Jean-pierre (Universite Paul Sabatier) · Points Fixes, Zeros et La Methode De Newton - Mathematiques et Applications (Paperback Book) (2006)

Points Fixes, Zeros et La Method... (2006)

Dedieu, Jean-pierre (Universite ...

Cover for Eric Cances · Methodes Mathematiques En Chimie Quantique: Une Introduction - Mathematiques et Applications (Paperback Book) [2006 edition] (2006)

Methodes Mathematiques En Chimie... (2006)

Cover for Allen H Dutoit · Rationale Management in Software Engineering (Hardcover Book) [2006 edition] (2006)

Rationale Management in Software... (2006)

Cover for Gautam Chakravarty · Distributed Computing and Internet Technology: Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2005 edition] (2005)

Distributed Computing and Intern... (2005)

Gautam Chakravarty

Cover for D Kratsch · Graph-theoretic Concepts in Computer Science: 31st International Workshop, Wg 2005, Metz, France, June 23-25, 2005, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2005)

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

Cover for Stefano Spaccapietra · Journal on Data Semantics - Lecture Notes in Computer Science / Journal on Data Semantics (Paperback Book) (2005)

Journal on Data Semantics - Lect... (2005)

Stefano Spaccapietra

Cover for Jean Cousteix · Analyse Asymptotique et Couche Limite - Mathematiques et Applications (Paperback Book) [French, 2006 edition] (2006)

French, 2006 edition

Analyse Asymptotique et Couche L... (2006)

Cover for Pierre Lopez · Theorie Elementaire et Pratique De La Commande Par Les Regimes Glissants - Mathematiques et Applications (Paperback Book) [French, 2006 edition] (2006)

French, 2006 edition

Theorie Elementaire et Pratique ... (2006)

Cover for Barbara Pernici · Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility (Hardcover Book) [2006 edition] (2006)

Mobile Information Systems: Infr... (2006)

Barbara Pernici

Cover for L Stanghellini · Planetary Nebulae Beyond the Milky Way: Proceedings of the ESO Workshop held at Garching, Germany, 19-21 May, 2004 - ESO Astrophysics Symposia (Hardcover Book) [2006 edition] (2006)

Planetary Nebulae Beyond the Mil... (2006)

Cover for K P Jantke · Federation over the Web: International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers - Lecture Notes in Artificial Intelligence (Paperback Book) [2006 edition] (2006)

Federation over the Web: Interna... (2006)

Cover for Di V Gesu · Fuzzy Logic and Applications: 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers - Lecture Notes in Artificial Intelligence (Paperback Book) [2006 edition] (2006)

Fuzzy Logic and Applications: 5t... (2006)

Cover for J Farre · Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

Implementation and Application o... (2006)

Cover for D Feitelson · Job Scheduling Strategies for Parallel Processing: 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)

Job Scheduling Strategies for Pa... (2005)

Cover for J Asch · Mathematical Physics of Quantum Mechanics: Selected and Refereed Lectures from Qmath9 - Lecture Notes in Physics (Book) (2006)

Mathematical Physics of Quantum ... (2006)

Cover for J Frauendiener · Analytical and Numerical Approaches to Mathematical Relativity - Lecture Notes in Physics (Hardcover Book) [2006 edition] (2006)

Analytical and Numerical Approac... (2006)

Cover for D Pointecheval · Topics in Cryptology -ct-rsa 2006: the Cryptographers' Track at the Rsa Conference 2006, San Jose, Ca, Usa, February 13-17, 2005, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2006)

Topics in Cryptology -ct-rsa 200... (2006)

Cover for Urologie in Deutschland: 100 Jahre Deutsche Gesellschaft Fur Urologie (Book) [2007 edition] (2007)

Urologie in Deutschland: 100 Jah... (2007)

Cover for F Foders · Labor Mobility and the World Economy (Hardcover Book) [2006 edition] (2006)

Labor Mobility and the World Eco... (2006)

Cover for Joachim W Kadereit · Flowering Plants. Eudicots: Asterales - The Families and Genera of Vascular Plants (Hardcover Book) [2007 edition] (2006)

Flowering Plants. Eudicots: Aste... (2006)

Joachim W Kadereit

Cover for Richard H. Groshong · 3-D Structural Geology: A Practical Guide to Quantitative Surface and Subsurface Map Interpretation (Hardcover Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

3-D Structural Geology: A Practi... (2006)

Richard H. Groshong

Cover for Walter Van Assche · Orthogonal Polynomials and Special Functions: Computation and Applications - Lecture Notes in Mathematics (Paperback Book) [New edition] (2006)

Orthogonal Polynomials and Speci... (2006)

Walter Van Assche

Cover for Christoph Bussler · Technologies for E-services: 6th International Workshop, Tes 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers (Revised Selected Papers) - Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet / Web, (Paperback Book) (2006)

Technologies for E-services: 6th... (2006)

Christoph Bussler

Cover for Theodor C.H. Cole · Worterbuch Polymerwissenschaften / Polymer Science Dictionary: Kunststoffe, Harze, Gummi / Plastics, Resins, Rubber, Gums, Deutsch-Englisch / English-German (Hardcover Book) [2006 edition] (2006)

Worterbuch Polymerwissenschaften... (2006)

Theodor C.H. Cole

Cover for Franz Schwabl · Statistische Mechanik (Paperback Book) [3., Aktualisierte Aufl. edition] (2006)

3., Aktualisierte Aufl. edition

Statistische Mechanik (2006)

Cover for D Zhang · Advances in Biometrics: International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2005 edition] (2005)

Advances in Biometrics: Internat... (2005)

Cover for Mingshu Li · Unifying the Software Process Spectrum: International Software Process Workshop, Spw 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2006)

Unifying the Software Process Sp... (2006)

Cover for R Malho · The Pollen Tube: A Cellular and Molecular Perspective - Plant Cell Monographs (Hardcover Book) [2006 edition] (2006)

The Pollen Tube: A Cellular and ... (2006)

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

Reviews of Physiology, Biochemis... (2006)

Cover for Jorge Marx Gomez · Einfuhrung in SAP Business Information Warehouse (Paperback Book) [2006 edition] (2006)

Einfuhrung in SAP Business Infor... (2006)

Jorge Marx Gomez

Cover for Michel E Domsch · Human Resource Management in Consulting Firms (Hardcover Book) [2006 edition] (2006)

Human Resource Management in Con... (2006)

Michel E Domsch

Cover for E a Emerson · Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2005)

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

Cover for Michael Schmidt · Standards and Thresholds for Impact Assessment - Environmental Protection in the European Union (Hardcover Book) [2008 edition] (2008)

Standards and Thresholds for Imp... (2008)

Michael Schmidt

Cover for Florian Alemann · Die Handlungsform Der Interinstitutionellen Vereinbarung: Eine Untersuchung DES Interorganverhaltnisses Der Europaischen Verfassung (Book) [2006 edition] (2006)

Die Handlungsform Der Interinsti... (2006)

Florian Alemann

Cover for Gunter Dueck · Lean Brain Management: Erfolg und Effizienzsteigerung durch Null-Hirn (Hardcover Book) [2006 edition] (2006)

Lean Brain Management: Erfolg un... (2006)

Cover for Mathias Getzlaff · Fundamentals of Magnetism (Hardcover Book) (2007)

Fundamentals of Magnetism (2007)

Mathias Getzlaff

Cover for Peter Csermely · Weak Links: the Universal Key to the Stability of Networks and Complex Systems - Frontiers Collection (Hardcover Book) (2006)

Weak Links: the Universal Key to... (2006)

Cover for Dieter Masak · IT-Alignment: IT-Architektur und Organisation - Xpert.press (Hardcover Book) [2006 edition] (2006)

IT-Alignment: IT-Architektur und... (2006)

Cover for H T Shen · Advanced Web and Network Technologies, and Applications: APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Advanced Web and Network Technol... (2006)

Cover for Jan Schwarzbauer · Organic Contaminants in Riverine and Groundwater Systems: Aspects of the Anthropogenic Contribution (Hardcover Book) [2006 edition] (2006)

Organic Contaminants in Riverine... (2006)

Jan Schwarzbauer

Cover for Werner G. Muller · Collecting Spatial Data: Optimum Design of Experiments for Random Fields (Hardcover Book) [3rd rev. and extended ed. 2007 edition] (2007)

3rd rev. and extended ed. 2007 edition

Collecting Spatial Data: Optimum... (2007)

Werner G. Muller

Cover for Walter Doerfler · DNA Methylation: Development, Genetic Disease and Cancer - Current Topics in Microbiology and Immunology (Hardcover Book) [2006 edition] (2006)

DNA Methylation: Development, Ge... (2006)

Walter Doerfler

Cover for Hartmut Ehrig · Fundamentals of Algebraic Graph Transformation - Monographs in Theoretical Computer Science : an Eatcs Series (Hardcover Book) (2006)

Fundamentals of Algebraic Graph ... (2006)

Cover for Gordon Slade · The Lace Expansion and Its Applications: Ecole D'ete Des Probabilites De Saint-flour Xxxiv - 2004 - Lecture Notes in Mathematics / Ecole D'ete De Probabilites De Saint-flour (Paperback Book) (2006)

The Lace Expansion and Its Appli... (2006)

Cover for W Jiri · Sofsem 2006 - Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science (Paperback Book) (2006)

Sofsem 2006 - Theory and Practic... (2006)

Cover for Andreas Von Deimling · Gliomas - Recent Results in Cancer Research (Hardcover Book) [2009 edition] (2009)

Gliomas - Recent Results in Canc... (2009)

Andreas Von Deimling

Cover for Danielle Alloin · Physics of Active Galactic Nuclei at all Scales - Lecture Notes in Physics (Hardcover Book) [2006 edition] (2006)

Physics of Active Galactic Nucle... (2006)

Danielle Alloin

Cover for Targeted Interference with Signal Transduction Events - Recent Results in Cancer Research (Hardcover Book) [2007 edition] (2007)

Targeted Interference with Signa... (2007)

Cover for Marc Pansu · Handbook of Soil Analysis: Mineralogical, Organic and Inorganic Methods (Hardcover Book) [2006 edition] (2006)

Handbook of Soil Analysis: Miner... (2006)

Cover for J Pierson · Data Management in Grids: First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Data Management in Grids: First ... (2006)

Cover for P Narayanan · Computer Vision - ACCV 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Computer Vision - ACCV 2006: 7th... (2006)

Cover for Managed Ecosystems and CO2: Case Studies, Processes, and Perspectives - Ecological Studies (Hardcover Book) [2006 edition] (2006)

Managed Ecosystems and CO2: Case... (2006)

Cover for P Narayanan · Computer Vision - ACCV 2006: 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Computer Vision - ACCV 2006: 7th... (2006)

Cover for Andrew C Grimsdale · Emissive Materials - Nanomaterials - Advances in Polymer Science (Hardcover Book) [2006 edition] (2006)

Emissive Materials - Nanomateria... (2006)

Andrew C Grimsdale

Cover for A J Ijspeert · Biologically Inspired Approaches to Advanced Information Technology: Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

Biologically Inspired Approaches... (2006)

Cover for David a Atwood · Recent Developments in Mercury Science - Structure and Bonding (Hardcover Book) [2006 edition] (2006)

Recent Developments in Mercury S... (2006)

Cover for M Faundez-zanuy · Nonlinear Analyses and Algorithms for Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2005, Barcelona, Spain, April 19-22, 2005, Revised Selected Papers - Lecture Notes in Artificial Intelligence (Paperback Book) [2005 edition] (2006)

Nonlinear Analyses and Algorithm... (2006)

M Faundez-zanuy

Cover for Wolfgang Van Berk · Hydrogeochemische Stoffflussmodelle: Leitfaden Zur Modellierung Der Beschaffenheitsentwicklung Von Grund- Und Rohwassern (Book) [German, 2006 edition] (2006)

German, 2006 edition

Hydrogeochemische Stoffflussmode... (2006)

Wolfgang Van Berk

Cover for David a Mitchell · Solid-State Fermentation Bioreactors: Fundamentals of Design and Operation (Hardcover Book) [2006 edition] (2006)

Solid-State Fermentation Bioreac... (2006)

David a Mitchell

Cover for Birgit Zinzius · China-Handbuch fur Manager: Kultur, Verhalten und Arbeiten im Reich der Mitte (Hardcover Book) [2007 edition] (2007)

China-Handbuch fur Manager: Kult... (2007)

Cover for Customising Stakeholder Management Strategies: Concepts for Long-term Business Success (Hardcover Book) [2006 edition] (2006)

Customising Stakeholder Manageme... (2006)

Cover for Andreas Gansaeuer · Radicals in Synthesis II: Complex Molecules - Topics in Current Chemistry (Hardcover Book) [2006 edition] (2006)

Radicals in Synthesis II: Comple... (2006)

Andreas Gansaeuer

Cover for Wilfried Liessmann · Historischer Bergbau Im Harz: Ein Kurzfuhrer (Paperback Book) [3., Vollst. Neu Bearb. Aufl. edition] (2010)

3., Vollst. Neu Bearb. Aufl. edition

Historischer Bergbau Im Harz: Ei... (2010)

Wilfried Liessmann

Cover for Andreas Gansaeuer · Radicals in Synthesis I: Methods and Mechanisms - Topics in Current Chemistry (Hardcover Book) [2006 edition] (2006)

Radicals in Synthesis I: Methods... (2006)

Andreas Gansaeuer

Cover for J Boulicaut · Constraint-based Mining and Inductive Databases: European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers (Revised Selected Papers) - Lecture Notes in Computer Science (Paperback Book) (2006)

Constraint-based Mining and Indu... (2006)

Cover for Hoon Hong · Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2006)

Automated Deduction in Geometry:... (2006)

Cover for Hiroo Ukita · Micromechanical Photonics - Microtechnology and MEMS (Hardcover Book) [2006 edition] (2006)

Micromechanical Photonics - Micr... (2006)

Cover for Teisseyre · Earthquake Source Asymmetry, Structural Media and Rotation Effects (Hardcover Book) [2006 edition] (2006)

Earthquake Source Asymmetry, Str... (2006)

Cover for Bringmann · Systems Biology: Applications and Perspectives - Ernst Schering Foundation Symposium Proceedings (Hardcover Book) [2007 edition] (2006)

Systems Biology: Applications an... (2006)

Cover for Kirill Ya Kondratyev · Natural Disasters as Interactive Components of Global-Ecodynamics - Environmental Sciences (Hardcover Book) [2006 edition] (2006)

Natural Disasters as Interactive... (2006)

Kirill Ya Kondratyev

Cover for Stefan Krauter · Solar Electric Power Generation -photovoltaic Energy Systems: Modeling of Optical and Thermal Performance, Electrical Yield, Energy Balance, Effect on Reduction of Greenhouse Gas Emissions (Hardcover Book) (2006)

Solar Electric Power Generation ... (2006)

Cover for Renzo Brun Del Re · Minimally Invasive Breast Biopsies - Recent Results in Cancer Research (Hardcover Book) [2010 edition] (2009)

Minimally Invasive Breast Biopsi... (2009)

Renzo Brun Del Re

Cover for T S H Driessen · Russian Contributions to Game Theory and Equilibrium Theory - Theory and Decision Library C (Hardcover Book) [2006 edition] (2006)

Russian Contributions to Game Th... (2006)

Cover for Stefan Kirn · Multiagent Engineering: Theory and Applications in Enterprises - International Handbooks on Information Systems (Paperback Book) [2006 edition] (2006)

Multiagent Engineering: Theory a... (2006)

Cover for James C. Moore · General Equilibrium and Welfare Economics: An Introduction (Hardcover Book) [2007 edition] (2006)

General Equilibrium and Welfare ... (2006)

Cover for Martin J. Eppler · Managing Information Quality: Increasing the Value of Information in Knowledge-intensive Products and Processes (Hardcover Book) [2nd ed. 2006 edition] (2006)

2nd ed. 2006 edition

Managing Information Quality: In... (2006)

Martin J. Eppler

Cover for Barry B Halliwell · Cigarette Smoke and Oxidative Stress (Hardcover Book) (2006)

Cigarette Smoke and Oxidative St... (2006)

Barry B Halliwell

Cover for Pierre Bremaud · Introduction Aux Probabilites: Modelisation Des Phenomenes Aleatoires (Paperback Book) [2 Rev edition] (2009)

Introduction Aux Probabilites: M... (2009)

Cover for M Fossirier · Applied Algebra, Algebraic Algorithms and Error-correcting Codes: 16th International Symposium, Aaecc-16, Las Vegas, Nv, Usa, February 20-24, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Applied Algebra, Algebraic Algor... (2006)

Cover for P Healy · Graph Drawing: 13th International Symposium, Gd 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Graph Drawing: 13th Internationa... (2006)

Cover for Don Harvey · Journal on Data Semantics - Lecture Notes in Computer Science / Journal on Data Semantics (Paperback Book) (2006)

Journal on Data Semantics - Lect... (2006)

Cover for J Filliatre · Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

Types for Proofs and Programs: I... (2006)

Cover for Michael Kohlhase · Mathematical Knowledge Management: 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Revised Selected Papers) - Lecture Notes in Computer Science (Paperback Book) (2006)

Mathematical Knowledge Managemen... (2006)

Michael Kohlhase

Cover for Morser · Stem Cells in Reproduction and in the Brain - Ernst Schering Foundation Symposium Proceedings (Hardcover Book) [2006 edition] (2006)

Stem Cells in Reproduction and i... (2006)