Suchergebnisse - Schmidt, David
- Treffer 1 – 20 von 46
- Zur nächsten Seite
-
1Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen: Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26Veröffentlicht 2017Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Hochschulschrift/Dissertation Elektronisch E-Book -
2The structure of typed programming languagesVeröffentlicht 1994Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3A programming notation for tactical reasoningVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Detecting global variables in denotational specificationsVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Compiler generation from lambda calculus definitions of programming languagesVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Syntactic type checking using Scott retraction mapsVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7N-Heterocyclische Carbene und NHC stabilisierte Nickelkomplexe in der Aktivierung von Element-Element- und Element-Wasserstoff-BindungenVeröffentlicht 2013Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Hochschulschrift/Dissertation Buch -
8Denotational semantics: a methodology for language developmentVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9Natural deduction theorem proving in set theoryVeröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Denotational semantics as a programming languageVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Communications in mult-antenna interference networksVeröffentlicht 2011Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Hochschulschrift/Dissertation Buch -
12Linear MMSE equalizer for frequency selective two-antenna channelsVeröffentlicht 2007Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13The Smithsonian Institution African Mammal Project (1961-1972): an annotated gazetteer of collecting localities and summary of its taxonomic and geographic scopeVeröffentlicht 2008Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
14Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulationVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
15Studien über die Geschichte der WolgadeutschenBand 1. Teil - Seit der Einwanderung bis zum imperialistischen Weltkriegevon Schmidt, David 1897-1938Veröffentlicht 1930Signatur: Wird geladen …Online lesen (frei zugänglich)
Standort: Wird geladen …
Buch -
16Zwischen Simulation und Narration: Theorie des Fantasy-Rollenspiels- Mit einer Analyse der Spielsysteme "Das Schwarze Auge</I>, "Shadowrun</I> und "H.P. Lovecraft's Cthulhu</I>Veröffentlicht 2012Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Elektronisch E-Book -
17Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War: broken silenceVeröffentlicht 2000Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
18Die Jagd im Oberwallis: Jubiläumsschrift "75 Jahre SPW" 1990Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Citizen lawmakers: the ballot initiative revolutionVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Zwischen Simulation und Narration: Theorie des Fantasy-Rollenspiels ; mit einer Analyse der Spielsysteme Das Schwarze Auge, Shadowrun und H. P. Lovecraft's CthulhuVeröffentlicht 2012Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Hochschulschrift/Dissertation Buch