94 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
zu den Filteroptionen94 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
A concept for the editing of hardware resulting in an automatic hardware editor
In: 14th Design Automation Conference, New Orleans, Jg. 1977, S. 187-193
The concurrent programming language CAP and the -processor oriented CAP CAD-system
In: Microprocessors and their applications / Symposium on Microprocessing and Microprogramming <5, 1979, Göteborg>, Jg. 1979, S. 249-258
Design aids for highly distributed hardware
In: Concurrent languages in distributed systems / Workshop on Hardware Supported Implementation on Concurrent Languages in Distributed Systems <1984, Bristol>, Jg. 1985, S. 135-149
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, Jg. 1990, S. 171-176
DIGITEST II : an integrated structural and behavioural language
In: International Symposium on Computer Hardware Description Languages and their Applications, New York, 3, Jg. 1975, S. 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, Jg. 1974, S. 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), Jg. 1994, S. 165-168
Dynamic hashing strategies
In: Mathematical foundations of computer science 1990, Jg. 1990, S. 76-87
An ecological approach to responsible systems development
In: Directions and Implications of Advanced Computing (DIAC-87), Jg. 1989, S. 82-96
Efficiency of universal parallel computers
In: Theoretical computer science : Dortmund, January 5 - 7, 1983 (Lecture notes in computer science : 145), Jg. 1983, S. 221-241
Efficient simulations among several models of parallel computers
In: STACS 1984, Jg. 1984, S. 218-229
Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-174
Elementary actions on an extended entity-relationship database
In: Graph grammars and their application to computer science, Jg. 1991, S. 344-362
Entwurf, Beschreibung und Implementation von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP
In: GI-NTG-Fachtagung Struktur und Betrieb von Rechensystemen / Fachtagung Struktur und Betrieb von Rechensystemen <6, 1980, Kiel>, Jg. 1980, S. 205-216
Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11
Fast algorithms for n-dimensional restrictions of hard problems
In: STOC 1985, Jg. 1985, S. 413-420
Five 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-5
The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181
Das Gedächtnis lernt laufen
vom Kerbholz zur virtuellen WirklichkeitIn: Cyberspace : Gemeinschaften, virtuelle Kolonien, Öffentlichkeiten, Jg. 1994, S. 207-228
The hardware description language DACAPO III
In: Fundamentals and standards in hardware description languages, Jg. 1993, S. 395-409
