出版社 Springer-Verlag Berlin and Heidelberg Gm

Cover for Hiroshi Kudo · Ion-Induced Electron Emission from Crystalline Solids - Springer Tracts in Modern Physics (Hardcover Book) [2002 edition] (2001)

Ion-Induced Electron Emission fr... (2001)

Cover for R Haug · Interacting Electrons in Nanostructures - Lecture Notes in Physics (Hardcover Book) (2001)

Interacting Electrons in Nanostr... (2001)

Cover for P Bickel · Environmental External Costs of Transport (Hardcover Book) [2001 edition] (2001)

Environmental External Costs of ... (2001)

Cover for Felix Hausdorff · Felix Hausdorff Gesammelte Werke Band II (Book) [2002 edition] (2002)

Felix Hausdorff Gesammelte Werke... (2002)

Felix Hausdorff

Cover for K Aardal · Integer Programming and Combinatorial Optimization: 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Integer Programming and Combinat... (2001)

Cover for C F Barenghi · Quantized Vortex Dynamics and Superfluid Turbulence - Lecture Notes in Physics (Hardcover Book) [2001 edition] (2001)

Quantized Vortex Dynamics and Su... (2001)

Cover for Monika Huch · Im Einklang Mit Der Erde - Geowissenschaften Und Umwelt (Paperback Book) (2001)

Im Einklang Mit Der Erde - Geowi... (2001)

Cover for Bernd Sturmfels · Computations in Algebraic Geometry with Macaulay 2 - Algorithms and Computation in Mathematics (Hardcover Book) [2002 edition] (2001)

Computations in Algebraic Geomet... (2001)

Bernd Sturmfels

Cover for Computational Science: Iccs 2001 : International Conference, San Francisco, Ca, Usa, May 28-30 2001 - Lecture Notes in Computer Science (Paperback Book) (2001)

Computational Science: Iccs 2001... (2001)

Cover for V N Alexandrov · Computational Science - Iccs 2001: International Conference, San Francisco, Ca, Usa, May 28-30, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Computational Science - Iccs 200... (2001)

Cover for J Mira · Connectionist Models of Neurons, Learning Processes and Artificial Intelligence: 6th International Work-conference on Artificial and Natural Neural Networks, Iwann 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I (6th International Work-conferen (Paperback Book) (2001)

Connectionist Models of Neurons,... (2001)

Cover for G Halasz · Paul Erdos and His Mathematics - Bolyai Society Mathematical Studies (Hardcover Book) (2002)

Paul Erdos and His Mathematics -... (2002)

Cover for J Mira · Bio-inspired Applications of Connectionism: 6th International Work-conference on Artificial and Natural Neural Networks, Iwann 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) (2001)

Bio-inspired Applications of Con... (2001)

Cover for George J. Wakileh · Power Systems Harmonics: Fundamentals, Analysis and Filter Design - Power Systems (Hardcover Book) [2001 edition] (2001)

Power Systems Harmonics: Fundame... (2001)

George J. Wakileh

Cover for M Brunet-india · Detecting and Modelling Regional Climate Change (Hardcover Book) [2001 edition] (2001)

Detecting and Modelling Regional... (2001)

Cover for G]nther Chaloupek · OEkonomie in Theorie Und Praxis: Festschrift Fur Helmut Frisch (Hardcover Book) [2002 edition] (2001)

OEkonomie in Theorie Und Praxis:... (2001)

G]nther Chaloupek

Cover for O Gascuel · Computational Biology: First International Conference on Biology, Informatics, and Mathematics, Jobim 2000 Montpellier, France, May 3-5, 2000 Selected Papers (Selected Papers) - Lecture Notes in Computer Science (Paperback Book) (2001)

Computational Biology: First Int... (2001)

Cover for S Vo · Computer-Aided Scheduling of Public Transport - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [Softcover reprint of the original 1st ed. 2001 edition] (2001)

Softcover reprint of the original 1st ed. 2001 edition

Computer-Aided Scheduling of Pub... (2001)

Cover for R.m. Leahy · Information Processing in Medical Imaging: 17th International Conference, IPMI 2001, Davis, CA, USA, June 18-22, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Information Processing in Medica... (2001)

Cover for J P Majoral · New Aspects in Phosphorus Chemistry I - Topics in Current Chemistry (Hardcover Book) [2002 edition] (2002)

New Aspects in Phosphorus Chemis... (2002)

Cover for W Krause · Contrast Agents I: Magnetic Resonance Imaging - Topics in Current Chemistry (Hardcover Book) [2002 edition] (2002)

Contrast Agents I: Magnetic Reso... (2002)

Cover for M. Takesaki · Theory of Operator Algebras I - Encyclopaedia of Mathematical Sciences (Hardcover Book) [1st ed. 1979. 2nd printing 2001 edition] (2001)

1st ed. 1979. 2nd printing 2001 edition

Theory of Operator Algebras I - ... (2001)

Cover for A C Albertsson · Degradable Aliphatic Polyesters - Advances in Polymer Science (Hardcover Book) [2002 edition] (2001)

Degradable Aliphatic Polyesters ... (2001)

Cover for Karl Schugerl · Tools and Applications of Biochemical Engineering Science - Advances in Biochemical Engineering / Biotechnology (Hardcover Book) [2002 edition] (2002)

Tools and Applications of Bioche... (2002)

Cover for M Moortgat · Logical Aspects of Computational Linguistics: Third International Conference, Lacl'98 Grenoble, France, December 14-16, 1998 Selected Papers - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2001)

Logical Aspects of Computational... (2001)

Cover for J M Colom · Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Applications and Theory of Petri... (2001)

Cover for I. R. Shafarevich · Discourses on Algebra - Universitext (Paperback Book) [Softcover Reprint of the Original 1st Ed. 2003 edition] (2002)

Softcover Reprint of the Original 1st Ed. 2003 edition

Discourses on Algebra - Universi... (2002)

I. R. Shafarevich

Cover for R Gore · Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Automated Reasoning: First Inter... (2001)

Cover for F. Kieling · Freileitungen (Hardcover Book) [5., Vollst. Neu edition] (2001)

5., Vollst. Neu edition

Freileitungen (2001)

Cover for K.F. Mostofi · Histological Typing of Prostate Tumours - WHO. World Health Organization. International Histological Classification of Tumours (Paperback Book) [Second Edition 2002 edition] (2002)

Second Edition 2002 edition

Histological Typing of Prostate ... (2002)

Cover for Geoffrey P. Chapman · The Plant Life of China: Diversity and Distribution (Hardcover Book) [2002 edition] (2002)

The Plant Life of China: Diversi... (2002)

Geoffrey P. Chapman

Cover for Alexander Nareyek · Constraint-based Agents: an Architecture for Constraint-based Modeling and Local-search-based Reasoning for Planning and Scheduling in Open and Dynamic Worlds - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (2001)

Constraint-based Agents: an Arch... (2001)

Alexander Nareyek

Cover for Gustav Gautschi · Piezoelectric Sensorics: Force Strain Pressure Acceleration and Acoustic Emission Sensors Materials and Amplifiers (Hardcover Book) [1st ed. 2002. Corr. 2nd printing 2006 edition] (2002)

1st ed. 2002. Corr. 2nd printing 2006 edition

Piezoelectric Sensorics: Force S... (2002)

Gustav Gautschi

Cover for V Ambriola · Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Software Process Technology: 8th... (2001)

Cover for B J Read · Advances in Databases: 18th British National Conference on Databases, Bncod 18 Chilton, Uk, July 9-11, 2001. Proceedings (18th British National Conference on Databases, Bncod 18 Chilton, Uk, July 9-11, 2001 - Proceedings) - Lecture Notes in Computer Scien (Paperback Book) (2001)

Advances in Databases: 18th Brit... (2001)

Cover for Holger Bonin · Generational Accounting: Theory and Application - Population Economics (Hardcover Book) [2001 edition] (2001)

Generational Accounting: Theory ... (2001)

Cover for Stefano Bianchi · Ultrasound of the Musculoskeletal System - Medical Radiology (Hardcover Book) [2007 edition] (2007)

Ultrasound of the Musculoskeleta... (2007)

Stefano Bianchi

Cover for L Beyer · Geoecology of Antarctic Ice-Free Coastal Landscapes - Ecological Studies (Hardcover Book) [2002 edition] (2002)

Geoecology of Antarctic Ice-Free... (2002)

Cover for A Amir · Combinatorial Pattern Matching: 12th Annual Symposium, Cpm 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings (12th Annual Symposium, Cpm 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Combinatorial Pattern Matching: ... (2001)

Cover for H Balsters · Database Schema Evolution and Meta-modeling: 9th International Workshop on Foundations of Models and Languages for Data and Objects Fomlado / Demm 2000 Dagstuhl Castle, Germany, September 18-21, 2000 Selected Papers (9th International Workshop on Foundati (Paperback Book) (2001)

Database Schema Evolution and Me... (2001)

Cover for P De Groote · Logical Aspects of Computational Linguistics: 4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings (4th International Conference, Lacl 2001, Le Croisic, France, June 27-29, 2001, Proceedings) - Lecture Notes in Comput (Paperback Book) (2001)

Logical Aspects of Computational... (2001)

Cover for T Bohme · Innovative Internet Computing Systems: International Workshop, Iics 2001 Ilmenau, Germany, June 21-22, 2001, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Innovative Internet Computing Sy... (2001)

Cover for P.I. Kattan · Damage Mechanics with Finite Elements: Practical Applications with Computer Tools (Hardcover Book) [2002 edition] (2001)

Damage Mechanics with Finite Ele... (2001)

Cover for M Metzler · Endocrine Disruptors: Part II - Anthropogenic Compounds (Hardcover Book) [2002 edition] (2002)

Endocrine Disruptors: Part II - ... (2002)

Cover for R Reed · SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

SDL 2001: Meeting UML: 10th Inte... (2001)

Cover for S H Oertel · Immunosurveillance, Immunodeficiencies and Lymphoproliferations: Lymphoproliferative Disorders in Congenital and Acquired Immunodeficiencies - Recent Results in Cancer Research (Hardcover Book) [2002 edition] (2001)

Immunosurveillance, Immunodefici... (2001)

Cover for Wei Yang · Mechatronic Reliability: Electric Failures, Mechanical-Electrical Coupling, Domain Switching, Mass-Flow Instabilities (Hardcover Book) [2003 edition] (2003)

Mechatronic Reliability: Electri... (2003)

Cover for J Kittler · Multiple Classifier Systems: Second International Workshop, Mcs 2001, Cambridge, Uk, July 2-4, 2001 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Multiple Classifier Systems: Sec... (2001)

Cover for B Schiele · Computer Vision Systems: Second International Workshop, Icvs 2001 Vancouver, Canada, July 7-8, 2001 Proceedings (Second International Workshop, Icvs 2001 Vancouver, Canada, July 7-8, 2001 Proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Computer Vision Systems: Second ... (2001)

Cover for P.g. Spirakis · Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 Proceedings (28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 Proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Automata, Languages and Programm... (2001)

Cover for Yue-Kuen Kwok · Mathematical Models of Financial Derivatives - Springer Finance (Hardcover Book) [2nd ed. 2008 edition] (2008)

2nd ed. 2008 edition

Mathematical Models of Financial... (2008)

Cover for Nada Lavrac · Relational Data Mining (Hardcover Book) [2001 edition] (2001)

Relational Data Mining (2001)

Cover for Spiral CT of the Abdomen - Diagnostic Imaging (Paperback Book) [1st ed. 2000. 2nd printing edition] (2001)

1st ed. 2000. 2nd printing edition

Spiral CT of the Abdomen - Diagn... (2001)

Cover for B Hertzberger · High-performance Computing and Networking: 9th International Conference, Hpcn Europe 2001, Amsterdam, the Netherlands, June 25-27, 2001, Proceedings (9th International Conference, Hpcn Europe 2001, Amsterdam, the Netherlands, June 25-27, 2001, Proceedings (Paperback Book) (2001)

High-performance Computing and N... (2001)

Cover for S Quaglini · Artificial Intelligence in Medicine: 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 1-4, 2001, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Artificial Intelligence in Medic... (2001)

Cover for Tao Yang · Impulsive Control Theory - Lecture Notes in Control and Information Sciences (Paperback Book) [2001 edition] (2001)

Impulsive Control Theory - Lectu... (2001)

Cover for J.p.marques De Sa · Pattern Recognition: Concepts, Methods and Applications (Book) (2001)

Pattern Recognition: Concepts, M... (2001)

J.p.marques De Sa

Cover for S X Wang · Advances in Web-age Information Management: Second International Conference, Waim 2001, Xi'an, China, July 9-11, 2001. Proceedings (Second International Conference, Waim 2001, Xi'an, China, July 9-11, 2001.proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Advances in Web-age Information ... (2001)

Cover for Heiko Bauke · Cluster Computing (Book) [2006 edition] (2005)

Cluster Computing (2005)

Cover for V Varadharajan · Information Security and Privacy: 6th Australasian Conference, Acisp 2001, Sydney, Australia, July 11-13, 2001. Proceedings (6th Australasian Conference, Acisp 2001, Sydney, Australia, July 11-13, 2001.proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Information Security and Privacy... (2001)

Cover for C S Jensen · Advances in Spatial and Temporal Databases: 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Advances in Spatial and Temporal... (2001)

Cover for P Lorenz · Networking - Icn 2001: First International Conference on Networking Colmar, France, July 9-13, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Networking - Icn 2001: First Int... (2001)

Cover for P Lorenz · Networking: First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Networking: First International ... (2001)

Cover for Karl Esser · Progress in Botany: Genetics. Physiology. Ecology - Progress in Botany (Hardcover Book) [2002 edition] (2001)

Progress in Botany: Genetics. Ph... (2001)

Cover for M. Rordam · Classification of Nuclear C*-Algebras. Entropy in Operator Algebras - Encyclopaedia of Mathematical Sciences (Hardcover Book) [2002 edition] (2001)

Classification of Nuclear C*-Alg... (2001)

Cover for J Akiyama · Discrete and Computational Geometry: Japanese Conference, Jcdcg 2000, Tokyo, Japan, November, 22-25, 2000. Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2001)

Discrete and Computational Geome... (2001)

Cover for Harel, David (The Weizmann Institute of Science) · Das Affenpuzzle Und Weitere Bad News Aus Der Computerwelt: Und Weitere Bad News Aus Der Computerwelt (Hardcover Book) [2002 edition] (2001)

Das Affenpuzzle Und Weitere Bad ... (2001)

Harel, David (The Weizmann Insti...

Cover for Diagnostic Nuclear Medicine - Medical Radiology (Hardcover Book) [2nd, rev. ed. 2006 edition] (2005)

2nd, rev. ed. 2006 edition

Diagnostic Nuclear Medicine - Me... (2005)

Cover for Gonde Dittmer · Rationales Management: Komplexitat Methodisch Meistern (Hardcover Book) [2002 edition] (2001)

Rationales Management: Komplexit... (2001)

Cover for M Luck · Multi-agent-systems and Applications: 9th Eccai Advanced Course, Acai 2001 and Agent Link's 3rd European Agent Systems Summer School, Easss 2001, Prague, Czech Republic, July 2-13, 2001, Selected Tutorial Papers - Lecture Notes in Computer Science (Paperback Book) (2001)

Multi-agent-systems and Applicat... (2001)

Cover for W Kim · The Human Society and the Internet - Internet Related Socio-economic Issues: First International Conference, Human.society@internet 2001, Seoul, Korea, July 4-6 2001 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

The Human Society and the Intern... (2001)

Cover for P Cousot · Static Analysis: 8th International Symposium, Sas 2001, Paris, France, July 16-18, 2001. Proceedings (International Symposium, Sas 2001, Paris, France, July 16-18, 2001 - Proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Static Analysis: 8th Internation... (2001)

Cover for T Wagner · Infrastructure for Agents, Multi-agent Systems, and Scalable Multi-agent Systems: International Workshop on Infrastructure for Scalable Multi-agent Systems, Barcelona, Spain, June 3-7 2000, Revised Papers (International Workshop on Infrastructure for Scal (Paperback Book) (2001)

Infrastructure for Agents, Multi... (2001)

Cover for M Kerckhove · Scale-space and Morphology in Computer Vision: Third International Conference, Scale-space 2001, Vancouver, Canada, July 7-8, 2001 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Scale-space and Morphology in Co... (2001)

Cover for Monika Aly · Mein Kind Im Ersten Lebensjahr: Fruhgeboren, Entwicklungsverzoegert, Behindert? Oder Einfach Anders? Antworten Fur Eltern - Hilfe Zur Selbsthilfe (Hardcover Book) [2nd 2. Aufl. edition] (2002)

2nd 2. Aufl. edition

Mein Kind Im Ersten Lebensjahr: ... (2002)

Cover for Marlys Blaser Csontos · Handlungs-Fahigkeit in Der Ergotherapie - Ergotherapie - Reflexion Und Analyse (Hardcover Book) [2004 edition] (2003)

Handlungs-Fahigkeit in Der Ergot... (2003)

Marlys Blaser Csontos

Cover for Laubach E. · Medizin Im 21. Jahrhundert: Molekulare Medizin, Mikrotherapie Und High-Tech-Operationen (Hardcover Book) [2002 edition] (2001)

Medizin Im 21. Jahrhundert: Mole... (2001)

Cover for Egon Boerger · The Classical Decision Problem - Universitext (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (2001)

Softcover reprint of the original 1st ed. 1997 edition

The Classical Decision Problem -... (2001)

Cover for M Bauer · User Modeling 2001: 8th International Conference, UM 2001, Sonthofen, Germany, July 13-17, 2001. Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2001 edition] (2001)

User Modeling 2001: 8th Internat... (2001)

Cover for Horst Entorf · Crime in Europe: Causes and Consequences (Hardcover Book) [2002 edition] (2002)

Crime in Europe: Causes and Cons... (2002)

Cover for M Hannebauer · Balancing Reactivity and Social Deliberation in Multi-agent Systems: from Robocup to Real-world Applications - Lecture Notes in Computer Science (Paperback Book) (2001)

Balancing Reactivity and Social ... (2001)

Cover for F T Chong · Intelligent Memory Systems: Second International Workshop, Ims 2000, Cambridge, Ma, Usa, November 12, 2000 Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2001)

Intelligent Memory Systems: Seco... (2001)

Cover for B Falsafi · Power-aware Computer Systems: First International Workshop, Pacs 2000 Cambridge, Ma, Usa, November 12, 2000 Revised Papers - Lecture Notes in Computer Science (Paperback Book) (2001)

Power-aware Computer Systems: Fi... (2001)

Cover for Eiichi Hanamura · Quantum Nonlinear Optics (Hardcover Book) [2007 edition] (2007)

Quantum Nonlinear Optics (2007)

Eiichi Hanamura

Cover for Jean-Luc Prigent · Weak Convergence of Financial Markets - Springer Finance (Hardcover Book) [2003 edition] (2003)

Weak Convergence of Financial Ma... (2003)

Jean-Luc Prigent

Cover for Vladimir A. Smirnov · Applied Asymptotic Expansions in Momenta and Masses - Springer Tracts in Modern Physics (Hardcover Book) [2002 edition] (2001)

Applied Asymptotic Expansions in... (2001)

Vladimir A. Smirnov

Cover for N Schopohl · Vortices in Unconventional Superconductors and Superfluids - Springer Series in Solid-State Sciences (Hardcover Book) [2002 edition] (2002)

Vortices in Unconventional Super... (2002)

Cover for Pol Vanhaecke · Integrable Systems in the Realm of Algebraic Geometry - Lecture Notes in Mathematics (Paperback Book) [2nd Ed. 2001 edition] (2001)

2nd Ed. 2001 edition

Integrable Systems in the Realm ... (2001)

Cover for Nicolas Bourbaki · Topological Vector Spaces: Chapters 1-5 - Elements of Mathematics (Paperback Book) [1st Ed. 1987. 2nd Printing 2002 edition] (2002)

1st Ed. 1987. 2nd Printing 2002 edition

Topological Vector Spaces: Chapt... (2002)

Nicolas Bourbaki

Cover for Andrea Back · Lexikon Der Wirtschaftsinformatik (Paperback Book) [4., Vollst. Neu edition] (2001)

4., Vollst. Neu edition

Lexikon Der Wirtschaftsinformatik (2001)

Cover for D Blaschke · Physics of Neutron Star Interiors - Lecture Notes in Physics (Hardcover Book) (2001)

Physics of Neutron Star Interior... (2001)

Cover for D Helmbold · Computational Learning Theory: 14th Annual Conference on Computational Learning Theory, Colt 2001 and 5th European Conference on Computational Learning Theory, Eurocolt 2001, Amsterdam, the Netherlands, July 16-19, 2001, Proceedings - Lecture Notes in Com (Paperback Book) (2001)

Computational Learning Theory: 1... (2001)

Cover for Stephan V. Bechtolsheim · Conceptual Structures - Broadening the Base: 9th International Conference on Conceptual Structures, Iccs 2001, Stanford, Ca, Usa, July 30-august 3, 2001, Proceedings (Broadening the Base - International Conference on Conceptual Structures, Iccs 2001, Stan (Paperback Book) (2001)

Conceptual Structures - Broadeni... (2001)

Stephan V. Bechtolsheim

Cover for G Berry · Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings (13th International Conference, Cav 2001, Paris, France, July 18-22, 2001.proceedings) - Lecture Notes in Computer Science (Paperback Book) (2001)

Computer Aided Verification: 13t... (2001)

Cover for R Eigenmann · Openmp Shared Memory Parallel Programming: International Workshop on Openmp Applications and Tools, Wompat 2001, West Lafayette, In, Usa, July 30-31, 2001 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Openmp Shared Memory Parallel Pr... (2001)

Cover for Andreas Bertsch · Digitale Signaturen (Hardcover Book) [2002 edition] (2001)

Digitale Signaturen (2001)

Andreas Bertsch

Cover for H R a Jones · Ultracool Dwarfs: New Spectral Types L and T (Hardcover Book) [2001 edition] (2001)

Ultracool Dwarfs: New Spectral T... (2001)

Cover for Computer Algebra in Scientific Computing: CASC '01 (Hardcover Book) (2001)

Computer Algebra in Scientific C... (2001)

Cover for S Brewster · Haptic Human-computer Interaction: First International Workshop, Glasgow, Uk, August 31-september 1, 2000, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2001)

Haptic Human-computer Interactio... (2001)

Cover for Hans Daduna · Queueing Networks with Discrete Time Scale: Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks - Lecture Notes in Computer Science (Paperback Book) [2001 edition] (2001)

Queueing Networks with Discrete ... (2001)