Home Advanced Search

Advanced Search - Page 1

Programmverifikation: Sequentielle, parallele und verteilte Programme

PDF
German
Year: 1994
Author: Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

PDF
English
Year: 1982
Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Eigenschaften und Wirkungen der Gibberelline: Symposium der Oberhessischen Gesellschaft für Natur- und Heilkunde, Naturwissenschaftliche Abteilung, zu Gießen vom 1. bis 3. Dezember 1960

PDF
German
Year: 1962
Author: R. Knapp (auth.), Prof. Dr. Rüdiger Knapp (eds.)

Computer Algebra: Symbolic and Algebraic Computation

PDF
English
Year: 1982
Author: Prof. Dr. R. Loos (auth.), Prof. Dr. Bruno Buchberger, Prof. Dr. George Edwin Collins, Prof. Dr. Rüdiger Loos (eds.)

Computer Algebra: Symbolic and Algebraic Computation

PDF
English
Year: 1983
Author: Prof. Dr. R. Loos (auth.), Prof. Dr. Bruno Buchberger, Prof. Dr. George Edwin Collins, Prof. Dr. Rüdiger Loos, Prof. Dr. Rudolf Albrecht (eds.)

Beziehungsmedizin auf dem Monte Verità : 30 Jahre Psychosomatik in Ascona

PDF
German
Year: 1998
Author: Univ.-Prof. Dr. Ernst R. Petzold (auth.), Univ.-Prof. Dr. Ernst R. Petzold, Univ.-Prof. Dr. Walter Pöldinger (eds.)

Intracerebral Hemorrhage Hydrocephalus malresorptivus Peripheral Nerves

PDF
English
Year: 1993
Author: R. Lorenz (auth.), Dr. Dr. h.c. Rüdiger Lorenz, Prof. Dr. Margareta Klinger, Prof. Dr. Dr. h.c. Mario Brock (eds.)

Correct System Design: Recent Insights and Advances

PDF
English
Year: 1999
Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Correct System Design: Recent Insights and Advances

DJVU
English
Year: 1999
Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Lernende Roboter: Aspekte maschinellen Lernens

PDF
German
Year: 1988
Author: Prof. Dr.-Ing. Rüdiger Dillmann (auth.)