41 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik 2
zu den Filteroptionen41 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik
2
Mixed level modelling and simulation of VLSI systems
In: Logic design and simulation, Jg. 1986, S. 95-134
A multilevel cybernetic model of the design process
In: Methodologies for computer system design / Working Conference on Methodologies for Computer System Design <1983, Lille>, Jg. 1985, S. 87-103Multilevel simulation techniques
In: VLSI and computers / First International Conference on Computer Technology, Systems and Applications, Hamburg, May 11-15, 1987, COMPEURO 87, Jg. 1.1987, S. 188-192On genuinely time bounded computations
In: STACS 1989, Jg. 1989, S. 1-16Petri 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: Journal of the Association for Computing Machinery, Jg. 1984, S. 668-676SDI considered harmful
Ansätze zum Umdenken in der SoftwaretechnikIn: Die Zukunft der Informationssysteme, Jg. 1986, S. 634-643Solving linear graphical constraint expressions
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>, Jg. 3.1993 Poster session, 267 SeitenSpeeding up random access machines by few processors
In: STACS 1986, Jg. 1986, S. 142-152Structured parallel programming with a highly concurrent programming language
In: Atti del Congresso dell'AICA / Associazione Italiana per il Calcolo Automatico, Jg. 1980, S. 279-294Synthesis related aspects of simulation
In: The synthesis approach to digital system design, Jg. 1992, S. 303-334An universal hardware editor based on an algebraic model of the time-behaviour of digital circuits
In: Discrete Systems = Diskretnye Sistemy, Vol. 5: Section GH : analysis and simulation , IFAC-Symposium Discrete Systems : (Dresden) : 1977.03.14-19, Jg. 1977, S. 36-45Using transaction import statements for integrity control optimization
In: Computer applications and design abstraction, 1992 / Energy Sources Technology Conference and Exhibition <1992, Houston, Tex.>, Jg. 1992, S. 91-98