299 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
jump to filter-options299 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016
An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Vol. 1990, page 885-890Infinite cube-connected cycles
In: Information Processing Letters, Vol. 1983, page 1-2Insellösungen oder Wege zu CIM
In: PC-Magazin, Vol. 1986, page 88-91Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016Instrumentarium für einen lösungsmusterbasierten Entwurf fortgeschrittener mechatronischer Systeme
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Vol. 1991, page 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Vol. 1991, page 19-24Integrierte Systementwicklung
In: Dialogsysteme in der Arbeitswelt, Vol. 1988, page 205-228Das kognitive Perpetuum mobile
die Rolle von Computern mit künstlicher Intelligenz in der militärtechnologischen EntwicklungIn: Computer, Medien, Gesellschaft (Technik und Gesellschaft : 5), Vol. 1989, page 105-124Das kognitive Schlachtfeld
In: Künstliche Intelligenz : Edition Universitas, Vol. 1990, page 79-97The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet
In: Acta Informatica, Vol. 8.1977, page 371-382