Skip to contents

Weisshaupt, Bruno [Author]

Interdisziplinärer prozessorientierter Entwurf intelligenter technischer Systeme

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1998
Beroggi, Giampiero E. G. [Author]

Neue Technologien zur Unterstützung des Risikomanagements : eine Systems Engineering Betrachtungsweise zum Entwurf von Risikoinformationssystemen

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Zürich: vdf, Hochschulverl. an der ETH, 1995

Published in: Polyprojekt Risiko und Sicherheit ; 4
Hubka, Vladimir [Author]

Theorie technischer Systeme : Grundlagen einer wissenschaftlichen Konstruktionslehre - [Zweite, völlig neu bearbeitete und erweiterte Auflage]

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York: Springer-Verlag GmbH, 1984

Published in: Hochschultext
Del Re, Luigi [Author]; Reiterer, Florian [Author]; Polterauer, Phillip [Author]

Von Signalen zu Systemen - [3. überarbeitete Auflage]

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Linz, Österreich: Trauner Verlag, 2017
Vogel-Heuser, Birgit [Editor]

Embedded systems / 1, Tagungen und Berichte, 1, Automation & embedded systems : Effizienzsteigerung im Engineering / Hrsg. von Birgit Vogel-Heuser

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kassel: univ. press, 2009

Published in: Embedded systems ; 1
Haldar, Achintya [Author]; Mahadevan, Sankaran [Author]

Probability, reliability and statistical methods in engineering design

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Weinheim [u.a.]: Wiley, c2000
Dai, Fan [Editor]

Virtual reality for industrial applications

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Computer graphics ; systems and applications
Fritzsche, Klemens [Author] ; Röbenack, Klaus [Degree supervisor]; Schöberl, Markus [Degree supervisor]; Zerz, Eva [Degree supervisor] Technische Universität Dresden

Algebraische Flachheitsanalyse nichtlinearer Systeme

View online
Schließen

Access

... to E-book via Resolving system

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Düren: Shaker Verlag, 2024

Published in: Berichte aus der Steuerungs- und Regelungstechnik
Schrick, Dirk van [Author]

Entepetives Management - Konstrukt, Konstruktion, Konzeption : Entwurf eines Begriffssystems zum Umgang mit Fehlern, Ausfällen und anderen nichterwünschten technischen Phänomenen

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 2002

Published in: Berichte aus der Automatisierungstechnik
Rudolph, Joachim [Author]

Flatness based control of distributed parameter systems : [notes for a course at the Max Planck Institute for dynamics of complex technical systems at Magdeburg, Germany, on February 24 - 28, 2003]

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 2003

Published in: Berichte aus der Steuerungs- und Regelungstechnik
Weißbach, Hans-Jürgen [Other] ; IUK-Institut für Sozialwissenschaftliche Technikforschung Dortmund

Technikrisiken als Kulturdefizite : die Systemsicherheit in der hochautomatisierten Produktion

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Ed. Sigma, 1994
Rudolph, Joachim [Author]; Winkler, Jan [Author]; Woittennek, Frank [Author]

Flatness based control of distributed parameter systems : examples and computer exercises from various technological domains

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 2003

Published in: Berichte aus der Steuerungs- und Regelungstechnik
Rauh, Andreas [Editor]; Auer, Ekaterina [Other]

Modeling, design, and simulation of systems with uncertainties

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Mathematical engineering
Keller, Hubert B. [Author]

Echtzeitsimulation zur Prozeßführung komplexer Systeme : Entwurf und Realisierung eines Systems zur interaktiven graphischen Modellierung und zur modularen/verteilten Echtzeitsimulation verkoppelter dynamischer Systeme

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1988

Published in: Fachberichte Simulation ; 11
Salaün, Gwen [Editor]; Schätz, Bernhard [Other] ; FMICS 16 2011 Trient

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6959
Kowalewski, Stefan [Editor]; Roveri, Marco [Other] ; FMICS 15 2010 Antwerpen

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6371
Cofer, Darren [Editor]; Fantechi, Alessandro [Other] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5596
Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5825
Leue, Stefan [Editor]; Merino, Pedro [Other] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

View online
Schließen

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4916
Margaria, Tiziana [Editor] ; ISoLA 4 2010 Heraklion

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

Merkliste Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 20XX-

Published in: Lecture notes in computer science ; .

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.

Skip to contents

Interdisziplinärer prozessorientierter Entwurf intelligenter technischer Systeme

Neue Technologien zur Unterstützung des Risikomanagements : eine Systems Engineering Betrachtungsweise zum Entwurf von Risikoinformationssystemen

Theorie technischer Systeme : Grundlagen einer wissenschaftlichen Konstruktionslehre - [Zweite, völlig neu bearbeitete und erweiterte Auflage]

Von Signalen zu Systemen - [3. überarbeitete Auflage]

Embedded systems / 1, Tagungen und Berichte, 1, Automation & embedded systems : Effizienzsteigerung im Engineering / Hrsg. von Birgit Vogel-Heuser

Probability, reliability and statistical methods in engineering design

Virtual reality for industrial applications

Algebraische Flachheitsanalyse nichtlinearer Systeme

Access

Entepetives Management - Konstrukt, Konstruktion, Konzeption : Entwurf eines Begriffssystems zum Umgang mit Fehlern, Ausfällen und anderen nichterwünschten technischen Phänomenen

Flatness based control of distributed parameter systems : [notes for a course at the Max Planck Institute for dynamics of complex technical systems at Magdeburg, Germany, on February 24 - 28, 2003]

Technikrisiken als Kulturdefizite : die Systemsicherheit in der hochautomatisierten Produktion

Flatness based control of distributed parameter systems : examples and computer exercises from various technological domains

Modeling, design, and simulation of systems with uncertainties

Echtzeitsimulation zur Prozeßführung komplexer Systeme : Entwurf und Realisierung eines Systems zur interaktiven graphischen Modellierung und zur modularen/verteilten Echtzeitsimulation verkoppelter dynamischer Systeme

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

You did not find what you were looking for?

Suchergebnisse filtern

Access

Media type

Year of publication

Availability

Location

Access State

Language

Subject

Creator

Collection

You did not find what you were looking for?

> Year of publication

Year of publication