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

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.

Ergebnis der Suche nach: "174103611"
im Bestand: Gesamter Bestand

1 - 7 von 7

	1	Object oriented programming Berlin : Springer, 2004
	2	Proof of the principal type property for system O Wehr, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
	3	Type inference with constrained types Sulzmann, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
	4	A second look at overloading Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1995
	5	Process calculus foundation of sequential programming constructs Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1994
	6	The call by need lambda calculus Maraist, John. - Karlsruhe : Univ., Fak. für Informatik, 1994
	7	A new approach to formal language definition and its application to Oberon Odersky, Martin, 1989