TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 10.

Kaiser, Markus (2010):
Computer verification of algorithms using a formal proof system.
Berlin, dissertation.de, TU Darmstadt, In: Dissertation.de, 1583, ISBN 978-3-86624-483-2,
[Ph.D. Thesis]

Kaiser, Markus (2009):
Korrosion metallischer Werkstoffe unter Beaufschlagung von Kühlmittelzusätzen für Verbrennungskraftmaschinen.
Aachen, Shaker, In: Berichte aus der Werkstofftechnik, 2009,2, ISBN 978-3-8322-8385-8 ; 3-8322-8385-4,
[Book]

Kaiser, Markus (2008):
Heißkühlung : Korrosionsgefrierschutzmittel für Hochleistungsmotoren.
Frankfurt, Forschungsvereinigung Verbrennungskraftmaschinen, In: FVV,Abschlussbericht Vorhaben Nr. 856, Heft 857, [Book]

Berger, Christina and Gugau, Manfred and Troßmann, Torsten and Kaiser, Markus (2007):
Korrosions- und Gefrierschutzmittel für Hochleistungsmotoren : Informationstagung Motoren, Herbsttagung 2007, Leipzig, Abschlußbericht Vorhaben Nr. 856.
In: Forschungsvereinigung Verbrennungs-Kraftmaschinen / R, pp. 31-56, 539, [Article]

Kaiser, Markus and Buchmann, Johannes (2006):
Computer Verification in Cryptography.
In: International Conference on Computer Science-(ICCS'06), 12, ISBN 975-00803-1-9,
[Conference or Workshop Item]

Kaiser, Markus and Buchmann, Johannes (2006):
A Formal Approach for Proof Constructions in Cryptography.
In: >International Journal of Computer Science, pp. 195--203, 1, [Article]

Sausen, Eckhard and Goericke, Manfred and Meszaros, L. and Hafner, Michael and Wochner, T. and Lievens, S. and Dühring, E. and Corthouts, J. and Gugau, Manfred and Kaiser, Markus (2005):
Prüfung der Eignung von Kühlmittelzusätzen für die Kühlflüssigkeit von Verbrennungsmotoren : Richtlinien für das Prüfverfahren.
In: Forschungsvereinigung Verbrennungskraftmaschinen e.V. Abschlussbericht H. R 530 (überarb. Ausg.), [Report]

Gugau, Manfred and Kaiser, Markus (2004):
Moderne Kühlmittelzusätze : umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen ; Abschlussbericht Vorhaben Nr. 777.
Frankfurt, FVV, H.786, [Book]

Gugau, Manfred and Kaiser, Markus and Berger, Christina (2004):
Moderne Kühlmittelzusätze und Entwicklung einer neuen FVV-Prüfrichtlinie.
06. Oktober 2004, Eurogress Aachen = Automobile and engine technology / [Hrsg., VKA, In: Fahrzeug- und Motorentechnik : 13. Aachener Kolloquium, 04. - 06. Oktober 2004, Eurogress Aachen = Automobile and engine technology / [Hrsg.: VKA, Lehrstuhl für Verbrennungskraftmaschinen Aachen ...]. Wiss. Leitung: Stefan Pischinger ... -Teil: 1.- Aache, [Conference or Workshop Item]

Berger, Christina and Gugau, Manfred and Kaiser, Markus (2004):
Umwelt- und leichtmetallverträgliche Kühlmittelzusätze für moderne Verbrennungskraftmaschinen.
Frankfurt, FVV, In: Informationstagung Motoren am 31. März 2004 in Frankfurt : Abschlussbericht Vorhaben Nr. 777 (AiF-Nr. 12907). - Frankfurt: FVV, 2004.- (Forschungsvereinigung Verbrennungskraftmaschinen ; H. R. 523).- S. 281-306, [Conference or Workshop Item]

This list was generated on Sat Sep 21 01:32:53 2019 CEST.