19 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; InformatikKlassifikationSchliessenFilter1
zu den Filteroptionen19 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
Klassifikation
Schliessen
Filter
1
Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, JoelElektronische Ressource, Paderborn, 2019SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikKeil-Slawik, ReinhardIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 634-643Secure use of open-source software
a systematic study and techniques for JavaDann, Andreas Peter ; Bodden, Eric ; Hermann, BenElektronische Ressource, Paderborn, 2024Set-Valued prediction for Part-of-Speech tagging
Heid, Stefan ; Hüllermeier, Eyke ; Geierhos, MichaelaElektronische Ressource, Paderborn, 2019Solving linear graphical constraint expressions
Szwillus, GerdIn: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Jg. 3.1993 Poster session, 267 SeitenSpecification and verification for real-time coordination protocols of cyber-physical systems
Dziwok, Stefan ; Schäfer, Wilhelm ; Tichy, MatthiasElektronische Ressource, Paderborn, 2017Speeding up random access machines by few processors
Meyer auf der Heide, FriedhelmIn: STACS 1986, Jg. 1986, S. 142-152Structured parallel programming with a highly concurrent programming language
Rammig, Franz JosefIn: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, KarimElektronische Ressource, Paderborn, 2019Synthesis related aspects of simulation
Rammig, Franz JosefIn: The synthesis approach to digital system design, Jg. 1992, S. 303-334Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Placzek, Markus ; Gausemeier, JürgenElektronische Ressource, Paderborn, 2017