Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

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

21 - 30 von 35

Alle Materialarten

Bücher (34)

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen