Skip to contents

Canver, Ercüment [Author]

Formal verification of a coordinated atomic action based design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1998

Published in: Ulmer Informatik-Berichte ; 98,05
Holtzblatt, Karen [Author]; Wendell, Jessamyn Burns [Author]; Wood, Shelley [Author]

Rapid contextual design : a how-to guide to key techniques for user-centered design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; Heidelberg: Elsevier, Morgan Kaufmann, 2005

Published in: Morgan Kaufmann series in interactive technologies
Gassner, Klaus [Author]

Rechnerunterstützung für die konzeptuelle Modellierung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1993

Published in: Ulmer Informatik-Berichte ; 199306
Dmitriev, Aleksej K. [Author]; Malʹcev, Pavel A. [Author]

Osnovy teorii postroenija i kontrolja složnych sistem - [Proizvodstvennoe izd.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leningrad: Ėnergoatomizdat, Leningradskoe otdelenie, 1988
Shetty, Devdas [Author]; Kolk, Richard A. [Author]

Mechatronics system design - [2. ed., SI ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stamford, Conn. [u.a.]: Cengage Learning, 2011
Kidd, Paul T. [Author]

Agile manufacturing : forging new frontiers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wokingham, England [u.a.]: Addison-Wesley, c1994

Published in: Addison-Wesley series in manufacturing systems
Olle, T. William [Other]; Sol, Henk G. [Other]; Tully, Colin J. [Other]; Olle, T. W. [Editor] ; International Federation for Information Processing Working Group Design and Evaluation of Information Systems, Working Conference on Feature Analysis of Information Systems Design Methodologies 4 1983 York

Information systems design methodologies : a feature analysis ; Proceedings of the IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies, York, U.K., 5 - 7 July, 1983

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Co., 1983
Schellhorn, Gerhard [Editor] ; Universität Ulm Fakultät für Informatik, Workshop on Tools for System Design and Verification 4 2000 Ulm

FM-TOOLS 2000 : the 4th Workshop on Tools for System Design and Verification; ... held at the "Reisenburg", a beautiful castle near Ulm in South Germany; [10 - 13 July, 2000]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 2000

Published in: Ulmer Informatik-Berichte ; 2000,07
Furtado, Antonio L. [Author]; Neuhold, Erich J. [Author]

Formal techniques for data base design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, c 1985
Andleigh, Prabhat K. [Author]; Thakrar, Kiran [Author]

Multimedia systems design - [1. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Upper Saddle River, NJ: Prentice Hall PTR, 1996
Kendall, Kenneth E. [Author]; Kendall, Julie E. [Author]

Systems analysis and design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs, NJ [u.a.]: Prentice Hall, 1988
Wasson, Charles S. [Author]

System analysis, design, and development : concepts, principles, and practices

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hoboken, NJ: Wiley-Interscience, c 2006

Published in: Wiley series in systems engineering and management
Hansen, Hans Robert [Author]; Mühlbacher, Robert [Author]; Neumann, Gustaf [Author]

Begriffsbasierte Integration von Systemanalysemethoden

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg: Physica-Verl., 1993

Published in: Betriebs- und Wirtschaftsinformatik ; 53
Reusch, Peter J. [Author]; Wintraecken, Jean-Jacques V. [Author]

Systemanalyse und Systemspezifikation

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim; Wien; Zürich: BI-Wiss.-Verl., 1990
Ferla, Giuseppe [Editor]; Fortuna, Luigi [Other]; Imbruglia, Antonio [Other]

Advanced topics in microelectronics and system design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Singapore [u.a.]: World Scientific, 2000
Schaumont, Patrick R. [Author]

A practical introduction to hardware/software codesign

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 2010
Ellis, George [Author]

Control system design guide : using your computer to understand and diagnose feedback controllers - [4. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam; Heidelberg: Butterworth-Heinemann, 2012
Ruban, Vladislav Ja. [Author]; Kiriljuk, Nikolaj I. [Author]; Dedikov, Ėduard A. [Author]

Sistemnoe proektirovanie ASU

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiev: Technika, 1983
Sevaldson, Birger [Author]

Designing complexity : the methodology and practice of systems oriented design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Champaign, IL: Common Ground Research Networks, [2022]
Beidl, Christian [Other] ; AVL Deutschland, Internationales Symposium für Entwicklungsmethodik 5 2013 Wiesbaden

Beiträge / 5. Internationales Symposium für Entwicklungsmethodik : robuste Methodik und Methodik für robuste Produkte? ; 22. und 23. Oktober 2013 im Kurhaus Wiesbaden : robust methodology and methodology for robust products? ; 22nd/23rd October 2013, Kurhaus Wiesbaden = Proceedings / 5th International Symposium on Development Methodology

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mainz-Kastel: AVL Deutschland, 2013

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication