Suchergebnisse - Wirsing, Martin 1948-
Martin Wirsing
Martin Wirsing (* 25. Dezember 1964 in Frankfurt am Main) ist ein deutscher Reporter, Moderator und Senderedakteur.Nach Abitur und Wehrdienst bei der Bundeswehr besuchte Wirsing eine private Schauspielschule. Später folgte eine Banklehre und das Diplom im Fach Volkswirtschaftslehre. Im Jahr 1992 gewann er bei RTL Plus die Castingshow Showmaster. Seit 1998 arbeitet Wirsing beim hr. Seit 2003 ist er für die Hessenschau tätig, als deren Nachrichtensprecher er bekannt wurde und für die er außerdem als Moderator, Reporter und Senderedakteur fungiert. Veröffentlicht in Wikipedia
- Treffer 1 – 20 von 40
- Zur nächsten Seite
-
1Java kompakt: eine Einführung in die Software-Entwicklung mit JavaVeröffentlicht 2013Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
2An object oriented airportVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3A calculus of higher order parameterization for algebraic specificationsVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4A formal approach to requirements engineeringVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Proofs in structured specificationsVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Continuous abstract data typesVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7Nondeterministic partial logic: isotonic and guarded truth-functionsVeröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Initial versus terminal algebra semantics for partially defined abstract typesVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in HerbrandformelnVeröffentlicht 1976Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Adapting proofs-as-programs: the Curry-Howard protocolVeröffentlicht 2005Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
11Elementare Aussagenlogik: mit 6 TabellenVeröffentlicht 1991Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
12Algebraic specifications of reachable higher-order algebrasVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13Ultra-loose algebraic specificationVeröffentlicht 1988Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Crypt-equivalent algebraic specificationsVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15An introduction to ASLVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Structured algebraic specifications: a kernel languageVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Denotational semantics of algebraic specification languagesVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18Structured algebraic specifications: a kernel languageVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19A kernel language for algebraic specification and implementationVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20On the algebraic definition of programming languagesVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …