88 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke 2
jump to filter-options88 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke
2
- All Titles
- 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
Development and programming of deductive databases with PROTOS-L
In: How knowledge engineering methods can be applied to software engineering, and how software engineering methods can be applied to knowledge engineering, Vol. 1990, page 171-176
DIGITEST II : an integrated structural and behavioural language
In: International Symposium on Computer Hardware Description Languages and their Applications, New York, 3, Vol. 1975, page 38-44
DIGITEST: a structural language based on algebraic models of the logic topology and the time behaviour of digital circuits
In: Proceedings of 2nd Workshop on Computer Hardware Description Languages, Darmstadt, Jul. 1974, Vol. 1974, page 126-128
Distributing resources through network utilisation
In: NetWORKing : connecting workers in and between organizations : proceedings of the IFIP WG 9.1 Working Conference on NetWORKing, Vienna, Austria, 16 - 18 June, 1993 (IFIP transactions : A ; 38), Vol. 1994, page 165-168
Dynamic hashing strategies
In: Mathematical foundations of computer science 1990, Vol. 1990, page 76-87
An ecological approach to responsible systems development
In: Directions and Implications of Advanced Computing (DIAC-87), Vol. 1989, page 82-96
Efficiency of universal parallel computers
In: Theoretical computer science : Dortmund, January 5 - 7, 1983 (Lecture notes in computer science : 145), Vol. 1983, page 221-241
Efficient simulations among several models of parallel computers
In: STACS 1984, Vol. 1984, page 218-229
Efficient simulations among several models of parallel computers
In: SIAM journal on computing, Vol. 1986, page 106-119
Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Vol. 1991, page 344-362
Executable specifications for language implementation
In: Programming language implementation and logic programming, Vol. 1993, page 1-11
Fail-high reductions
In: Advances in Computer Chess 7, Vol. 1994, page 111-128
Fast algorithms for n-dimensional restrictions of hard problems
In: STOC 1985, Vol. 1985, page 413-420
Fast algorithms for N-dimensional restrictions of hard problems
In: Journal of the Association for Computing Machinery, Vol. 1988, page 740-747
Five valued quasi Boolean functions
In: Fifth European Meeting on Cybernetics and Systems Research / European Meeting on Cybernetics and Systems Research <5, 1980, Wien>, Vol. 35.1980, page 2-5
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Vol. 1984, page 165-181
The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Vol. 1993, page 395-409
Hashing strategies for simulating shared memory on distributed memory machines
In: Parallel architectures and their efficient use : proceedings, Vol. 1993, page 20-29
Hierarchical modular description of VLSI systems
In: Workshop report / VLSI and Software Engineering Workshop <1982, Port Chester, NY>, Vol. 1983, page 112-116
How to find long paths efficiently
In: Annals of Discrete Mathematics, Vol. 25.1985, page 239-254
