41 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme ClassificationCloseFilters
jump to filter-options41 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Classification
Close
Filters
Imparting practical skills in software engineering
Keil-Slawik, ReinhardIn: Technik und Informationsgesellschaft, Vol. 1987, page 517-522The implementation of the computer hardware description language CAP and its applications
Rammig, Franz JosefIn: Proceedings / International Symposium on Hardware Description Languages and their Applications <1979, Palo Alto, CA>, Vol. 1979, page 138-144Implementation of visit-oriented attribute evaluators
Kastens, UweIn: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 114-139Implementierung eines Kollaborationssystems für Entscheidungsunterstützungssysteme im Fakultätsmanagement
Hinerasky, Ansgar ; Suhl, Leena ; Betz, StefanElektronische Ressource, Paderborn, 2017Improvement of software requirements quality based on systems engineering
Holtmann, Jörg ; Dumitrescu, Roman ; Greenyer, JoelElektronische Ressource, Paderborn, 2019Improving real-world applicability of static taint analysis
Luo, Linghui ; Bodden, Eric ; Hermann, Ben ; Dolby, Julian ; Somorovsky, Juraj ; Oberthür, SimonElektronische Ressource, Paderborn, 2021Improving the concurrency of integrity checks and write operations
Böttcher, StefanIn: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Vol. 1990, page 259-273Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
Bäumer, Frederik Simon ; Geierhos, Michaela ; Dangelmaier, Wilhelm ; Hamann, Heiko ; Fahr, RenéElektronische Ressource, Paderborn, 2017Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
Bäumer, Frederik Simon ; Geierhos, Michaela ; Dangelmaier, WilhelmElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, OliverElektronische Ressource, Paderborn, 2016An inference engine for function free logic programs
Böttcher, StefanIn: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Vol. 1990, page 885-890Infinite cube-connected cycles
Meyer auf der Heide, FriedhelmIn: Information Processing Letters, Vol. 1983, page 1-2Informationsverarbeitung in Handelsbetrieben auf Basis innovativer Informationstechnologien
das Retail Information System (RIS)Schulte, Michael2006IngridKG
a FAIR knowledge graph of graffitiSherif, Mohamed Ahmed Mohamed ; Morim da Silva, Ana Alexandra ; Pestryakova, Svetlana ; Ahmed, Abdullah Fathi ; Niemann, Sven ; Ngonga Ngomo, Axel-CyrilleIn: Scientific Data, Vol. 10 Issue 318, page 1-12Elektronische Ressource,