Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "12940893X"
im Bestand: Gesamter Bestand

11 - 20 von 31

	11	Exploring (finite) relation algebras using tools written in Haskell Kahl, Wolfram. - Neubiberg : Univ. der Bundeswehr München, Fak. für Informatik, 2000
	12	Konstruktion induktiv geordneter Modelle aus algebraischen Spezifikationen Kempf, Peter. - Neubiberg : Univ. der Bundeswehr München, Fak. für Informatik, 1998
	13	Relations and graphs Schmidt, Gunther. - Berlin : Springer, 1993
	14	Relations and Graphs Schmidt, Gunther. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
	15	Graph-theoretic concepts in computer science Berlin : Springer, 1992
	16	Ordering isomorphism classes of semantic domains Schmidt, Gunther. - Neubiberg : Univ. der Bundeswehr München, Fak. Informatik, 1992
	17	Semantic domains with congruences Schmidt, Gunther. - Neubiberg : Univ. der Bundeswehr München, Fak. für Informatik, 1992
	18	Hinweise zur interaktiven Konstruktion von Bereichen, Objekten und Programmtexten im HOPS-System Schmidt, Gunther. - Neubiberg : Univ. der Bundeswehr, Fak. für Informatik, 1990
	19	Manipulation of concrete relations: The RELVIEW-system Abold-Thalmann, Hilde. - Neubiberg : Univ. d. Bundeswehr, Fak. für Informatik, 1989
	20	Mathematische Logik München : Inst. für Informatik, 1989