Vydavatelia Springer-Verlag Berlin and Heidelberg Gm

Cover for Henrik Schrfe · Conceptual Structures, Inspiration and Application: 14th International Conference on Conceptual Structures, Iccs 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2006)

Conceptual Structures, Inspirati... (2006)

Cover for Michele Bugliesi · Automata, Languages and Programming: 33rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Automata, Languages and Programm... (2006)

Michele Bugliesi

Cover for Michele Bugliesi · Automata, Languages and Programming: 33rd International Colloquium, Icalp 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Automata, Languages and Programm... (2006)

Michele Bugliesi

Cover for Jos Warmer · Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Model-Driven Architecture - Foun... (2006)

Cover for David Bell · Flexible and Efficient Information Handling: 23rd British National Conference on Databases, Bncod 23, Belfast, Northern Ireland, Uk, July 18-20, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2006)

Flexible and Efficient Informati... (2006)

Cover for Sergio Zani · Data Analysis, Classification and the Forward Search: Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6-8, 2005 - Studies in Classification, Data Analysis, and (Paperback Book) [2006 edition] (2006)

Data Analysis, Classification an... (2006)

Cover for Manfred M. Fischer · Innovation, Networks, and Knowledge Spillovers: Selected Essays (Hardcover Book) [2006 edition] (2006)

Innovation, Networks, and Knowle... (2006)

Manfred M. Fischer

Cover for Neuroimmunology of the Skin: Basic Science to Clinical Practice (Hardcover Book) (2008)

Neuroimmunology of the Skin: Bas... (2008)

Cover for Klaus Danzer · Analytical Chemistry: Theoretical and Metrological Fundamentals (Hardcover Book) [2007 edition] (2006)

Analytical Chemistry: Theoretica... (2006)

Cover for Peter Hingley · Forecasting Innovations: Methods for Predicting Numbers of Patent Filings (Hardcover Book) [2006 edition] (2006)

Forecasting Innovations: Methods... (2006)

Cover for Juan Carlos Augusto · Designing Smart Homes: the Role of Artificial Intelligence - Lecture Notes in Computer Science (Paperback Book) (2006)

Designing Smart Homes: the Role ... (2006)

Juan Carlos Augusto

Cover for Mehrschicht-CT: Ein Leitfaden (Hardcover Book) [2008 edition] (2008)

Mehrschicht-CT: Ein Leitfaden (2008)

Cover for Reihaneh Safavi-naini · Digital Rights Management: Technologies Issues Challenges and Systems - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2006)

Digital Rights Management: Techn... (2006)

Reihaneh Safavi-naini

Cover for Matthias Harders · Biomedical Simulation: Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Biomedical Simulation: Third Int... (2006)

Matthias Harders

Cover for Ermanno Bonucci · Biological Calcification: Normal and Pathological Processes in the Early Stages (Hardcover Book) [2007 edition] (2006)

Biological Calcification: Normal... (2006)

Ermanno Bonucci

Cover for Roland Buschkes · Detection of Intrusions and Malware, and Vulnerability Assessment: Third International Conference, Dimva 2006, Berlin, Germany, July 13-14, 2006, Proceedings - Lecture Notes in Computer Science / Security and Cryptology (Paperback Book) (2006)

Detection of Intrusions and Malw... (2006)

Roland Buschkes

Cover for Hari Sundaram · Image and Video Retrieval: 5th Internatinoal Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2006 edition] (2006)

Image and Video Retrieval: 5th I... (2006)

Cover for Computers Helping People with Special Needs: 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings - Information Systems and Applications, incl. Internet / Web, and HCI (Paperback Book) [2006 edition] (2006)

Computers Helping People with Sp... (2006)

Cover for Dietlinde Lau · Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory - Springer Monographs in Mathematics (Hardcover Book) [2006 edition] (2006)

Function Algebras on Finite Sets... (2006)

Cover for The Vascular Endothelium II - Handbook of Experimental Pharmacology (Hardcover Book) [2006 edition] (2006)

The Vascular Endothelium II - Ha... (2006)

Cover for Paul J J Welfens · Digital Economic Dynamics: Innovations, Networks and Regulations (Hardcover Book) [2007 edition] (2006)

Digital Economic Dynamics: Innov... (2006)

Paul J J Welfens

Cover for Francisco J Perales · Articulated Motion and Deformable Objects: 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Articulated Motion and Deformabl... (2006)

Francisco J Perales

Cover for Petra Perner · Advances in Data Mining: Applications in Medicine, Web Mining, Marketing, Image and Signal Mining, 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006, Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2006 edition] (2006)

Advances in Data Mining: Applica... (2006)

Cover for Corrado Priami · Transactions on Computational Systems Biology V - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Transactions on Computational Sy... (2006)

Cover for Sebastian Volz · Microscale and Nanoscale Heat Transfer - Topics in Applied Physics (Hardcover Book) [2007 edition] (2007)

Microscale and Nanoscale Heat Tr... (2007)

Cover for Florian Hess · Algorithmic Number Theory: 7th International Symposium, Ants-vii, Berlin, Germany, July 23-28, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2006)

Algorithmic Number Theory: 7th I... (2006)

Cover for Yasumichi Hasegawa · Realization Theory and Design of Digital Images - Lecture Notes in Control and Information Sciences (Paperback Book) [2006 edition] (2006)

Realization Theory and Design of... (2006)

Yasumichi Hasegawa

Cover for Moritz Diehl · Fast Motions in Biomechanics and Robotics: Optimization and Feedback Control - Lecture Notes in Control and Information Sciences (Paperback Book) [2006 edition] (2006)

Fast Motions in Biomechanics and... (2006)

Cover for Ke Chen · Trends in Neural Computation - Studies in Computational Intelligence (Hardcover Book) (2006)

Trends in Neural Computation - S... (2006)

Cover for High Performance Computing in Science and Engineering ' 06: Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2006 (Hardcover Book) [2007 edition] (2006)

High Performance Computing in Sc... (2006)

Cover for Mahmoud A. Elkhafif · Tissue Engineering II: Basics of Tissue Engineering and Tissue Applications - Advances in Biochemical Engineering / Biotechnology (Hardcover Book) [2007 edition] (2006)

Tissue Engineering II: Basics of... (2006)

Mahmoud A. Elkhafif

Cover for Andrea Braides · Topics on Concentration Phenomena and Problems with Multiple Scales - Lecture Notes of the Unione Matematica Italiana (Paperback Book) [2006 edition] (2006)

Topics on Concentration Phenomen... (2006)

Cover for Perception-based Data Mining and Decision Making in Economics and Finance - Studies in Computational Intelligence (Hardcover Book) (2007)

Perception-based Data Mining and... (2007)

Cover for Andreas Butz · Smart Graphics: 6th International Symposium, Sg 2006, Vancover, Canada, July 23-25, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2006)

Smart Graphics: 6th Internationa... (2006)

Cover for Peters, James F, III · Rough Sets and Knowledge Technology: First International Conference, Rskt 2006, Chongquing, China, July 24-26, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2006)

Rough Sets and Knowledge Technol... (2006)

Peters, James F, III

Cover for Ahmed Kovacevic · Screw Compressors: Three Dimensional Computational Fluid Dynamics and Solid Fluid Interaction (Hardcover Book) (2006)

Screw Compressors: Three Dimensi... (2006)

Ahmed Kovacevic

Cover for Y.F. Al-Obaid · Trauma - An Engineering Analysis: With Medical Case Studies Investigation (Hardcover Book) [2007 edition] (2007)

Trauma - An Engineering Analysis... (2007)

Cover for James H Anderson · Principles of Distributed Systems: 9th International Conference, Opodis 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper - Lecture Notes in Computer Science (Paperback Book) (2006)

Principles of Distributed System... (2006)

James H Anderson

Cover for Harald Schneider · Quantum Well Infrared Photodetectors: Physics and Applications - Springer Series in Optical Sciences (Hardcover Book) [2007 edition] (2006)

Quantum Well Infrared Photodetec... (2006)

Harald Schneider

Cover for M.L. Lopez-Gracia · Left-Right Asymmetry in Vertebrate Development - Advances in Anatomy, Embryology and Cell Biology (Paperback Book) [2007 edition] (2006)

Left-Right Asymmetry in Vertebra... (2006)

M.L. Lopez-Gracia

Cover for Goerg H. Michler · Electron Microscopy of Polymers - Springer Laboratory (Hardcover Book) [2008 edition] (2008)

Electron Microscopy of Polymers ... (2008)

Goerg H. Michler

Cover for Gerd Gudehus · Physical Soil Mechanics - Advances in Geophysical and Environmental Mechanics and Mathematics (Hardcover Book) [2011 edition] (2011)

Physical Soil Mechanics - Advanc... (2011)

Cover for Parsons, Simon, Dr · Argumentation in Multi-Agent Systems: Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Argumentation in Multi-Agent Sys... (2006)

Parsons, Simon, Dr

Cover for Andr Habisch · Handbuch Corporate Citizenship: Corporate Social Responsibility Fur Manager (Book) [2008 edition] (2007)

Handbuch Corporate Citizenship: ... (2007)

Cover for Marta Bunge · Singular Coverings of Toposes - Lecture Notes in Mathematics (Paperback Book) (2006)

Singular Coverings of Toposes - ... (2006)

Cover for J.b. Friedlander · Analytic Number Theory: Lectures Given at the C.i.m.e. Summer School Held in Cetraro, Italy, July 11-18, 2002 - Lecture Notes in Mathematics / C.i.m.e. Foundation Subseries (Paperback Book) (2006)

Analytic Number Theory: Lectures... (2006)

J.b. Friedlander

Cover for Stamatis Vassiliadis · Embedded Computer Systems, Architectures, Modeling, and Simulation: 6th International Workshop, Samos 2006, Samos, Greece, July 17-20, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Embedded Computer Systems, Archi... (2006)

Stamatis Vassiliadis

Cover for Dietmar Schomburg · Class 2 Transferases VII: EC 2.5.1.31 - 2.6.1.57 - Springer Handbook of Enzymes (Hardcover Book) [2nd ed. 2007 edition] (2007)

2nd ed. 2007 edition

Class 2 Transferases VII: EC 2.5... (2007)

Dietmar Schomburg

Cover for Class 2 Transferases VIII: EC 2.6.1.58 - 2.7.1.37 - Springer Handbook of Enzymes (Hardcover Book) [2nd ed. 2007 edition] (2007)

2nd ed. 2007 edition

Class 2 Transferases VIII: EC 2.... (2007)

Cover for Christian Schuller · Inelastic Light Scattering of Semiconductor Nanostructures: Fundamentals and Recent Advances - Springer Tracts in Modern Physics (Hardcover Book) [2006 edition] (2006)

Inelastic Light Scattering of Se... (2006)

Christian Schuller

Cover for Nicola Lucchi · Digital Media & Intellectual Property: Management of Rights and Consumer Protection in a Comparative Analysis (Paperback Book) [2006 edition] (2006)

Digital Media & Intellectual Pro... (2006)

Cover for Claudia Steinem · Piezoelectric Sensors - Springer Series on Chemical Sensors and Biosensors (Hardcover Book) [2007 edition] (2007)

Piezoelectric Sensors - Springer... (2007)

Claudia Steinem

Cover for R.F. Streater · Lost Causes in and beyond Physics (Hardcover Book) [2007 edition] (2007)

Lost Causes in and beyond Physics (2007)

Cover for Marco Saraniti · Nonequilibrium Carrier Dynamics in Semiconductors: Proceedings of the 14th International Conference, July 25-29, 2005, Chicago, USA - Springer Proceedings in Physics (Hardcover Book) [2006 edition] (2006)

Nonequilibrium Carrier Dynamics ... (2006)

Cover for Ulf Leser · Data Integration in the Life Sciences: Third International Workshop, Dils 2006, Hinxton, Uk, July 20-22, 2006, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Bioinformatics (Paperback Book) (2006)

Data Integration in the Life Sci... (2006)

Cover for Matt Robshaw · Fast Software Encryption: 13th International Workshop, Fse 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2006)

Fast Software Encryption: 13th I... (2006)

Cover for Margaret a Riley · Bacteriocins: Ecology and Evolution (Hardcover Book) [2007 edition] (2006)

Bacteriocins: Ecology and Evolution (2006)

Margaret a Riley

Cover for Hyo Eom · Optimisation, Econometric and Financial Analysis - Advances in Computational Management Science (Hardcover Book) (2006)

Optimisation, Econometric and Fi... (2006)

Cover for Kompendium Medieninformatik - Medienpraxis (Book) [2007 edition] (2007)

Kompendium Medieninformatik - Me... (2007)

Cover for Franco Milicchio · Distributed Services with OpenAFS: for Enterprise and Education (Hardcover Book) [2007 edition] (2007)

Distributed Services with OpenAF... (2007)

Franco Milicchio

Cover for Sandro Etalle · Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Programming and Software Engineering (Paperback Book) [22nd 2006 edition] (2006)

22nd 2006 edition

Logic Programming: 22nd Internat... (2006)

Cover for Mike Burmester · Secure Mobile Ad-hoc Networks and Sensors: First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Secure Mobile Ad-hoc Networks an... (2006)

Cover for Wolfgang Kaleck · International Prosecution of Human Rights Crimes (Paperback Book) [2007 edition] (2006)

International Prosecution of Hum... (2006)

Wolfgang Kaleck

Cover for William Cartwright · Multimedia Cartography (Hardcover Book) [2nd ed. 2007 edition] (2006)

2nd ed. 2007 edition

Multimedia Cartography (2006)

William Cartwright

Cover for U. Rajendra Acharya · Advances in Cardiac Signal Processing (Hardcover Book) [2007 edition] (2007)

Advances in Cardiac Signal Proce... (2007)

U. Rajendra Acharya

Cover for M Bertolotto · Color Doppler US of the Penis - Diagnostic Imaging (Hardcover Book) [2008 edition] (2007)

Color Doppler US of the Penis - ... (2007)

Cover for Edwin Sha · Embedded and Ubiquitous Computing: International Conference, Euc 2006, Seoul, Korea, August 1-4, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2006)

Embedded and Ubiquitous Computin... (2006)

Cover for Gundela Meyer · Genetic Control of Neuronal Migrations in Human Cortical Development - Advances in Anatomy, Embryology and Cell Biology (Paperback Book) [2007 edition] (2006)

Genetic Control of Neuronal Migr... (2006)

Cover for Dermatological Phototherapy and Photodiagnostic Methods (Hardcover Book) [Second Edition 2009 edition] (2008)

Second Edition 2009 edition

Dermatological Phototherapy and ... (2008)

Cover for Burkard Woerdenweber · Automotive Lighting and Human Vision (Hardcover Book) [2007 edition] (2007)

Automotive Lighting and Human Vi... (2007)

Burkard Woerdenweber

Cover for Zhong-zhi Shi · Agent Computing and Multi-Agent Systems: 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2006 edition] (2006)

Agent Computing and Multi-Agent ... (2006)

Cover for Koen Bertels · Reconfigurable Computing, Architectures and Applications: Second International Workshop, Arc 2006, Delft, the Netherlands, March 1-3, 2006 Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2006)

Reconfigurable Computing, Archit... (2006)

Cover for Gregoire Allaire · Conception optimale de structures - Mathematiques et Applications (Paperback Book) [2007 edition] (2006)

Conception optimale de structure... (2006)

Gregoire Allaire

Cover for Myung-soo Kim · Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2006 edition] (2006)

Geometric Modeling and Processin... (2006)

Cover for Stefano Spaccapietra · Journal on Data Semantics VI - Journal on Data Semantics (Paperback Book) [2006 edition] (2006)

Journal on Data Semantics VI - J... (2006)

Stefano Spaccapietra

Cover for F Acar Savaci · Artificial Intelligence and Neural Networks: 14th Turkish Symposium, Tainn 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2006)

Artificial Intelligence and Neur... (2006)

Cover for Inge Scharrer · 36th Hemophilia Symposium Hamburg 2005: Epidemiology; Hemophilia Therapy - Management of Bleedings and Inhibitors; Orthopedic Treatment in Hemophiliacs; Hemostaseologic Diagnosis; Pediatric Hemostaseology; Free Lectures (Paperback Book) [2007 edition] (2006)

36th Hemophilia Symposium Hambur... (2006)

Cover for Richard P Baum · Therapeutic Nuclear Medicine - Medical Radiology (Hardcover Book) [2014 edition] (2014)

Therapeutic Nuclear Medicine - M... (2014)

Cover for A Guidebook for Riverside Regeneration: Artery - Transforming Riversides for the Future (Hardcover Book) [2006 edition] (2006)

A Guidebook for Riverside Regene... (2006)

Cover for Location Based Services and Telecartography - Lecture Notes in Geoinformation and Cartography (Hardcover Book) (2007)

Location Based Services and Tele... (2007)

Cover for H.-J. Bullinger · Internet Der Dinge: Www.Internet-Der-Dinge.de - VDI-Buch (Hardcover Book) [2007 edition] (2007)

Internet Der Dinge: Www.Internet... (2007)

H.-J. Bullinger

Cover for Robert Joseph Peckham · Digital Terrain Modelling: Development and Applications in a Policy Support Environment - Lecture Notes in Geoinformation and Cartography (Hardcover Book) [2007 edition] (2007)

Digital Terrain Modelling: Devel... (2007)

Robert Joseph Peckham

Cover for Frank S De Boer · Formal Methods for Components and Objects: 4th International Symposium, Fmco 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures - Lecture Notes in Computer Science (Paperback Book) (2006)

Formal Methods for Components an... (2006)

Frank S De Boer

Cover for Eng-chong Pua · Transgenic Crops IV - Biotechnology in Agriculture and Forestry (Hardcover Book) [2007 edition] (2007)

Transgenic Crops IV - Biotechnol... (2007)

Cover for M Larhed · Microwave Methods in Organic Synthesis - Topics in Current Chemistry (Hardcover Book) [2006 edition] (2006)

Microwave Methods in Organic Syn... (2006)

Cover for Glycopeptides and Glycoproteins: Synthesis, Structure, and Application - Topics in Current Chemistry (Hardcover Book) [2007 edition] (2007)

Glycopeptides and Glycoproteins:... (2007)

Cover for \lo Mander · Multifunctional Land Use: Meeting Future Demands for Landscape Goods and Services (Hardcover Book) [2007 edition] (2007)

Multifunctional Land Use: Meetin... (2007)

Cover for A. Nunez · Corticofugal Modulation of Sensory Information - Advances in Anatomy, Embryology and Cell Biology (Paperback Book) [2007 edition] (2006)

Corticofugal Modulation of Senso... (2006)

Cover for Oded Galor · Discrete Dynamical Systems (Hardcover Book) (2006)

Discrete Dynamical Systems (2006)

Cover for Emilio Bombardieri · Breast Cancer: Nuclear Medicine in Diagnosis and Therapeutic Options (Hardcover Book) (2007)

Breast Cancer: Nuclear Medicine ... (2007)

Emilio Bombardieri

Cover for Daniel Coronado · Economic Impact of the Container Traffic at the Port of Algeciras Bay (Hardcover Book) [2006 edition] (2006)

Economic Impact of the Container... (2006)

Daniel Coronado

Cover for SSP 2004: Proceedings of the 8th International Conference on Solid State Physics, SSP 2004, Workshop "Moessbauer Spectroscopy of Lacally Heterogeneous Systems", held in Almaty, Kazakhstan, 23-26 August, 2004 (Hardcover Book) [2006 edition] (2006)

SSP 2004: Proceedings of the 8th... (2006)

Cover for Ernesto Damiani · Data and Applications Security: 20th Annual Ifip Wg 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-august 2, 2006, Proceedings - Lecture Notes in Computer Science / Information Systems and Applications, Incl. (Paperback Book) (2006)

Data and Applications Security: ... (2006)

Ernesto Damiani

Cover for Uwe Krey · Basic Theoretical Physics: A Concise Overview (Hardcover Book) [2007 edition] (2007)

Basic Theoretical Physics: A Con... (2007)

Cover for Vivian W W Yam · Photofunctional Transition Metal Complexes - Structure and Bonding (Hardcover Book) [2007 edition] (2007)

Photofunctional Transition Metal... (2007)

Cover for J Rg Kohlas · Dependable Systems, Software, Computing, Networks: Research Results of the Dics Program - Lecture Notes in Computer Science (Paperback Book) (2006)

Dependable Systems, Software, Co... (2006)

Cover for Marc Levine · Algebraic Cobordism - Springer Monographs in Mathematics (Hardcover Book) [2007 edition] (2007)

Algebraic Cobordism - Springer M... (2007)

Cover for Cell Communication in Nervous and Immune System - Results and Problems in Cell Differentiation (Hardcover Book) [2006 edition] (2006)

Cell Communication in Nervous an... (2006)

Cover for Karl Esser · Progress in Botany 68 - Progress in Botany (Hardcover Book) [2007 edition] (2006)

Progress in Botany 68 - Progress... (2006)

Cover for Frank Pfenning · Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)

Term Rewriting and Applications:... (2006)