95 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke 1
jump to filter-options95 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke
1
- 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
Multilevel simulation techniques
In: VLSI and computers / First International Conference on Computer Technology, Systems and Applications, Hamburg, May 11-15, 1987, COMPEURO 87, Vol. 1.1987, page 188-192
Die neue Waffe - der Computer
In: Gesellschaft für Informatik: GI-Jahrestagung. 12. Jahrestagung, Kaiserslautern, 5, Vol. 1982, page 457-478
Neuere Trends der Hardwareentwurfmethodik als Richtschnur für die Softwareentwicklung
In: Softwaretechnik in Automatisierung und Kommunikation / Informationstechnische Gesellschaft / Fachausschuss System- und Anwendungs-Software, Vol. 1989, page 53-64
Nondeterministic versus probabilistic linear search algorithms
In: FOCS 1985, Vol. 1985, page 65-73
On a subclass of pseudopolynomial problems
In: Mathematical Foundations of Computer Science, Vol. 9, page 414-425
On genuinely time bounded computations
In: STACS 1989, Vol. 1989, page 1-16
On transactions in logic programming languages
In: Logic programming : proceedings of the Eighth International Conference [on Logic Programming, held in Paris, France, June 24 - 28, 1991]

A polynomial linear search algorithm for the N-dimensional Knapsack problem
In: Conference record of the ... annual ACM Symposium on Theory of Computing, Vol. 1983, page 70-79
Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Vol. 1973, page 575-583
SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Vol. 1986, page 634-643
A semantics for the integration of database modifications and transaction brackets into a logic programming language
In: Information systems and artificial intelligence / Workshop on Information Systems and Artificial Intelligence, Vol. 1990, page 1-10
Simulating binary trees on x-trees
In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures / Symposium on Parallel Algorithms and Architectures <3, 1991, Hilton Head Island, SC>, page 147-158
Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen
In: Fachgespräche auf der 14. GI-Jahrestagung, Vol. 1984, page 28-36
Softwaretechnik
Defizite und Chancen aus BenutzersichtIn: Software : Schnittstelle zwischen Mensch und Maschine (Informations- und Kommunikationstechnik : 1), Vol. 1989, page 89-104
Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Vol. 3.1993 Poster session, 267 pages
Speeding up random access machines by few processors
In: STACS 1986, Vol. 1986, page 142-152
Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Vol. 1980, page 279-294
Supporting participative systems development by task-oriented requirements analysis
In: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Vol. 1987, page 113-124
Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Vol. 1992, page 303-334
