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
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]Ordered attributed grammars
In: Acta Informatica, Vol. 13.1980 Issue 3, page 229-256Petri net based description, analysis and simulation of concurrent processes
In: ACM SIGDA Newsletters, Vol. 1977, page 15-27A 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-79A polynomial linear search algorithm for the N-dimensional Knapsack problem
In: Journal of the Association for Computing Machinery, Vol. 1984, page 668-676A recursive and a grammatical characterization of the exponential-time languages
In: Theoretical Computer Science, Vol. 3.1976 Issue 3, page 61-74Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Vol. 1973, page 575-583Relationships between pushdown automata with counters and complexity classes
In: Mathematical systems theory, Vol. 9.1975 Issue No. 3, page 248-264The ring machine
In: Computers and artificial intelligence, Vol. 1987, page 195-208SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Vol. 1986, page 634-643A 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-10Simulating 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-158Simulating probabilistic by deterministic algebraic computation trees
In: Theoretical Computer Science, Vol. 1985, page 325-330Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Vol. 3.1993 Poster session, 267 pagesSpeeding up random access machines by few processors
In: STACS 1986, Vol. 1986, page 142-152Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Vol. 1980, page 279-294Supporting participative systems development by task-oriented requirements analysis
In: SYSTEM DESIGN for Human Development and Productivity: Participation and Beyond, Vol. 1987, page 113-124Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Vol. 1992, page 303-334System level design
In: Fundamentals and standards in hardware description languages, Vol. 1993, page 109-151