Schliessen
- Alle Titel
- 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
Die neue Waffe - der Computer
In: Gesellschaft für Informatik: GI-Jahrestagung. 12. Jahrestagung, Kaiserslautern, 5, Jg. 1982, S. 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, Jg. 1989, S. 53-64Nondeterministic versus probabilistic linear search algorithms
In: FOCS 1985, Jg. 1985, S. 65-73On a subclass of pseudopolynomial problems
In: Mathematical Foundations of Computer Science, Jg. 9, S. 414-425On genuinely time bounded computations
In: STACS 1989, Jg. 1989, S. 1-16On 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, Jg. 13.1980 H. 3, S. 229-256Petri net based description, analysis and simulation of concurrent processes
In: ACM SIGDA Newsletters, Jg. 1977, S. 15-27A polynomial linear search algorithm for the N-dimensional Knapsack problem
In: Conference record of the ... annual ACM Symposium on Theory of Computing, Jg. 1983, S. 70-79A polynomial linear search algorithm for the N-dimensional Knapsack problem
In: Journal of the Association for Computing Machinery, Jg. 1984, S. 668-676Quasi reale Boolesche Funktionen
ein Versuch, zeitliche Effekte physikalisch realisierter Bauteile zu algebraisierenIn: Digital Processes, Jg. 1976, S. 27-45A recursive and a grammatical characterization of the exponential-time languages
In: Theoretical Computer Science, Jg. 3.1976 H. 3, S. 61-74Relationships between pushdown automata and tape-bounded turing machines
In: Automata, languages and programming, Jg. 1973, S. 575-583Relationships between pushdown automata with counters and complexity classes
In: Mathematical systems theory, Jg. 9.1975 H. No. 3, S. 248-264The ring machine
In: Computers and artificial intelligence, Jg. 1987, S. 195-208SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 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, Jg. 1990, S. 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>, S. 147-158Simulating probabilistic by deterministic algebraic computation trees
In: Theoretical Computer Science, Jg. 1985, S. 325-330Simulation digitaler Systeme auf verschiedenen Abstraktionsebenen
In: Fachgespräche auf der 14. GI-Jahrestagung, Jg. 1984, S. 28-36