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

Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 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