|
11 |
Petri nets: Applications and relationships to other models of concurrency
Berlin : Springer, 1987
|
|
|
|
12 |
Petri nets: Central models and their properties
Berlin : Springer, 1987
|
|
|
|
13 |
Automatentheorie
Brauer, Wilfried. - Stuttgart : Teubner, 1984
|
|
|
|
14 |
Studien- und Forschungsführer Informatik
Brauer, Wilfried. - Berlin : Springer, 1984
|
|
|
|
15 |
The programming language Ada
Berlin : Springer, 1981
|
|
|
|
16 |
Net theory and applications
Berlin, Heidelberg, New York : Springer, 1980
|
|
|
|
17 |
Studien- und Forschungsführer Informatik
Brauer, Wilfried. - St. Augustin : Ges. für Mathematik u. Datenverarbeitung mbH, 1980, [Neue] Ausg.
|
|
|
|
18 |
Studien- und Forschungsführer Informatik
Brauer, Wilfried. - Bonn : GMD, Ges. für Mathematik u. Datenverarbeitung mbH, 1978
|
|
|
|
19 |
Zu den Grundlagen einer Theorie topologischer sequentieller Systeme und Automaten
Brauer, Wilfried. - St. Augustin Birlinghoven : Ges. f. Mathematik u. Datenverarbeitung, 1970, Als Ms. gedr.
|
|
|
|
20 |
Algorithmen, rekursive Funktionen und formale Sprachen
Brauer, Wilfried. - Mannheim : Bibliographisches Inst., 1968
|
|
Administration
