Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

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