|
1 |
Dynamic abstract data types based on algebraic graph transformations
Ehrig, Hartmut. - Berlin : Der Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
|
|
|
|
2 |
Process modelling and control with higher order nets
Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, [1994]
|
|
|
|
3 |
The Korso case study for software engineering with formal methods
Cornelius, Felix. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1994
|
|
|
|
4 |
Algebraische Graphersetzung
Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1993
|
|
|
|
5 |
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
|
|
|
|
6 |
Parametric algebraic specifications with Gentzen formulas
Löwe, Michael. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992
|
|
|
|
7 |
Parallel and distributed derivations in the single pushout approach
Ehrig, Hartmut. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1991
|
|
|
|
8 |
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
|
|
|
|
9 |
Algebraic development of a syntax directed editor
Classen, Ingo. - Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990
|
|
|
|
10 |
On the relationship between algebraic module specifications and program modules
Berlin : Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1990
|
|
Administration
