- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844033595
- Maße
-
21 cm, 269 g
- Umfang
-
XII, 162 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Dortmund, Techn. Univ., Diss., 2014
- Erschienen in
-
Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung / Technische Universität Dortmund ; Bd. 2015,1
- Schlagwort
-
Chemische Verfahrenstechnik
Ablaufsteuerung
Prozesssteuerung
Prozessmodell
Speicherprogrammierte Steuerung
Softwareentwicklung
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:37 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Fischer, Stephan
- Shaker
Entstanden
- 2015
Ähnliche Objekte (12)
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Formale Verifikation von MOS-Transistorschaltungen
Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Formale Verifikation von MOS-Transistorschaltungen
Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm
Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Formale Verifikation von MOS-Transistorschaltungen
Entwurf und Test stromgesteuert selbstgetakteter Schaltungen sowie ihre meßtechnische Verifikation
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Modulare Spezifikation und Verifikation objektbasierter Programme
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Spezifikation und Verifikation von Kommunikationsprotokollen mit Weg-Zeit-Diagramm