Katalog der Deutschen Nationalbibliothek

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

1 - 7 von 7

	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