Cloud-Computing für die öffentliche Verwaltung ISPRAT-Studie November 2010 von Deussen, Peter H. 1962-, Strick, Linda, Peters, Johannes

Inhaltsverzeichnis

Supervisory control on concurrent discrete event systems with variables Extendet version von Gaudin, Benoît, Deussen, Peter H. 1962-

Inhaltsverzeichnis

Analyse verteilter Systeme mit Hilfe von Prozeßautomaten von Deussen, Peter H. 1962-

Volltext öffnen

Concurrent automata von Deussen, Peter H. 1962-

Petri net based qualitative analysis a case study von Heiner, Monika, Deussen, Peter H. 1962-

Lineare Darstellungen von Automaten von Deussen, Peter 1935-

Some results on the set of congruence relations in a finite, strongly connected automaton von Deussen, Peter 1935-

A safety-oriented technical language for the requirement specification in control engineering von Heiner, Monika, Mertke, Thomas, Deussen, Peter H. 1962-

Improvements of concurrent automata generation von Deussen, Peter H. 1962-

Zur induktiven Fundierung von zweistufigen Compilerspezifikationswerkzeugen von Deussen, Peter 1935-

Inhaltsverzeichnis

Kostenfunktionen für Boole'sche Ausdrücke von Deussen, Peter 1935-

Halbgruppen und Automaten von Deussen, Peter

Volltext öffnen Volltext öffnen

Zur algebraischen Theorie endlicher Automaten von Deussen, Peter 1935-

Kausale Operatoren von Deussen, Peter 1935-

GI. Gesellschaft für Informatik e.V. 2. Jahrestagung Karlsruhe, 2.–4. Oktober 1972 von Deussen, Peter

Volltext öffnen

Halbgruppen und Automaten von Deussen, Peter 1935-

Zur algebraischen Theorie endlicher Automaten von Deussen, Peter 1935-

... Jahrestagung

Weitere Verfasser: “… Deussen, Peter 1935- …”

Theoretical computer science 5th GI-Conference, Karlsruhe, March 23 - 25, 1981

Weitere Verfasser: “… Deussen, Peter 1935- …”

GI-Jahrestagung

Weitere Verfasser: “… Deussen, Peter 1935- …”