199 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 2
jump to filter-options199 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
2
Fuzzy matching of comprehensive service specifications
Elektronische Ressource, Paderborn, 2016
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Vol. 1984, page 165-181Graph transformation planning with time and concurrency
Elektronische Ressource, Paderborn, 2016The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Vol. 1993, page 395-409Hashing strategies for simulating shared memory on distributed memory machines
In: Parallel architectures and their efficient use : proceedings, Vol. 1993, page 20-29Hierarchical modular description of VLSI systems
In: Workshop report / VLSI and Software Engineering Workshop <1982, Port Chester, NY>, Vol. 1983, page 112-116How to find long paths efficiently
In: Annals of Discrete Mathematics, Vol. 25.1985, page 239-254A hybrid knowledge processing architecture
In: Second International Conference on Intelligent Systems Engineering / International Conference on Intelligent Systems Engineering <2, 1994, Harburg, Hamburg>, Vol. 1994, page 372-377Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Vol. 1987, page 517-522The implementation of the computer hardware description language CAP and its applications
In: Proceedings / International Symposium on Hardware Description Languages and their Applications <1979, Palo Alto, CA>, Vol. 1979, page 138-144Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Vol. 1991, page 114-139Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Vol. 1990, page 259-273Induction-based Verification of Timed Systems
Elektronische Ressource, Paderborn, 2016