205 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke 2
zu den Filteroptionen205 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke
2
- Alle Titel
- Klassifikation (DDC)
- Informatik, Informationswissenschaft, allgemeine Werke
- Informatik, Wissen, Systeme
- Bibliografien
- Bibliotheks- und Informationswissenschaften
- Enzyklopädien, Faktenbücher
- Zeitschriften, fortlaufende Sammelwerke
- Verbände, Organisationen, Museen
- Publizistische Medien, Journalismus, Verlagswesen
- Allgemeine Sammelwerke, Zitatensammlungen
- Handschriften, seltene Bücher
Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 114-139
Improving 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-273
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, Jg. 1990, S. 885-890
Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2
Insider-resistant distributed storage systems
Elektronische Ressource, Paderborn, 2016
Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129
Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24





The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet
In: Acta Informatica, Jg. 8.1977, S. 371-382

Learning shepherding behavior
Elektronische Ressource, Paderborn, 2016
Lifetime analysis for attributes
In: Acta Informatica, Jg. 24.1987 H. 6, S. 633-652



