132 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme 1
jump to filter-options132 Titles in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
1
Modelling aspects of system level design
In: Proceedings / EURO-DAC '93, Vol. 1993, page 534-539
A multilevel cybernetic model of the design process
In: Methodologies for computer system design / Working Conference on Methodologies for Computer System Design <1983, Lille>, Vol. 1985, page 87-103Multilevel 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„Eine Nacht in der Bibliothek “
Rara aus dem 17. bis 19. Jahrhundert ; der Verein für Geschichte an der Universität Paderborn (VfG) in der Universitätsbibliothek am 7. Februar 2008Paderborn : Universitätsbibliothek Paderborn, 2008Die neue Waffe - der Computer
In: Gesellschaft für Informatik: GI-Jahrestagung. 12. Jahrestagung, Kaiserslautern, 5, Vol. 1982, page 457-478Neuere 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-64Nondeterministic versus probabilistic linear search algorithms
In: FOCS 1985, Vol. 1985, page 65-73On a subclass of pseudopolynomial problems
In: Mathematical Foundations of Computer Science, Vol. 9, page 414-425On genuinely time bounded computations
In: STACS 1989, Vol. 1989, page 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, 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-676Quasi reale Boolesche Funktionen
ein Versuch, zeitliche Effekte physikalisch realisierter Bauteile zu algebraisierenIn: Digital Processes, Vol. 1976, page 27-45A 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-643