63 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke 2
zu den Filteroptionen63 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Informatik, Informationswissenschaft, allgemeine Werke
2
Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Jg. 1991, S. 344-362
Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11Fail-high reductions
In: Advances in Computer Chess 7, Jg. 1994, S. 111-128Fast algorithms for n-dimensional restrictions of hard problems
In: STOC 1985, Jg. 1985, S. 413-420Five valued quasi Boolean functions
In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, Jg. 35.1980, S. 2-5The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 395-409How to find long paths efficiently
In: Annals of Discrete Mathematics, Jg. 25.1985, S. 239-254A hybrid knowledge processing architecture
In: Second International Conference on Intelligent Systems Engineering / International Conference on Intelligent Systems Engineering <2, 1994, Harburg, Hamburg>, Jg. 1994, S. 372-377Imparting practical skills in software engineering
In: Technik und Informationsgesellschaft, Jg. 1987, S. 517-522Implementation of visit-oriented attribute evaluators
In: Attribute grammars, applications and systems (Lecture notes in computer science : 545), Jg. 1991, S. 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, Jg. 1990, S. 259-273An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Infinite cube-connected cycles
In: Information Processing Letters, Jg. 1983, S. 1-2Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24The 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-382Lifetime analysis for attributes
In: Acta Informatica, Jg. 24.1987 H. 6, S. 633-652Lower bounds for solving linear diophantine equations on random access machines
In: Journal of the Association for Computing Machinery, Jg. 1985, S. 929-937Lower time bounds for solving linear diophantine equations on several parallel computational models
In: Information and Control, Jg. 1985, S. 195-211