出版社 Springer-Verlag Berlin and Heidelberg Gm

Cover for Egmont R Koch · Stochastic Theory and Control: Proceedings of a Workshop held in Lawrence, Kansas - Lecture Notes in Control and Information Sciences (Paperback Book) [2002 edition] (2002)

Stochastic Theory and Control: P... (2002)

Cover for M Fukugita · Cosmological Crossroads: An Advanced Course in Mathematical, Physical and String Cosmology - Lecture Notes in Physics (Hardcover Book) [2002 edition] (2002)

Cosmological Crossroads: An Adva... (2002)

Cover for Richard A. Muller · Ice Ages and Astronomical Causes: Data, spectral analysis and mechanisms - Environmental Sciences (Hardcover Book) [1st ed. 2000. 2nd printing 2002 edition] (2002)

1st ed. 2000. 2nd printing 2002 edition

Ice Ages and Astronomical Causes... (2002)

Richard A. Muller

Cover for Steven D. Cutkosky · Monomialization of Morphisms from 3-folds to Surfaces - Lecture Notes in Mathematics (Paperback Book) (2002)

Monomialization of Morphisms fro... (2002)

Steven D. Cutkosky

Cover for Tim Hendtlass · Developments in Applied Artificial Intelligence: 15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, Iea / Aie 2002, Cairns, Australia, June 17-20, 2002. Proceedings - Lecture Notes in C (Paperback Book) (2002)

Developments in Applied Artifici... (2002)

Cover for Stefaan Caenepeel · Frobenius and Separable Functors for Generalized Module Categories and Nonlinear Equations - Lecture Notes in Mathematics (Paperback Book) (2002)

Frobenius and Separable Functors... (2002)

Stefaan Caenepeel

Cover for J Blieberger · Reliable Software Technologies - Ada-europe 2002: 7th Ada-europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Reliable Software Technologies -... (2002)

Cover for M S Hacid · Foundations of Intelligent Systems: 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2002 edition] (2002)

Foundations of Intelligent Syste... (2002)

Cover for Juha Fagerholm · Applied Parallel Computing Advanced Scientific Computing: 6th International Conference, Para 2002, Espoo, Finland, June 15-18, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Applied Parallel Computing Advan... (2002)

Cover for Javier Esparza · Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Application and Theory of Petri ... (2002)

Cover for H Unger · Innovative Internet Computing Systems: Second International Workshop, IICS 2002, Kuhlungsborn, Germany, June 20-22, 2002, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Innovative Internet Computing Sy... (2002)

Cover for R Valentini · Fluxes of Carbon, Water and Energy of European Forests - Ecological Studies (Hardcover Book) [2003 edition] (2003)

Fluxes of Carbon, Water and Ener... (2003)

Cover for R Wyrzykowski · Parallel Processing and Applied Mathematics: 4th International Conference, Ppam 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2002)

Parallel Processing and Applied ... (2002)

Cover for P L Lanszi · Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001 - Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2002)

Advances in Learning Classifier ... (2002)

Cover for G Heldmaier · Environmental Signal Processing and Adaptation (Hardcover Book) [2003 edition] (2002)

Environmental Signal Processing ... (2002)

Cover for Hans Burchard · Applied Turbulence Modelling in Marine Waters - Lecture Notes in Earth Sciences (Paperback Book) [2002 edition] (2002)

Applied Turbulence Modelling in ... (2002)

Cover for Nikolai Saveliev · Invariants of Homology 3-Spheres - Encyclopaedia of Mathematical Sciences (Hardcover Book) [2002 edition] (2002)

Invariants of Homology 3-Spheres... (2002)

Nikolai Saveliev

Cover for Otto T. Bruhns · Advanced Mechanics of Solids (Hardcover Book) [2003 edition] (2002)

Advanced Mechanics of Solids (2002)

Cover for Xingzhi Zhan · Matrix Inequalities - Lecture Notes in Mathematics (Paperback Book) (2002)

Matrix Inequalities - Lecture No... (2002)

Cover for Yorck Sommerhauser · Yetter-drinfel'd Hopf Algebras over Groups of Prime Order - Lecture Notes in Mathematics (Paperback Book) (2002)

Yetter-drinfel'd Hopf Algebras o... (2002)

Yorck Sommerhauser

Cover for Masataka Fukugita · Physics of Neutrinos: and Application to Astrophysics - Theoretical and Mathematical Physics (Hardcover Book) [2003 edition] (2003)

Physics of Neutrinos: and Applic... (2003)

Masataka Fukugita

Cover for D Richardson · Advances in Spatial Data Handling: 10th International Symposium on Spatial Data Handling (Hardcover Book) [2002 edition] (2002)

Advances in Spatial Data Handlin... (2002)

Cover for Leonid M. Baskin · Ecology of Ungulates: A Handbook of Species in Eastern Europe and Northern and Central Asia (Hardcover Book) [2003 edition] (2003)

Ecology of Ungulates: A Handbook... (2003)

Leonid M. Baskin

Cover for Tetsuo Koshijima · Association Between Lignin and Carbohydrates in Wood and Other Plant Tissues - Springer Series in Wood Science (Hardcover Book) [2003 edition] (2003)

Association Between Lignin and C... (2003)

Tetsuo Koshijima

Cover for A.m. Mannion · Third Generation Communication Systems: Future Developments and Advanced Topics (Hardcover Book) [2004 edition] (2003)

Third Generation Communication S... (2003)

Cover for H W Roesky · Group 13 Chemistry II: Biological Aspects of Aluminum - Structure and Bonding (Hardcover Book) [2002 edition] (2002)

Group 13 Chemistry II: Biologica... (2002)

Cover for Jurgen Jost · Crustacean Experimental Systems in Neurobiology (Hardcover Book) [2002 edition] (2002)

Crustacean Experimental Systems ... (2002)

Cover for W Margaret Lauterborn · Modelling, Analysis and Design of Hybrid Systems - Lecture Notes in Control and Information Sciences (Paperback Book) [2002 edition] (2002)

Modelling, Analysis and Design o... (2002)

W Margaret Lauterborn

Cover for Helmut M Niegemann · Kompendium E-Learning - X.Media.Press (Hardcover Book) [2004 edition] (2003)

Kompendium E-Learning - X.Media.... (2003)

Helmut M Niegemann

Cover for Nikolai L. Vekshin · Photonics of Biopolymers - Biological and Medical Physics, Biomedical Engineering (Hardcover Book) [2nd 2002 edition] (2002)

2nd 2002 edition

Photonics of Biopolymers - Biolo... (2002)

Nikolai L. Vekshin

Cover for August-wilhelm Margaret Scheer · Multiple Classifier Systems: Third International Workshop, MCS 2002, Cagliari, Italy, June 24-26, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Multiple Classifier Systems: Thi... (2002)

August-wilhelm Margaret Scheer

Cover for Marcus a Kriele · Next Generation Information Technologies and Systems: 5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Next Generation Information Tech... (2002)

Marcus a Kriele

Cover for Xavier Rodo · Global Climate: Current Research and Uncertainties in the Climate System (Hardcover Book) [2002 edition] (2002)

Global Climate: Current Research... (2002)

Cover for J Awrejcewicz · Global Change and Regional Impacts: Water Availability and Vulnerability of Ecosystems and Society in the Semiarid Northeast of Brazil (Hardcover Book) [2003 edition] (2002)

Global Change and Regional Impac... (2002)

Cover for Dietmar H Haubfleisch · Biology of Aging - Progress in Molecular and Subcellular Biology (Hardcover Book) [2003 edition] (2002)

Biology of Aging - Progress in M... (2002)

Dietmar H Haubfleisch

Cover for Takeo Harada · Jenseits Des Unentscheidbaren: Sechs Kapitel Zur Frage Nach Dem Wesen Der Zeit in Der Modernen Und Postmodernen Philosophie Japans (Paperback Book) [2002 edition] (2002)

Jenseits Des Unentscheidbaren: S... (2002)

Cover for Nuno J. Mamede · Advances in Natural Language Processing: Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Advances in Natural Language Pro... (2002)

Cover for Philippe Jeanteur · Regulation of Alternative Splicing - Progress in Molecular and Subcellular Biology (Hardcover Book) [2003 edition] (2002)

Regulation of Alternative Splici... (2002)

Philippe Jeanteur

Cover for K Kivinen · Computational Learning Theory: 15th Annual Conference on Computational Learning Theory, Colt 2002, Sydney, Australia, July 8-10, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Computational Learning Theory: 1... (2002)

Cover for H U Vainio · Mechanisms in Carcinogenesis and Cancer Prevention - Handbook of Experimental Pharmacology (Hardcover Book) [2003 edition] (2003)

Mechanisms in Carcinogenesis and... (2003)

Cover for Hans Wiesmeth · Umweltoekonomie: Theorie Und Praxis Im Gleichgewicht - Springer-Lehrbuch (Hardcover Book) [2003 edition] (2002)

Umweltoekonomie: Theorie Und Pra... (2002)

Cover for Voichita Bucur · Nondestructive Characterization and Imaging of Wood - Springer Series in Wood Science (Hardcover Book) [2003 edition] (2003)

Nondestructive Characterization ... (2003)

Cover for Roger Godement · Analyse Mathematique IV (Paperback Book) [2003 edition] (2003)

Analyse Mathematique IV (2003)

Cover for Thomas Hillenkamp · Medizinrechtliche Probleme Der Humangenetik - Veroeffentlichungen Des Instituts Fur Deutsches, Europaisches (Paperback Book) [2002 edition] (2002)

Medizinrechtliche Probleme Der H... (2002)

Thomas Hillenkamp

Cover for Gunther Rothfuss · Content Management Mit XML: Grundlagen Und Anwendungen - Xpert.Press (Hardcover Book) [2nd 2., Uberarb. Aufl. 2003 edition] (2002)

2nd 2., Uberarb. Aufl. 2003 edition

Content Management Mit XML: Grun... (2002)

Gunther Rothfuss

Cover for Dieter D. Genske · Urban Land: Degradation - Investigation - Remediation (Hardcover Book) [2003 edition] (2003)

Urban Land: Degradation - Invest... (2003)

Dieter D. Genske

Cover for Alexander Vasil'ev · Moduli of Families of Curves for Conformal and Quasiconformal Mappings - Lecture Notes in Mathematics (Paperback Book) (2002)

Moduli of Families of Curves for... (2002)

Alexander Vasil'ev

Cover for Ernst V Brandes · Component Deployment: IFIP / ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Component Deployment: IFIP / ACM... (2002)

Ernst V Brandes

Cover for Clyde W Holsapple · Handbook on Knowledge Management 2: Knowledge Directions - International Handbooks on Information Systems (Hardcover Book) [2003 edition] (2002)

Handbook on Knowledge Management... (2002)

Clyde W Holsapple

Cover for Measurements in Musculoskeletal Radiology - Medical Radiology (Hardcover Book) (2019)

Measurements in Musculoskeletal ... (2019)

Cover for Das Unsagbare: Die Arbeit Mit Traumatisierten Im Behandlungszentrum Fur Folteropfer Berlin (Hardcover Book) (2002)

Das Unsagbare: Die Arbeit Mit Tr... (2002)

Cover for Jean Jacod · Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Mathematics of Program Construct... (2002)

Cover for John-jules C Meyer · Intelligent Agents VIII: 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Intelligent Agents VIII: 8th Int... (2002)

John-jules C Meyer

Cover for H Margaret Ibach · Information Security and Privacy: 7th Australian Conference, Acisp 2002 Melbourne, Australia, July 3-5, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Information Security and Privacy... (2002)

H Margaret Ibach

Cover for Masayuki Takeda · Combinatorial Pattern Matching: 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Combinatorial Pattern Matching: ... (2002)

Masayuki Takeda

Cover for W L Mang · Algorithmic Number Theory: 5th International Symposium, Ants-v, Sydney, Australia, July 7-12, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Algorithmic Number Theory: 5th I... (2002)

Cover for Peter Widmayer · Automata, Languages and Programming: 29th International Colloquium, Icalp 2002, Malaga, Spain, July 8-13, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Automata, Languages and Programm... (2002)

Cover for J Calmet · Artificial Intelligence, Automated Reasoning and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Artificial Intelligence, Automat... (2002)

Cover for M Penttonen · Algorithm Theory - Swat 2002: 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Algorithm Theory - Swat 2002: 8t... (2002)

Cover for E Klapp · Apparate- Und Anlagentechnik: Planung, Berechnung, Bau Und Betrieb Stoff- Und Energiewandelnder Systeme Auf Konstruktiver Grundlage - Klassiker Der Technik (Hardcover Book) [1. Aufl. 1980. Nachdruck 2002 edition] (2002)

1. Aufl. 1980. Nachdruck 2002 edition

Apparate- Und Anlagentechnik: Pl... (2002)

Cover for C Clauser · Numerical Simulation of Reactive Flow in Hot Aquifers: SHEMAT and Processing SHEMAT (Book) [2003 edition] (2002)

Numerical Simulation of Reactive... (2002)

Cover for Mitsuru Matsui · Fast Software Encryption: 8th International Workshop, Fse 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2002)

Fast Software Encryption: 8th In... (2002)

Cover for Jean Jacod · Probability Essentials - Universitext (Paperback Book) [2nd ed. 2004 edition] (2002)

2nd ed. 2004 edition

Probability Essentials - Univers... (2002)

Cover for Gotthard Stein · Umwelt Und Technik Im Gleichklang? (Paperback Book) [2003 edition] (2002)

Umwelt Und Technik Im Gleichklang? (2002)

Cover for Total Hip Replacement: Implantation Technique and Local Complications (Hardcover Book) [2003 edition] (2002)

Total Hip Replacement: Implantat... (2002)

Cover for Joachim a Kohler · The Physics of Superconductors: Vol. I. Conventional and High-Tc Superconductors (Paperback Book) [2003 edition] (2002)

The Physics of Superconductors: ... (2002)

Joachim a Kohler

Cover for Scharrer · 32nd Hemophilia Symposium Hamburg 2001 (Paperback Book) [32nd 2003 edition] (2002)

32nd 2003 edition

32nd Hemophilia Symposium Hambur... (2002)

Cover for Malignant Tumors of the Lung: Evidence-based Management (Hardcover Book) (2003)

Malignant Tumors of the Lung: Ev... (2003)

Cover for Pulat K. Khabibullaev · Phase Separation in Soft Matter Physics: Micellar Solutions, Microemulsions, Critical Phenomena - Springer Series in Solid-state Sciences (Hardcover Book) (2003)

Phase Separation in Soft Matter ... (2003)

Pulat K. Khabibullaev

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

Meshfree Methods for Partial Dif... (2002)

Cover for Rudi D Zagst · System Dynamics and Long-Term Behaviour of Railway Vehicles, Track and Subgrade - Lecture Notes in Applied and Computational Mechanics (Hardcover Book) [2003 edition] (2002)

System Dynamics and Long-Term Be... (2002)

Cover for Jacek Blazewicz · Handbook on Data Management in Information Systems - International Handbooks on Information Systems (Hardcover Book) [2003 edition] (2003)

Handbook on Data Management in I... (2003)

Jacek Blazewicz

Cover for Rainer Wirth · Herbivory of Leaf-Cutting Ants: A Case Study on Atta colombica in the Tropical Rainforest of Panama - Ecological Studies (Hardcover Book) [2003 edition] (2002)

Herbivory of Leaf-Cutting Ants: ... (2002)

Cover for T Ichiishi · Markets, Games, and Organizations: Essays in Honor of Roy Radner - Studies in Economic Design (Hardcover Book) [2003 edition] (2002)

Markets, Games, and Organization... (2002)

Cover for T Furukawa · Biological Imaging and Sensing - Biological and Medical Physics, Biomedical Engineering (Hardcover Book) [2004 edition] (2004)

Biological Imaging and Sensing -... (2004)

Cover for John Eakins · Image and Video Retrieval: International Conference, CIVR 2002, London, UK, July 18-19, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Image and Video Retrieval: Inter... (2002)

Cover for Qing-guo J Wang · Nonlinear Photonic Crystals - Springer Series in Photonics (Hardcover Book) [2003 edition] (2002)

Nonlinear Photonic Crystals - Sp... (2002)

Qing-guo J Wang

Cover for Charles P Slichter · Conceptual Structures: Integration and Interfaces: 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2002 edition] (2002)

Conceptual Structures: Integrati... (2002)

Charles P Slichter

Cover for V Selmin · Progress in Computational Flow-Structure Interaction: Results of the Project UNSI, supported by the European Union 1998 - 2000 - Notes on Numerical Fluid Mechanics and Multidisciplinary Design (Hardcover Book) [2003 edition] (2002)

Progress in Computational Flow-S... (2002)

Cover for Valery N Shlyannikov · Computers Helping People with Special Needs: 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Computers Helping People with Sp... (2002)

Valery N Shlyannikov

Cover for Bodo Glaser · Advances in Databases: 19th British National Conference on Databases, Bncod 19, Sheffield, Uk, July 17-19, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Advances in Databases: 19th Brit... (2002)

Cover for Bodo Glaser · Efficiency versus Sustainability in Dynamic Decision Making: Advances in Intertemporal Compromising - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [2002 edition] (2002)

Efficiency versus Sustainability... (2002)

Cover for Sabine Von Schorlemer · Praxishandbuch Uno: Die Vereinten Nationen Im Lichte Globaler Herausforderungen (Hardcover Book) [2003 edition] (2002)

Praxishandbuch Uno: Die Vereinte... (2002)

Sabine Von Schorlemer

Cover for Muthusamy Lakshmanan · Nonlinear Dynamics: Integrability, Chaos and Patterns - Advanced Texts in Physics (Hardcover Book) [2003 edition] (2002)

Nonlinear Dynamics: Integrabilit... (2002)

Muthusamy Lakshmanan

Cover for I S Osad\'ko · Population Viability in Plants: Conservation, Management, and Modeling of Rare Plants - Ecological Studies (Hardcover Book) [2003 edition] (2003)

Population Viability in Plants: ... (2003)

Cover for Rolf Steyer · Wahrscheinlichkeit Und Regression - Springer-Lehrbuch (Hardcover Book) [2003 edition] (2002)

Wahrscheinlichkeit Und Regressio... (2002)

Cover for Rainer P S Noske · RoboCup 2001: Robot Soccer World Cup V - Lecture Notes in Artificial Intelligence (Paperback Book) [2002 edition] (2002)

RoboCup 2001: Robot Soccer World... (2002)

Rainer P S Noske

Cover for Uta Priss · Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Process Algebra and Probabilisti... (2002)

Cover for Monika J.A. Schroeder · Food Quality and Consumer Value: Delivering Food that Satisfies (Hardcover Book) [2003 edition] (2003)

Food Quality and Consumer Value:... (2003)

Monika J.A. Schroeder

Cover for Alberto Pettorossi · Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Logic Based Program Synthesis an... (2002)

Alberto Pettorossi

Cover for Sophie Tison · Rewriting Techniques and Applications: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Rewriting Techniques and Applica... (2002)

Cover for A Signore · Nuclear Medicine in the Management of Inflammatory and Infectious Diseases (Hardcover Book) [2003 edition] (2003)

Nuclear Medicine in the Manageme... (2003)

Cover for Marcus R Schneider · Marketing Engineering: Das Praxis-Handbuch Fur Erfolgreiches It-Marketing (Hardcover Book) [2nd 2003 edition] (2002)

2nd 2003 edition

Marketing Engineering: Das Praxi... (2002)

Marcus R Schneider

Cover for Ocean Margin Systems (Hardcover Book) [2003 edition] (2002)

Ocean Margin Systems (2002)

Cover for Christian Steinberg · Ecology of Humic Substances in Freshwaters: Determinants from Geochemistry to Ecological Niches (Hardcover Book) [2003 edition] (2003)

Ecology of Humic Substances in F... (2003)

Christian Steinberg

Cover for Frank Thissen · Screen Design Manual: Communicating Effectively Through Multimedia - X. Media Publishing (Hardcover Book) (2003)

Screen Design Manual: Communicat... (2003)

Cover for Willem H Mager · Yeast Stress Responses - Topics in Current Genetics (Hardcover Book) [2 Revised edition] (2002)

2 Revised edition

Yeast Stress Responses - Topics ... (2002)

Cover for A C Schrijver · FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

FME 2002: Formal Methods - Getti... (2002)

Cover for Dominik C Weishaupt · Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Automated Reasoning with Analyti... (2002)

Dominik C Weishaupt

Cover for P J Stuckey · Logic Programming: 18th International Conference, Iclp 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Logic Programming: 18th Internat... (2002)