Home Advanced Search

Advanced Search - Page 1

Erläuterungen zu den Normalien für isolierte Leitungen in Starkstromanlagen, den Normalien für isolierte Leitungen in Fernmeldeanlagen sowie den Kupfernormalien: Im Auftrage des Verbandes Deutscher Elektrotechniker

PDF
German
Year: 1915
Author: Dr. Richard Apt (auth.), Dr. Richard Apt (eds.)

Programmverifikation: Sequentielle, parallele und verteilte Programme

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

Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

DJVU
English
Year: 1995
Author: Krzysztof R. Apt (auth.), Bernhard Möller (eds.)

Jamu Saintifik: Suatu Lompatan Ilmiah Pengembangan Jamu

PDF
Indonesian
Year: 2017
Author: Prof. Dr. Suwijiyo Pramono, DEA., Apt., Dr. dr. Noor Wijayahadi., M.Sc., Dr. dr. Setyo Rahardjo., M.Kes., Dra. Nani Sukasediati., MS., Apt. (editor)

Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

PDF
English
Year: 2012
Author: Krzysztof R. Apt, Sunil Simon (auth.), Maria Serna (eds.)

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

PDF
English
Year: 1984
Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers

PDF
English
Year: 2004
Author: Krzysztof R. Apt, Peter Zoeteweij (auth.), Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza (eds.)

Modelling Reality and Personal Modelling

PDF
English
Year: 1993
Author: Richard Flavell (auth.), Dr. Richard Flavell (eds.)

Denver, Boulder, Fort Collins and Rocky Mountain National Park

EPUB
English
Year: 2015
Author: Apt, Alan

Scheckgesetz: vom 11. März 1908

PDF
German
Year: 1908
Author: Max Apt