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

Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.

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

21 - 30 von 35

	21	Process modelling and control with higher order nets Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, [1994]
	22	The Korso case study for software engineering with formal methods Cornelius, Felix. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
	23	Algebraische Graphersetzung Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1993
	24	Ein Fallbeispiel für KorSo / Das heterogene verteilte Managementsystem HSMS der Projektgruppe Medizin Informatik (PMI) am Deutschen Herzzentrum Berlin und an der Technischen Universität Berlin ; ein Vorschlag 1992
	25	Parametric algebraic specifications with Gentzen formulas Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992
	26	Extended algebraic graph transformation Löwe, Michael, 1991
	27	Parallel and distributed derivations in the single pushout approach Ehrig, Hartmut. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1991
	28	Algebraic approach to graph transformation based on single pushout derivations with partial morphisms Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990
	29	Algebraic development of a syntax directed editor Classen, Ingo. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990
	30	On the relationship between algebraic module specifications and program modules Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990