Publishers Springer-Verlag Berlin and Heidelberg Gm

Cover for H M Becker · Chirurgisches Forum '93 Fur Experimentelle Und Klinische Forschung - Deutsche Gesellschaft Fur Chirurgie / Forumband (Paperback Book) (1993)

Chirurgisches Forum '93 Fur Expe... (1993)

Cover for Martin Baumann · Parallele Datenverarbeitung Mit Dem Transputer - Informatik Aktuell (Paperback Book) (1993)

Parallele Datenverarbeitung Mit ... (1993)

Cover for Jan Reetze · Medienwelten (Paperback Book) [German edition] (1993)

Medienwelten (1993)

Cover for Herbert J Kaufmann · The First 30 Years of the ESPR: The History of Pediatric Radiology in Europe (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)

Softcover reprint of the original 1st ed. 1993 edition

The First 30 Years of the ESPR: ... (1993)

Herbert J Kaufmann

Cover for Luzia Dietsche · Latex Zum Loslegen: Ein Soforthelfer Fur Den Alltag (Paperback Book) [1994 edition] (1994)

Latex Zum Loslegen: Ein Soforthe... (1994)

Cover for Wolfgang Dick · Primare Neugeborenenreanimation (Paperback Book) [2., uberarb. u. erw. Aufl. edition] (1993)

2., uberarb. u. erw. Aufl. edition

Primare Neugeborenenreanimation (1993)

Cover for Anthony Gordon · Advanced Educational Technology in Technology Education - Nato ASI Subseries F: (Hardcover Book) [1993 edition] (1993)

Advanced Educational Technology ... (1993)

Cover for P Hermanek · TNM Supplement 1993: A Commentary on Uniform Use - UICC International Union Against Cancer (Paperback Book) (1993)

TNM Supplement 1993: A Commentar... (1993)

Cover for M Barner · 20 Jahre Verriegelungsnagelung - Eine Standortbestimmung - Hefte Zur Zeitschrift "Der Unfallchirurg" (Paperback Book) (1993)

20 Jahre Verriegelungsnagelung -... (1993)

Cover for Boris K. Vainshtein · Fundamentals of Crystals: Symmetry, and Methods of Structural Crystallography (Hardcover Book) [2nd enlarged ed. 1994. Corr. 2nd printing 1996 edition] (1994)

2nd enlarged ed. 1994. Corr. 2nd printing 1996 edition

Fundamentals of Crystals: Symmet... (1994)

Boris K. Vainshtein

Cover for Bruce R. Roberts · Water Management in Desert Environments: A Comparative Analysis - Lecture Notes in Earth Sciences (Paperback Book) [1993 edition] (1993)

Water Management in Desert Envir... (1993)

Bruce R. Roberts

Cover for W Hartel · Wandel Der Chirurgie in Unserer Zeit: 110 Kongress : Papers and Abstracts (Paperback Book) (1993)

Wandel Der Chirurgie in Unserer ... (1993)

Cover for Ernahrung Chronisch Kranker Kinder Und Jugendlicher (Paperback Book) (1993)

Ernahrung Chronisch Kranker Kind... (1993)

Cover for Horst Montag · Geodesy and Physics of the Earth: Geodetic Contributions to Geodynamics - International Association of Geodesy Symposia (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)

Softcover reprint of the original 1st ed. 1993 edition

Geodesy and Physics of the Earth... (1993)

Cover for John a Wise · Verification and Validation of Complex Systems: Human Factors Issues - Nato Asi Series / Nato Asi Subseries F: (Hardcover Book) (1993)

Verification and Validation of C... (1993)

Cover for Enrica Lemut · Cognitive Models and Intelligent Environments for Learning Programming - Nato ASI Subseries F: (Hardcover Book) [1993 edition] (1993)

Cognitive Models and Intelligent... (1993)

Cover for Florian Matthes · Persistente Objektsysteme (Paperback Book) [German edition] (1993)

Persistente Objektsysteme (1993)

Florian Matthes

Cover for Dietrich Stauffer · From Newton to Mandelbrot: A Primer in Theoretical Physics with Fractals for the Personal Computer (Paperback Book) [2nd, enlarged ed. 1996 edition] (1995)

2nd, enlarged ed. 1996 edition

From Newton to Mandelbrot: A Pri... (1995)

Dietrich Stauffer

Cover for O Braun-falco · Fortschritte Der Praktischen Dermatologie Und Venerologie: Vortrage Der XIII. Fortbildungswoche Der Dermatologischen Klinik Und Poliklinik Der Ludwig-Maximilians-Universitat Munchen in Verbindung Mit Dem Berufsverband Der Deutschen Dermatologen E.V. Vom 2 (Paperback Book) (1993)

Fortschritte Der Praktischen Der... (1993)

Cover for Joern Kruse · Lizenzierung Und Wettbewerb Im Mobilfunk - Schriftenreihe Des Wissenschaftlichen Instituts Fur Kommunik (Paperback Book) [1993 edition] (1993)

Lizenzierung Und Wettbewerb Im M... (1993)

Cover for J W De Bakker · Semantics, Foundations and Applications: Rex Workshop, Beekbergen, the Netherlands, June 1-4, 1992, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Semantics, Foundations and Appli... (1993)

Cover for Reinhard Nagel · Zur Therapie des Prostatakarzinoms (Paperback Book) (1993)

Zur Therapie des Prostatakarzinoms (1993)

Cover for Pavel B Brazdil · Machine Learning: Ecml-93: European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Machine Learning: Ecml-93: Europ... (1993)

Pavel B Brazdil

Cover for Gotthard Schettler · Cellular Metabolism of the Arterial Wall and Central Nervous System: Selected Aspects - Sitzungsber.Heidelberg 93/94 (Paperback Book) (1993)

Cellular Metabolism of the Arter... (1993)

Gotthard Schettler

Cover for Dietrich Stauffer · Theoretische Physik - Springer-Lehrbuch (Paperback Book) [2., verb. u. erw. Aufl. edition] (1993)

2., verb. u. erw. Aufl. edition

Theoretische Physik - Springer-L... (1993)

Dietrich Stauffer

Cover for Ulrich Sendler · 3d-CAD - Hotdoc (Paperback Book) [German edition] (1994)

3d-CAD - Hotdoc (1994)

Cover for Marie-claude Gaudel · Tapsoft '93 Theory and Practice of Software Development: 4th International Joint Conference Caap / Fase, Orsay, France, April 13-17, 1993. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Tapsoft '93 Theory and Practice ... (1993)

Marie-claude Gaudel

Cover for W Domschke · Der Magen: Physiologie, Pathophysiologie Und Klinik (Paperback Book) [1993 edition] (1993)

Der Magen: Physiologie, Pathophy... (1993)

Cover for W Domschke · The Stomach: Physiology, Pathophysiology and Treatment (Paperback Book) (1993)

The Stomach: Physiology, Pathoph... (1993)

Cover for Peter Dawson · Kontrastmittel in der Praxis (Paperback Book) (1993)

Kontrastmittel in der Praxis (1993)

Cover for Donald Dawson · Ecole D'ete De Probabilites De Saint-flour - Lecture Notes in Mathematics (Paperback Book) [English And French, 1993 edition] (1993)

English And French, 1993 edition

Ecole D'ete De Probabilites De S... (1993)

Cover for Jurg Frohlich · Quantum Groups, Quantum Categories and Quantum Field Theory - Lecture Notes in Mathematics (Paperback Book) [1st Ed. 1993. 2nd Printing 1995 edition] (1993)

1st Ed. 1993. 2nd Printing 1995 edition

Quantum Groups, Quantum Categori... (1993)

Cover for Richard S Bird · Mathematics of Program Construction: Second International Conference, Oxford, U.k., June 29-july 3, 1992 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Mathematics of Program Construct... (1993)

Cover for Uwe Goering · Beratungsproblem Kinder und Jugendliche - Neue Allgemeinmedizin (Paperback Book) [German, 1 edition] (1993)

German, 1 edition

Beratungsproblem Kinder und Juge... (1993)

Cover for Michael Schurmann · White Noise on Bialgebras - Lecture Notes in Mathematics (Paperback Book) (1993)

White Noise on Bialgebras - Lect... (1993)

Michael Schurmann

Cover for Hans Jurgen Pesch · Osteologie Aktuell (Paperback Book) (1993)

Osteologie Aktuell (1993)

Hans Jurgen Pesch

Cover for Erneuerbare Energietrager in Deutschland (Paperback Book) (1993)

Erneuerbare Energietrager in Deu... (1993)

Cover for H. Vogel · Probleme Aus Der Physik - Springer-lehrbuch (Paperback Book) [German edition] (1994)

Probleme Aus Der Physik - Spring... (1994)

Cover for Helmut Vogel · Vorkurs Physik: Einstieg Fur Studienanfanger - Springer-lehrbuch (Paperback Book) (1993)

Vorkurs Physik: Einstieg Fur Stu... (1993)

Cover for Wolfgang Pimpl · Struma Maligna (Paperback Book) (1993)

Struma Maligna (1993)

Cover for Jean-Pierre Urbain · Exogeneity in Error Correction Models - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)

Softcover reprint of the original 1st ed. 1993 edition

Exogeneity in Error Correction M... (1993)

Jean-Pierre Urbain

Cover for Karl-werner Hansmann · DGOR / OGOR: Papers of the 21th Annual Meeting of DGOR in Cooperation with OGOR / Vortrage Der 21. Jahrestagung Der DGOR Zusammen Mit OGOR - Operations Research Proceedings (Paperback Book) (1993)

DGOR / OGOR: Papers of the 21th ... (1993)

Karl-werner Hansmann

Cover for P. G. Lankisch · Pankreatitisfibel (Paperback Book) [1. Aufl. 1993. Korr. Nachdruck edition] (1993)

1. Aufl. 1993. Korr. Nachdruck edition

Pankreatitisfibel (1993)

Cover for Michel Caillot · Learning Electricity and Electronics with Advanced Educational Technology - Nato ASI Subseries F: (Hardcover Book) [1993 edition] (1993)

Learning Electricity and Electro... (1993)

Cover for Johannes F. Wossner · Automatische Montage Von O-Ringen - IPA-IAO - Forschung und Praxis (Paperback Book) [German edition] (1993)

Automatische Montage Von O-Ringe... (1993)

Johannes F. Wossner

Cover for Gert Boehme · Fuzzy-Logik: Einfuhrung in Die Algebraischen Und Logischen Grundlagen - Springer-Lehrbuch (Paperback Book) [German edition] (1993)

Fuzzy-Logik: Einfuhrung in Die A... (1993)

Cover for Vinny Cahill · The COMANDOS Distributed Application Platform - Project 2071. COMANDOS (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)

Softcover reprint of the original 1st ed. 1993 edition

The COMANDOS Distributed Applica... (1993)

Cover for James C P Woodcock · FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1993 edition] (1993)

FME '93: Industrial-Strength For... (1993)

James C P Woodcock

Cover for Amnon Barak · The Mosix Distributed Operating System: Load Balancing for Unix - Lecture Notes in Computer Science (Paperback Book) (1993)

The Mosix Distributed Operating ... (1993)

Cover for Elmar Wendler · Zahne (Paperback Book) [German edition] (1993)

Cover for Birgit Mehlhorn · Gesunde Katzen (Paperback Book) [German edition] (1993)

Gesunde Katzen (1993)

Birgit Mehlhorn

Cover for Angela Meder · Gorillas (Paperback Book) [German edition] (1993)

Gorillas (1993)

Cover for Hans J Ohlbach · Gwai-92 Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Gwai-92 Advances in Artificial I... (1993)

Cover for Wolfgang Gewalt · Wale Und Delphine (Paperback Book) [German edition] (1993)

Wale Und Delphine (1993)

Wolfgang Gewalt

Cover for Ernst Hairer · Solving Ordinary Differential Equations I: Nonstiff Problems - Springer Series in Computational Mathematics (Hardcover Book) [2nd Corrected ed. 1993, Corr. 4th printing 2008 edition] (1993)

2nd Corrected ed. 1993, Corr. 4th printing 2008 edition

Solving Ordinary Differential Eq... (1993)

Cover for John W. Morgan · Differential Topology of Complex Surfaces: Elliptic Surfaces with Pg=1 - Smooth Classification - Lecture Notes in Mathematics (Paperback Book) (1993)

Differential Topology of Complex... (1993)

Cover for Miklos Bodanszky · Peptide Chemistry: A Practical Textbook (Paperback Book) [Softcover reprint of the original 2nd ed. 1993 edition] (1993)

Softcover reprint of the original 2nd ed. 1993 edition

Peptide Chemistry: A Practical T... (1993)

Miklos Bodanszky

Cover for Charles M Reigeluth · Comprehensive Systems Design: A New Educational Technology: Proceedings of the NATO Advanced Research Workshop on Comprehensive Systems Design: A New Educational Technology, held in Pacific Grove, California, December 2-7, 1990 - Nato ASI Subseries F: (Hardcover Book) [1993 edition] (1993)

Comprehensive Systems Design: A ... (1993)

Charles M Reigeluth

Cover for Jin Yoshimura · Adaptation in Stochastic Environments - Lecture Notes in Biomathematics (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1993 edition] (1993)

Softcover Reprint of the Original 1st Ed. 1993 edition

Adaptation in Stochastic Environ... (1993)

Cover for Jaap A. Kaandorp · Fractal Modelling: Growth and Form in Biology (Hardcover Book) [1994 edition] (1994)

Fractal Modelling: Growth and Fo... (1994)

Jaap A. Kaandorp

Cover for Gerard Cohen · Applied Algebra, Algebraic Algorithms and Error-correcting Codes: 10th International Symposium, Aaecc-10, San Juan De Puerto Rico, Puerto Rico, May 10-14, 1993. Proceedings (International Symposium, Aaecc-10, San Juan De Puerto Rico, Puerto Rico, May 10-1 (Paperback Book) (1993)

Applied Algebra, Algebraic Algor... (1993)

Cover for Grzegorz Rozenberg · Advances in Petri Nets: 12th International Conference on Applications and Theory of Petri Nets : Selected Papers - Lecture Notes in Computer Science (Paperback Book) (1993)

Advances in Petri Nets: 12th Int... (1993)

Grzegorz Rozenberg

Cover for Heinz Gotze · Der Springer-Verlag: Stationen Seiner Geschichte Teil 2: 1945 – 1992 (Hardcover Book) [1994 edition] (1994)

Der Springer-Verlag: Stationen S... (1994)

Cover for Christian Weddigen · Elektronik - Springer-lehrbuch (Paperback Book) [2., Neu Bearb. U. Erw. Aufl. edition] (1993)

2., Neu Bearb. U. Erw. Aufl. edition

Elektronik - Springer-lehrbuch (1993)

Christian Weddigen

Cover for Anne Mulkers · Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science (Paperback Book) (1993)

Live Data Structures in Logic Pr... (1993)

Cover for Winifred G Nayler · Amlodipin (Paperback Book) [1993 edition] (1993)

Amlodipin (1993)

Winifred G Nayler

Cover for Winifred G. Nayler · Amlodipine (Paperback Book) [1993 edition] (1993)

Amlodipine (1993)

Winifred G. Nayler

Cover for Jack D Hardcastle · Colorectal Cancer: Textbook for General Practitioners - European Commission Series for General Practitioners (Paperback Book) (1993)

Colorectal Cancer: Textbook for ... (1993)

Jack D Hardcastle

Cover for Franco Gori · Nonlinear Dynamics in Economics and Social Sciences: Proceedings of the Second Informal Workshop, Held at the Certosa di Pontignano, Siena, Italy, May 27-30, 1991 - Lecture Notes in Economics and Mathematical Systems (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)

Softcover reprint of the original 1st ed. 1993 edition

Nonlinear Dynamics in Economics ... (1993)

Cover for Friedrich W Hehl · Reduce: Ein Kompaktkurs UEber Die Anwendung Von Computer-Algebra (Paperback Book) [2nd 2., Unverand. Aufl. edition] (1993)

2nd 2., Unverand. Aufl. edition

Reduce: Ein Kompaktkurs UEber Di... (1993)

Friedrich W Hehl

Cover for Hermann Bauer · Baubetrieb 1: Einfuhrung, Rahmenbedingungen, Bauverfahren - Springer-Lehrbuch (Paperback Book) [2nd 2., Neubearb. Aufl. edition] (1994)

2nd 2., Neubearb. Aufl. edition

Baubetrieb 1: Einfuhrung, Rahmen... (1994)

Cover for O P Hornstein · Neue Entwicklungen in Der Dermatologie (Paperback Book) (1993)

Neue Entwicklungen in Der Dermat... (1993)

Cover for Brigitte Denis · Control Technology in Elementary Education - Nato ASI Subseries F: (Hardcover Book) [1993 edition] (1993)

Control Technology in Elementary... (1993)

Cover for Berthold Noll · Numerische Stromungsmechanik - Springer-Lehrbuch (Paperback Book) [German, 1 edition] (1993)

German, 1 edition

Numerische Stromungsmechanik - S... (1993)

Cover for Thomas H. Reiss · Recognizing Planar Objects Using Invariant Image Features - Lecture Notes in Computer Science (Paperback Book) [1993 edition] (1993)

Recognizing Planar Objects Using... (1993)

Thomas H. Reiss

Cover for Robert R. Phelps · Convex Functions, Monotone Operators and Differentiability - Lecture Notes in Mathematics (Paperback Book) [2nd ed. 1993 edition] (1993)

2nd ed. 1993 edition

Convex Functions, Monotone Opera... (1993)

Robert R. Phelps

Cover for Gunther Hierholzer · Berufsbedingte Wirbelsaulenschaden Unfallbegriff Und Kausalitat. Die Thrombose (Paperback Book) (1993)

Berufsbedingte Wirbelsaulenschad... (1993)

Gunther Hierholzer

Cover for C Hasslacher · Diabetes Und Angiopathie: 10. Heidelberger Symposium UEber Neue Entwicklungen in Der Hamostaseologie Eine Boehringer-Mannheim-Veranstaltung Heidelberg, 26./27. Juni 1992 (Paperback Book) (1993)

Diabetes Und Angiopathie: 10. He... (1993)

Cover for Owen P. Ward · Bioreaktionen - Biotechnologie (Paperback Book) [German edition] (1993)

Bioreaktionen - Biotechnologie (1993)

Cover for Habib Abdulrab · Word Equations and Related Topics: Second International Workshop, Iwwert '91, Rouen, France, October 7-9, 1991. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Word Equations and Related Topic... (1993)

Cover for Friedhelm Meyer Auf Der Heide · Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Parallel Architectures and Their... (1993)

Friedhelm Meyer Auf Der Heide

Cover for C. Fermuller · Resolution Methods for the Decision Problem - Lecture Notes in Computer Science (Paperback Book) (1993)

Resolution Methods for the Decis... (1993)

Cover for Berthold Hoffmann · Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science (Paperback Book) [Annotated edition] (1993)

Annotated edition

Program Development by Specifica... (1993)

Berthold Hoffmann

Cover for Heinrich Wansing · The Logic of Information Structures - Lecture Notes in Computer Science (Paperback Book) (1993)

The Logic of Information Structu... (1993)

Heinrich Wansing

Cover for Bernadette Bouchon-meunier · Ipmu'92 - Advanced Methods in Artificial Intelligence: 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, Palma De Mallorca, Spain, July 6-10, 1992. Proceedings - Lecture Notes in Computer Scie (Paperback Book) (1993)

Ipmu'92 - Advanced Methods in Ar... (1993)

Bernadette Bouchon-meunier

Cover for Gesellschaft F Ur Klassifikation · Information and Classification: Concepts, Methods and Applications Proceedings of the 16th Annual Conference of the "Gesellschaft fur Klassifikation e.V." University of Dortmund, April 1-3, 1992 - Studies in Classification, Data Analysis, and Knowledge Or (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (1993)

Softcover reprint of the original 1st ed. 1993 edition

Information and Classification: ... (1993)

Gesellschaft F Ur Klassifikation

Cover for Assen L. Dontchev · Well-Posed Optimization Problems - Lecture Notes in Mathematics (Paperback Book) [1993 edition] (1993)

Well-Posed Optimization Problems... (1993)

Assen L. Dontchev

Cover for Ivan Kuscer · Mathematik in Physik Und Technik - Springer-lehrbuch (Paperback Book) [German edition] (1993)

Mathematik in Physik Und Technik... (1993)

Cover for J J Duistermaat · Mathematics Past and Present: Fourier Integral Operators (Hardcover Book) (1993)

Mathematics Past and Present: Fo... (1993)

J J Duistermaat

Cover for Ralf H Gahr · Entwicklungen in der Unfallchirurgie (Paperback Book) (1993)

Entwicklungen in der Unfallchiru... (1993)

Cover for Vladimir V Kalashnikov · Stability Problems for Stochastic Models: Proceedings of the International Seminar Held in Suzdal, Russia, Jan.27-feb. 2,1991 - Lecture Notes in Mathematics (Paperback Book) (1993)

Stability Problems for Stochasti... (1993)

Vladimir V Kalashnikov

Cover for Valentine Genon-Catalot · Elements De Statistique Asymptotique - Mathematiques et Applications (Paperback Book) [1993 edition] (1993)

Elements De Statistique Asymptot... (1993)

Valentine Genon-Catalot

Cover for Karl Von Frisch · Aus Dem Leben Der Bienen (Paperback Book) [10 Rev edition] (1993)

Aus Dem Leben Der Bienen (1993)

Karl Von Frisch

Cover for Alberto Apostolico · Combinatorial Pattern Matching: 4th Annual Symposium, Cpm 93, Padova, Italy, June 2-4, 1993. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Combinatorial Pattern Matching: ... (1993)

Alberto Apostolico

Cover for Klaus Hoffmann · Schuld Und Verantwortung: Otto Hahn Konflikte Eines Wissenschaftlers (Hardcover Book) [1993 edition] (1993)

Schuld Und Verantwortung: Otto H... (1993)

Cover for Werner Lauterborn · Koharente Optik (Paperback Book) [German edition] (1993)

Koharente Optik (1993)

Werner Lauterborn

Cover for Reinhold Schttler · Organische Psychosyndrome - Bayer-Zns-Symposium (Paperback Book) (1993)

Organische Psychosyndrome - Baye... (1993)

Reinhold Schttler

Cover for Heinrich C Mayr · Objektorientierte Methoden Fur Informationssysteme - Informatik Aktuell (Paperback Book) (1993)

Objektorientierte Methoden Fur I... (1993)

Heinrich C Mayr

Cover for Colette Rolland · Advanced Information Systems Engineering: 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1993 edition] (1993)

Advanced Information Systems Eng... (1993)

Colette Rolland

Cover for George J Milne · Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme '93, Arles, France, May 24-26, 1993 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Correct Hardware Design and Veri... (1993)