677 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
zu den Filteroptionen677 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
Human factors in open source security
Elektronische Ressource, Paderborn, 2024
A hybrid knowledge processing architecture
In: Second International Conference on Intelligent Systems Engineering / International Conference on Intelligent Systems Engineering <2, 1994, Harburg, Hamburg>, Jg. 1994, S. 372-377Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Jg. 1987, S. 517-522The implementation of the computer hardware description language CAP and its applications
In: Proceedings / International Symposium on Hardware Description Languages and their Applications <1979, Palo Alto, CA>, Jg. 1979, S. 138-144Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139Implementierung eines Kollaborationssystems für Entscheidungsunterstützungssysteme im Fakultätsmanagement
Elektronische Ressource, Paderborn, 2017Improvement of software requirements quality based on systems engineering
Elektronische Ressource, Paderborn, 2019Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
Elektronische Ressource, Paderborn, 2017Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2