Hochschulschrift

Verteilte Laufzeitverifikation auf eingebetteten Systemen : Logiken und Monitorkonstruktionen für asynchrone Prozesse

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783658128517
3658128518
Maße
21 cm, 254 g
Umfang
xxiii, 163 Seiten
Sprache
Deutsch
Anmerkungen
Illustrationen

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Wiesbaden
(wer)
Springer Vieweg
(wann)
[2016]
Urheber
Beteiligte Personen und Organisationen

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:47 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • [2016]

Ähnliche Objekte (12)

Verfügungsrechtliche Steuerung wertschöpfender Prozesse : ein gestaltender Ansatz der verteilten künstlichen Intelligenz am Beispiel des Verkehrsinfrastrukturbaus

Hochschulschrift

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

Eingebettete Systeme : Grundlagen eingebetteter Systeme in cyber-physikalischen Systemen

Informationssysteme im Bauwesen, 1.. Modelle, Methoden und Prozesse

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

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

Lehrbuch

Grundkurs verteilte Systeme : Grundlagen und Praxis des Client-Server und distributed computing

Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion

Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion

Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme

Hochschulschrift

Automatisierter Test numerischer Fehler in Softwaresystemen mit physikbasierten Berechnungen für eingebettete Systeme

Verteilte Systeme : Grundlagen und Basistechnologien

Lehrbuch

Verteilte Systeme : Grundlagen und Basistechnologien

Wireless-Netzwerke für den Nahbereich : eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren

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?

Lehrbuch

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

Nichtsequentielle Programmierung mit Go 1 kompakt : Einführung in die Konzepte der grundlegenden Programmiertechniken für Betriebssysteme, Parallele Algorithmen, Verteilte Systeme und Datenbanktransaktionen

Verbundene Objekte