Udgivelser fra Springer-Verlag Berlin and Heidelberg Gm

Inbunden Bok

2006 edition

The Agulhas Current (2006)

Johann R.E. Lutjeharms

Inbunden Bok

2003 edition

European Margin Sediment Dynamic... (2002)

Philipp Weaver

Inbunden Bok

2002 edition

Regional Development in Greece (2002)

N. Konsolas

Cover for Ralf Kusters · Non-standard Inferences in Description Logics: from Foundations and Definitions to Algorithms and Analysis - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

2001 edition

Non-standard Inferences in Descr... (2001)

Ralf Kusters

Inbunden Bok

2003 edition

Ocean Biogeochemistry: The Role ... (2003)

R J R Bruening

Cover for P G Ciarlet · Mathematical Modeling and Numerical Simulation in Continuum Mechanics: Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 - October 3, 2000 Yamaguchi, Japan - Lecture Notes in (Pocketbok) [2002 edition] (2001)

Pocketbok

2002 edition

Mathematical Modeling and Numeri... (2001)

P G Ciarlet

Cover for Bruno Frey · Successful Management by Motivation: Balancing Intrinsic and Extrinsic Incentives - Organization and Management Innovation (Inbunden Bok) [2002 edition] (2001)

Inbunden Bok

2002 edition

Successful Management by Motivat... (2001)

Bruno Frey

Inbunden Bok

2002 edition

Global-Regional Linkages in the ... (2002)

Cover for Gerhard Versteegen · Management-Technologien: Konvergenz Von Knowledge-, Dokumenten-, Workflow- Und Contentmanagement - Xpert.Press (Inbunden Bok) [2002 edition] (2002)

Inbunden Bok

2002 edition

Management-Technologien: Konverg... (2002)

Gerhard Versteegen

Cover for Kerstin Dautenhahn · Cognitive Technology: Instruments of Mind: 4th International Conference, CT 2001 Coventry, UK, August 6-9, 2001 Proceedings - Lecture Notes in Artificial Intelligence (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Cognitive Technology: Instrument... (2001)

Kerstin Dautenhahn

Inbunden Bok

2001 edition

An Advanced Course in Modern Nuc... (2001)

J M Arias

Inbunden Bok

2001 edition

Betriebswirtschaftslehre Fur Che... (2001)

Gunter Festel

Cover for Utz Remlinger · Die Einwirkung Des Gemeinschaftsrechts Auf Die Ruckabwicklung Rechtswidriger Beihilfeverhaltnisse: The Impact of Ec-Law on the Effective Recovery of Illegal State AIDS - Beitrage Zum Auslandischen OEffentlichen Recht Und Voelkerrech (Inbunden Bok) [2001 edition] (2001)

Inbunden Bok

2001 edition

Die Einwirkung Des Gemeinschafts... (2001)

Utz Remlinger

Inbunden Bok

2002 edition

CNS Neuroprotection - Handbook o... (2002)

Frank W Marcoux

Cover for Hubert Hennion · Limit Theorems for Markov Chains and Stochastic Properties of Dynamical Systems by Quasi-compactness - Lecture Notes in Mathematics (Pocketbok) (2001)

Pocketbok

2001 edition

Limit Theorems for Markov Chains... (2001)

Hubert Hennion

Cover for Thomas Kerler · Non-semisimple Topological Quantum Field Theories for 3-manifolds with Corners - Lecture Notes in Mathematics (Pocketbok) (2001)

Pocketbok

2001 edition

Non-semisimple Topological Quant... (2001)

Thomas Kerler

Inbunden Bok

2002 edition

Laser Physics at the Limits (2001)

Hartmut Figger

Cover for T J Barth · Multiscale and Multiresolution Methods: Theory and Applications - Lecture Notes in Computational Science and Engineering (Pocketbok) [Softcover reprint of the original 1st ed. 2002 edition] (2001)

Pocketbok

Softcover reprint of the original 1st ed. 2002 edition

Multiscale and Multiresolution M... (2001)

T J Barth

Cover for E Burke · Practice and Theory of Automated Timetabling III: Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Practice and Theory of Automated... (2001)

E Burke

Cover for C Castelfranchi · Intelligent Agents VII. Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Intelligent Agents VII. Agent Th... (2001)

C Castelfranchi

Cover for J R Sack · Algorithms and Data Structures: 7th International Workshop, Wads 2001, Providence, Ri, Usa, August 8-10, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Algorithms and Data Structures: ... (2001)

J R Sack

Inbunden Bok

2002 edition

National Transport Models: Recen... (2001)

L G Mattsson

Inbunden Bok

2002 edition

Conserving Biodiversity in East ... (2001)

W.D. Newmark

Inbunden Bok

2001 edition

Constitution and Magnetism of Ir... (2001)

Werner Pepperhoff

Cover for S T Yuan · Intelligent Agents: Specification, Modeling, and Application: 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings - Lecture Notes in Artificial Intelligence (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Intelligent Agents: Specificatio... (2001)

S T Yuan

Cover for P.l. Lanzi · Advances in Learning Classifier Systems: Third International Workshop, Iwlcs 2000, Paris, France, September 15-16, 2000 Revised Papers - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Pocketbok) (2001)

Pocketbok

2001 edition

Advances in Learning Classifier ... (2001)

P.l. Lanzi

Inbunden Bok

2002 edition

Epilepsie: Grundlagen Und Therap... (2001)

Gerd Dannhardt

Pocketbok

4th 4., Vollst. Uberarb. U. Erw. Aufl. 2002 edition

Lexikon Diatetische Indikationen (2002)

Fritz Heepe

Cover for Nir Polonsky · Supersymmetry: Structure and Phenomena: Extensions of the Standard Model - Lecture Notes in Physics Monographs (Inbunden Bok) [2001 edition] (2001)

Inbunden Bok

2001 edition

Supersymmetry: Structure and Phe... (2001)

Nir Polonsky

Pocketbok

2nd 2., Aktualisierte U. Erg. Aufl. edition

Zeitgemasse Therapie Der Erektil... (2001)

C G Stief

Cover for Jvrg Link · Customer Relationship Management: Erfolgreiche Kundenbeziehungen Durch Integrierte Informationssysteme (Inbunden Bok) [2001 edition] (2001)

Inbunden Bok

2001 edition

Customer Relationship Management... (2001)

Jvrg Link

Inbunden Bok

2nd 2., Erw. Aufl. 2002 edition

Strategien Erfolgreich Verwirkli... (2001)

Armin Anwander

Cover for Carol Peters · Cross-language Information Retrieval and Evaluation: Workshop of the Cross-language Evaluation Forum, Clef 2000, Lisbon, Portugal, September 21-22, 2000 : Revised Papers - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

2001 edition

Cross-language Information Retri... (2001)

Carol Peters

Inbunden Bok

2002 edition

Multimedia Tools for Communicati... (2002)

J Borwein

Inbunden Bok

2002 edition

Foundations of Genetic Programming (2002)

William B. Langdon

Inbunden Bok

1:a utgåva

Single Molecule Spectroscopy: No... (2001)

Inbunden Bok

Shape Interrogation for Computer... (2002)

Nicholas M. Patrikalakis

Pocketbok

Advances in Cryptology - Crypto ... (2001)

J Kilian

Inbunden Bok

2001 edition

Online Optimization of Large Sca... (2001)

M Grotschel

Cover for S Pierre · Mobile Agents for Telecommunication Applications: Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Mobile Agents for Telecommunicat... (2001)

S Pierre

Inbunden Bok

2008 edition

Radiology of the Stomach and Duo... (2007)

A H Freeman

Cover for S Benferhat · Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Symbolic and Quantitative Approa... (2001)

S Benferhat

Pocketbok

2002 edition

Entscheidungstheorie: Klassische... (2001)

Heinrich J Rommelfanger

Cover for J Von Braun · Villages in the Future: Crops, Jobs and Livelihood - Global Dialogue Expo 2000 (Bok) (2001)

Bok

Villages in the Future: Crops, J... (2001)

J Von Braun

Cover for A J Banday · Mining the Sky: Proceedings of the Mpa / Eso / Mpe Workshop Held at Garching, Germany, July 31 - August 4, 2000 - Eso Astrophysics Symposia (Inbunden Bok) (2001)

Inbunden Bok

Mining the Sky: Proceedings of t... (2001)

A J Banday

Cover for M G Sideris · Gravity, Geoid and Geodynamics 2000: GGG2000 IAG International Symposium Banff, Alberta, Canada July 31 - August 4, 2000 - International Association of Geodesy Symposia (Inbunden Bok) [2002 edition] (2001)

Inbunden Bok

2002 edition

Gravity, Geoid and Geodynamics 2... (2001)

M G Sideris

Cover for M Goemans · Approximation, Randomization and Combinatorial Optimization - Algorithms and Techniques: 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, Approx 2001 and 5th International Workshop on Randomization and Appro (Pocketbok) (2001)

Pocketbok

Approximation, Randomization and... (2001)

M Goemans

Cover for Gerhard Wolf · Kriminalitat Im Grenzgebiet: Das Neue Polnische Strafgesetzbuch (Kodeks Karny) - Schriftenreihe Der Juristischen Fakultat Der Europa-Universi (Pocketbok) [2002 edition] (2002)

Pocketbok

2002 edition

Kriminalitat Im Grenzgebiet: Das... (2002)

Gerhard Wolf

Pocketbok

2002 edition

Kriminalitat Im Grenzgebiet: Str... (2002)

Gerhard Wolf

Inbunden Bok

3rd edition

Multimediales Lernen Im Netz: Le... (2002)

Beate Bruns

Cover for E Brinksma · Lectures on Formal Methods and Performance Analysis: First Eef / Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures (First Eef Summer School on Trends in Computer Science Berg en Dal, the Nether (Pocketbok) (2001)

Pocketbok

Lectures on Formal Methods and P... (2001)

E Brinksma

Inbunden Bok

2002 edition

Das Recht Des Architekten: Vertr... (2002)

Jurgen Seul

Cover for Frank Pfluger · Krankenhaushaftung Und Organisationsverschulden: Zivilrechtliche Grundlagen Der Haftung Des Krankenhaustragers Fur Medizinische Und Organisatorische Fehlleistungen - MedR Schriftenreihe Medizinrecht (Inbunden Bok) [2002 edition] (2001)

Inbunden Bok

2002 edition

Krankenhaushaftung Und Organisat... (2001)

Frank Pfluger

Cover for R Freivalds · Fundamentals of Computation Theory: 13th International Symposium, Fct 2001, Riga, Latvia, August 22-24, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Fundamentals of Computation Theo... (2001)

R Freivalds

Cover for J H Silverman · Cryptography and Lattices: International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Cryptography and Lattices: Inter... (2001)

J H Silverman

Pocketbok

2001 edition

Machine Learning and Its Applica... (2001)

G Paliouras

Cover for S Yu · Implementation and Application of Automata: 5th International Conference, Ciaa 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Implementation and Application o... (2001)

S Yu

Cover for F Meyer Auf Der Heide · Algorithms - Esa 2001: 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Algorithms - Esa 2001: 9th Annua... (2001)

F Meyer Auf Der Heide

Cover for J Wang · Computing and Combinatorics: 7th Annual International Conference, Cocoon 2001, Guilin, China, August 20-23, 2001, Proceedings (7th Annual International Conference, Cocoon 2001, Guilin, China, August 20-23, 2001 Proceedings) - Lecture Notes in Computer Sci (Pocketbok) (2001)

Pocketbok

Computing and Combinatorics: 7th... (2001)

J Wang

Cover for R Sakellariou · Euro-par 2001 Parallel Processing: 7th International Euro-par Conference Manchester, UK August 28-31, 2001 Proceedings (7th International Euro-par Conference, Manchester, Uk, August 28-31, 2001 Proceedings) - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Euro-par 2001 Parallel Processin... (2001)

R Sakellariou

Cover for J Sgall · Mathematical Foundations of Computer Science 2001: 26th International Symposium, Mfcs 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Mathematical Foundations of Comp... (2001)

J Sgall

Cover for K G Larsen · CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

CONCUR 2001 - Concurrency Theory... (2001)

K G Larsen

Cover for M. Matlosz · Microreaction Technology: Imret 5 - Proceedings of the Fifth International Conference on Microreaction Technology (Inbunden Bok) (2001)

Inbunden Bok

Microreaction Technology: Imret ... (2001)

M. Matlosz

Cover for G Brebner · Field-programmable Logic and Applications: 11th International Conference, Fpl 2001, Belfast, Northern Ireland, Uk, August 27-29, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Field-programmable Logic and App... (2001)

G Brebner

Cover for G S Brodal · Algorithm Engineering: 5th International Workshop, Wae 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Algorithm Engineering: 5th Inter... (2001)

G S Brodal

Cover for Krisch, Nico (Professor of International Law, Hertie School of Governance, Berlin) · Selbstverteidigung Und Kollektive Sicherheit - Beitrage Zum Auslandischen OEffentlichen Recht Und Voelkerrech (Inbunden Bok) [2001 edition] (2001)

Inbunden Bok

2001 edition

Selbstverteidigung Und Kollektiv... (2001)

Krisch, Nico (Professor of Inter...

Pocketbok

Chronisch Entzundliche Darmerkra... (2001)

Stein, Ja1/4rgen

Cover for Jurgen Rath · Das Subjektive Rechtfertigungselement: Zur Kriminalrechtlichen Relevanz Eines Subjektiven Elements in Der Ebene Des Unrechtsausschlusses -- Auf Der Grundlage Einer Rechtsphilosophie Im Normativen Horizont Des Seins. Eine Rechtsphilosophisch-Kriminalrechtl (Inbunden Bok) [2002 edition] (2002)

Inbunden Bok

2002 edition

Das Subjektive Rechtfertigungsel... (2002)

Jurgen Rath

Cover for S Naher · Algorithm Engineering: 4th International Workshop, Wae 2000 Saarbrucken, Germany, September 5-8, 2000 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Algorithm Engineering: 4th Inter... (2001)

S Naher

Cover for W Skarbek · Computer Analysis of Images and Patterns: 9th International Conference, Caip 2001 Warsaw, Poland, September 5-7, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Computer Analysis of Images and ... (2001)

W Skarbek

Inbunden Bok

2003 edition

Shock Focussing Effect in Medica... (2003)

George Robert Rapp

Inbunden Bok

2002 edition

Air Pollution Modelling and Simu... (2002)

Bruno Sportisse

Cover for Olivier Gascuel · Algorithms in Bioinformatics: First International Workshop, Wabi 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Algorithms in Bioinformatics: Fi... (2001)

Olivier Gascuel

Cover for Electronic Commerce and Web Technologies: Second International Conference, EC-Web 2001 Munich, Germany, September 4-6, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Electronic Commerce and Web Tech... (2001)

Pocketbok

2002 edition

Parallele Numerische Verfahren (2002)

Gotz Alefeld

Cover for A.-P. Arrigo-Werner E. G. Muller · Small Stress Proteins - Progress in Molecular and Subcellular Biology / Marine Molecular Biotechnology (Inbunden Bok) (2002)

Inbunden Bok

Small Stress Proteins - Progress... (2002)

A.-P. Arrigo-Werner E. G. Muller

Cover for C K Koc · Cryptographic Hardware and Embedded Systems Ches 2001: Third International Workshop, Paris, France, May 14-16, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Cryptographic Hardware and Embed... (2001)

C K Koc

Cover for V Malyshkin · Parallel Computing Technologies: 6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings (6th International Conference, Pact 2001, Novosibirsk, Russia, September 3-7, 2001 - Proceedings) - Lecture Notes in Computer Sc (Pocketbok) (2001)

Pocketbok

Parallel Computing Technologies:... (2001)

V Malyshkin

Cover for M a T Figueiredo · Energy Minimization Methods in Computer Vision and Pattern Recognition: Third International Workshop, Emmcvpr 2001, Sophia Antipolis France, September 3-5, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Energy Minimization Methods in C... (2001)

M a T Figueiredo

Cover for C Batini · Cooperative Information Systems: 9th International Conference, Coopis 2001, Trento, Italy, September 5-7, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Cooperative Information Systems:... (2001)

C Batini

Cover for R J Boulton · Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Theorem Proving in Higher Order ... (2001)

R J Boulton

Cover for H C Mayr · Database and Expert Systems Applications: 12th International Conference, Dexa 2001 Munich, Germany, September 3-5, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Database and Expert Systems Appl... (2001)

H C Mayr

Pocketbok

1:a utgåva

Investment, R&D, and Long-Run Gr... (2001)

Dietmar Hornung

Cover for Karin Bergmann · Dealing with consumer uncertainty: Public Relations in the Food Sector - Gesunde Ernahrung Healthy Nutrition (Inbunden Bok) [2002 edition] (2002)

Inbunden Bok

2002 edition

Dealing with consumer uncertaint... (2002)

Karin Bergmann

Cover for D Shepherd · Interactive Distributed Multimedia Systems: 8th International Workshop, Idms 2001, Lancaster, Uk, September 4-7, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Interactive Distributed Multimed... (2001)

D Shepherd

Pocketbok

2002 edition

Peptide Arrays on Membrane Suppo... (2002)

Joachim Koch

Inbunden Bok

2002 edition

Nonarchimedean Functional Analys... (2001)

Peter Schneider

Cover for L De Raedt · Principles of Data Mining and Knowledge Discovery: 5th European Conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Principles of Data Mining and Kn... (2001)

L De Raedt

Pocketbok

Machine Learning Ecml 2001: 12th... (2001)

L De Raedt

Cover for Ingeborg T. Solvberg · Research and Advanced Technology for Digital Libraries: 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001. Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Research and Advanced Technology... (2001)

Ingeborg T. Solvberg

Cover for C Rouveirol · Inductive Logic Programming: 11th International Conference, Ilp 2001, Strasbourg, France, September 9-11, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Inductive Logic Programming: 11t... (2001)

C Rouveirol

Cover for Alena Mudroch · Remediation of Abandoned Surface Coal Mining Sites: A NATO-Project - Environmental Science and Engineering (Inbunden Bok) [2002 edition] (2002)

Inbunden Bok

2002 edition

Remediation of Abandoned Surface... (2002)

Alena Mudroch

Inbunden Bok

2004 edition

Environmental Geochemistry in Tr... (2004)

Luiz D De Lacerda

Cover for T Margaria · Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, September 4-7, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Correct Hardware Design and Veri... (2001)

T Margaria

Cover for Franco Zambonelli · Cooperative Information Agents: 5th International Workshop, Cia 2001, Modena, Italy, September 6-8, 2001, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Cooperative Information Agents: ... (2001)

Franco Zambonelli

Cover for J Bosch · Generative and Component-Based Software Engineering: Third International Conference, GCSE 2001, Erfurt, Germany, September 9-13, 2001, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Generative and Component-Based S... (2001)

J Bosch

Inbunden Bok

2002 edition

Grenzflachen Und Kolloid-Dispers... (2002)

Hans-Dieter Doerfler

Inbunden Bok

2002 edition

Wireless Internet Access over GS... (2002)

Manfred Taferner

Cover for Yahiko Kambayashi · Data Warehousing and Knowledge Discovery: Third International Conference, DaWaK 2001 Munich, Germany September 5-7, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) [2001 edition] (2001)

Pocketbok

2001 edition

Data Warehousing and Knowledge D... (2001)

Yahiko Kambayashi

Cover for L Fribourg · Computer Science Logic: 15th International Workshop, Csl 2001 - 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001 Proceedings - Lecture Notes in Computer Science (Pocketbok) (2001)

Pocketbok

Computer Science Logic: 15th Int... (2001)

L Fribourg

Utgivare Springer-Verlag Berlin and Heidelberg Gm