Roderer, Helmut
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
Mainzer, Klaus
Schuster, Peter
Schwichtenberg, Helmut
Hardcover
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Mainzer, Klaus
Schuster, Peter
Schwichtenberg, Helmut
Hardcover
Multimedia Transport and Teleservices: International Cost 237 Workshop, Vienna, Austria, November 13 - 15, 1994. Proceedings
Leopold, Helmut
Danthine, Andre
Hutchison, David
Paperback
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report
Partsch, Helmut
Schuman, Steve
Möller, Bernhard
Paperback
After the History of Sexuality: German Genealogies with and Beyond Foucault
Spector, Scott
Puff, Helmut
Herzog, Dagmar
Paperback
Drug Selectivity: An Evolving Concept in Medicinal Chemistry
Handler, Norbert
Buschmann, Helmut
Mannhold, Raimund
Hardcover
Solid State Development and Processing of Pharmaceutical Molecules: Salts, Cocrystals, and Polymorphism
Gruss, Michael
Mannhold, Raimund
Buschmann, Helmut
Hardcover
Historische Biographik und kritische Prosopographie als Instrumente in den Geschichtswissenschaften
Albrecht, Helmuth
Farrenkopf, Michael
Maier, Helmut
Hardcover
Der Franziszeische Kataster Im Kronland Bukowina/Czernowitzer Kreis (1817-1865): Statistik Und Katastralmappen
Rumpler, Helmut
Ungureanu, Constantin
Scharr, Kurt
Hardcover
Verläßliche It-Systeme: Zwischen Key Escrow Und Elektronischem Geld
Rannenberg, Kai
Stiegler, Helmut
Müller, Günter
Paperback
Kapital Und Kompetenz: Veränderungen Der Arbeitswelt Und Ihre Auswirkungen Aus Erziehungswissenschaftlicher Sicht
Harteis, Christian
Heid, Helmut
Gruber, Hans
Paperback
Regionalfenster Im Programm Von Rtl Und Sat.1: Eine Vergleichende Inhaltsanalyse Von Programmangeboten Und Journalistischer Qualität
Volpers, Helmut
Salwiczek, Christian
Schnier, Detlef
Paperback
VM/CMS -- Virtuelle Maschinen: PRAXIS Und Faszination Eines Betriebssystems
Kolacki, Achim
Bearb Von Drieger, Helmut
Paperback
Sozialwissenschaftliche Forschung Und PRAXIS: Interdisziplinäre Sichtweisen
Kraetsch, Clemens
Fehr, Helmut
Bosch, Aida
Paperback
Organisierter Kommunismus in Der Bundesrepublik Deutschland: Dkp -- Sdaj -- Msb Spartakus Kpd/Kpd (ML)/Kbw/Kb
Bilstein, Helmut
Binder, Sepp
Elsner, Manfred
Paperback
Artificial Intelligence and Large Language Models: A Scientific Perspective
Moallem, Abbas
Degen, Helmut
Ntoa, Stavroula
Hardcover
Numerik Gewöhnlicher Differentialgleichungen: Nichtsteife, Steife Und Differential-Algebraische Gleichungen
Podhaisky, Helmut
Strehmel, Karl
Weiner, Rüdiger
Paperback
