23 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für InformatikKlassifikationSchliessenFilter
zu den Filteroptionen23 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Fakultät für Elektrotechnik, Informatik und Mathematik → Institut für Informatik
Klassifikation
Schliessen
Filter
Implementation of visit-oriented attribute evaluators
Kastens, UweIn: Attribute grammars, applications and systems, Jg. 1991, S. 114-139Improvement 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, Jg. 1990, S. 259-273Induction-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, Jg. 1990, S. 885-890Informatik im Herstellungs- und Nutzungskontext
ein technikbezogener Zugang zur fachübergreifenden LehreEngbring, Dieter2003IngridKG
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, Jg. 10 H. 318, S. 1-12Elektronische Ressource,Insider-resistant distributed storage systems
Eikel, Martina ; Scheideler, Christian ; Meyer auf der Heide, Friedhelm ; Universität PaderbornElektronische Ressource, Paderborn, 2016INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen DatenmengenWilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Plessl, ChristianElektronische Ressource, Paderborn, 2013Integrated predicative synchronization implemented in a federated DBMS
Böttcher, StefanIn: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
Böttcher, StefanIn: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24Integration of parked cars into Car4ICT
Löwen, Stefan ; Dressler, Falko ; Blömer, JohannesElektronische Ressource, Paderborn, 2018Interactive driving simulator for Car2X scenarios
Franke, Mario ; Dressler, Falko ; Karl, HolgerElektronische Ressource, Paderborn, 2018