Hochschulschrift
Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783658128517
3658128518
- Dimensions
-
21 cm, 254 g
- Extent
-
xxiii, 163 Seiten
- Language
-
Deutsch
- Notes
-
Illustrationen
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Wiesbaden
- (who)
-
Springer Vieweg
- (when)
-
[2016]
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:47 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Schmitz, Malte
- Springer Fachmedien Wiesbaden
- Springer Vieweg
Time of origin
- [2016]
Other Objects (12)
Verfügungsrechtliche Steuerung wertschöpfender Prozesse : ein gestaltender Ansatz der verteilten künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus
Eingebettete Systeme : Grundlagen eingebetteter Systeme in cyber-physikalischen Systemen
Informationssysteme im Bauwesen, 1.. Modelle, Methoden und Prozesse
Nichtsequentielle und verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation - Kooperation - Konkurrenz
Grundkurs verteilte Systeme : Grundlagen und Praxis des Client-Server und distributed computing
Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion
Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme
Verteilte Systeme : Grundlagen und Basistechnologien
Wireless-Netzwerke für den Nahbereich : eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren
Logikkalküle in der Informatik : wie wird Logik vom Rechner genutzt?
Nichtsequentielle Programmierung mit Go 1 kompakt : Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, Parallele Algorithmen, Verteilte Systeme und Datenbanktransaktionen
Verfügungsrechtliche Steuerung wertschöpfender Prozesse : ein gestaltender Ansatz der verteilten künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus
Eingebettete Systeme : Grundlagen eingebetteter Systeme in cyber-physikalischen Systemen
Informationssysteme im Bauwesen, 1.. Modelle, Methoden und Prozesse
Nichtsequentielle und verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation - Kooperation - Konkurrenz
Grundkurs verteilte Systeme : Grundlagen und Praxis des Client-Server und distributed computing
Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion
Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme
Verteilte Systeme : Grundlagen und Basistechnologien
Wireless-Netzwerke für den Nahbereich : eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren
Logikkalküle in der Informatik : wie wird Logik vom Rechner genutzt?
Nichtsequentielle Programmierung mit Go 1 kompakt : Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, Parallele Algorithmen, Verteilte Systeme und Datenbanktransaktionen
Verfügungsrechtliche Steuerung wertschöpfender Prozesse : ein gestaltender Ansatz der verteilten künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus
Eingebettete Systeme : Grundlagen eingebetteter Systeme in cyber-physikalischen Systemen
Informationssysteme im Bauwesen, 1.. Modelle, Methoden und Prozesse
Nichtsequentielle und verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation - Kooperation - Konkurrenz
Grundkurs verteilte Systeme : Grundlagen und Praxis des Client-Server und distributed computing
Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion
Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme
Verteilte Systeme : Grundlagen und Basistechnologien
Wireless-Netzwerke für den Nahbereich : eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren
Logikkalküle in der Informatik : wie wird Logik vom Rechner genutzt?