Katalog der Deutschen Nationalbibliothek

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

1 - 10 von 11

	1	Object oriented programming Berlin : Springer, 2004
	2	[Object oriented programming] [Berlin : [Springer], 2004
	3	Domain-Specific Program Generation (Dagstuhl Seminar 03131) Batory, Don. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2003
	4	High-Level Concurrent Languages (Dagstuhl Seminar 97041) Honda, Kohei. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1997
	5	Proof of the principal type property for system O Wehr, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
	6	Type inference with constrained types Sulzmann, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1996
	7	A second look at overloading Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1995
	8	Process calculus foundation of sequential programming constructs Odersky, Martin. - Karlsruhe : Univ., Fak. für Informatik, 1994
	9	The call by need lambda calculus Maraist, John. - Karlsruhe : Univ., Fak. für Informatik, 1994
	10	A new approach to formal language definition and its application to Oberon Odersky, Martin, 1989