Interactive systems design, specification, and verification ; 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5 - 6, 2000 ; revised papers

Embedded software first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings

Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of...

Visualization in scientific computing

Object-oriented system development von De Champeaux, Dennis, Lea, Douglas, Faure, Penelope

Object oriented system development von De Champeaux, Dennis, Lea, Douglas, Faure, Penelope

28th ACM, IEEE Design Automation Conference June 17 - 21, 1991, San Francisco, California, Moscone Center ; proceedings 1991

Planning and control von Dean, Thomas L., Wellman, Michael P.

Inhaltsverzeichnis

Design theory and computer science processes and methodology of computer systems design von Dasgupta, Subrata

Artificial intelligence in databases and information systems DS-3 ; proceedings of the IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databas...

Evaluation of human work a practical ergonomics methodology

Design and analysis of fault-tolerant digital systems von Johnson, Barry W.

The specification of complex systems von Cohen, Bernard, Harwood, William T., Jackson, Melvyn I.

communicating sequential processes von Hoare, Charles A. R. 1934-

Distributed data processing technology and critical issues

Advanced computer design von Iliffe, J. K.

The theory and practice of reliable system design von Siewiorek, Daniel P., Swarz, Robert S.

Central systems architecture planning and controlling. Complex IBM computing centres von Høie, Tore Audun 1942-

Minicomputer systems von Lines, M. V.

A technique for software and systems design von Lano, R. J.