Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
Ergebnis der Suche nach:
"174103611"
im Bestand: Gesamter Bestand
1 - 9 von 9
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
Object oriented programming
Berlin : Springer, 2004
2
[Object oriented programming]
[Berlin : [Springer], 2004
3
Proof of the principal type property for system O
Wehr, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
4
Type inference with constrained types
Sulzmann, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
5
A second look at overloading
Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1995
6
Process calculus foundation of sequential programming constructs
Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1994
7
The call by need lambda calculus
Maraist, John. - Karlsruhe : Univ., Fak. für Informatik, 1994
8
A new approach to formal language definition and its application to Oberon
Odersky, Martin, 1989
9
Odersky, Martin
1958- / Informatiker
1 - 9 von 9
Alle Materialarten
Bücher (7)
Online Ressourcen (1)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (2)
Hochschulschriften (1)
Alle Standorte
Frankfurt (7)
Leipzig (8)
Alle Normdaten
Personen (1)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration