Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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
 
Neuigkeiten 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: "140906959"
im Bestand: Gesamter Bestand

21 - 30 von 35
<< < > >>


Bücher 21 Process modelling and control with higher order nets
Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, [1994]
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 22 The Korso case study for software engineering with formal methods
Cornelius, Felix. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 23 Algebraische Graphersetzung
Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1993
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 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
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 25 Parametric algebraic specifications with Gentzen formulas
Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 26 Extended algebraic graph transformation
Löwe, Michael, 1991
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 27 Parallel and distributed derivations in the single pushout approach
Ehrig, Hartmut. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1991
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 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
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 29 Algebraic development of a syntax directed editor
Classen, Ingo. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 30 On the relationship between algebraic module specifications and program modules
Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990
Vorhanden in Leipzig Vorhanden in Frankfurt


21 - 30 von 35
<< < > >>


E-Mail-IconAdministration