133 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
zu den Filteroptionen133 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Online anomaly detection for reconfigurable self-X real-time operating systems
a danger theory-inspired approachElektronische Ressource, Paderborn, 2016
Online model checking mechanism and its applications
Elektronische Ressource, PaderbornOrdered attributed grammars
In: Acta Informatica, Jg. 13.1980 H. 3, S. 229-256Physical attacks on pairing-based cryptography
Elektronische Ressource, Paderborn, 2016Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016A recursive and a grammatical characterization of the exponential-time languages
In: Theoretical Computer Science, Jg. 3.1976 H. 3, S. 61-74Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Jg. 1973, S. 575-583