Hochschulschrift
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
- Sprache
-
Deutsch
- Umfang
-
246 S.
- Maße
-
21 cm
- Anmerkungen
-
graph. Darst.
Zugl.: München, Univ., Diss., 1998
- ISBN
-
9783896753946
3896753940
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Verteiltes System
Verifikation
Markierungsgleichung
Constraint-Programmierung
Lineare Optimierung
- Urheber
-
Melzer, Stephan
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Utz, Wiss.
- (wann)
-
1998
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:28 MEZ
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
- Melzer, Stephan
- Utz, Wiss.
Entstanden
- 1998
Ähnliche Objekte (12)
Unterstützung verteilter nichtlinearer Videonachbearbeitung durch CSCW
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Pfad-Ersatzschalteverfahren mit verteilter Steuerung für ATM-Netze
CORBA-basiertes Enterprise-Management: Interoperabilität und Managementinstrumentierung verteilter kooperativer Managementsysteme in heterogener Umgebung
Aufgabenorientierte Offline-Programmierung von Industrierobotern
Über approximative Methoden der dynamischen Programmierung in der optimalen Steuerung
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Breviarium oecumenicum in linguis originalibus
Einführung in die technische Mechanik, Teil 1.. Statik
Rapid-Technologien : Anspruch - Realität - Zukunft : Augsburg, 11. Juli 2002
Unterstützung verteilter nichtlinearer Videonachbearbeitung durch CSCW
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Pfad-Ersatzschalteverfahren mit verteilter Steuerung für ATM-Netze
CORBA-basiertes Enterprise-Management: Interoperabilität und Managementinstrumentierung verteilter kooperativer Managementsysteme in heterogener Umgebung
Aufgabenorientierte Offline-Programmierung von Industrierobotern
Über approximative Methoden der dynamischen Programmierung in der optimalen Steuerung
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Breviarium oecumenicum in linguis originalibus
Einführung in die technische Mechanik, Teil 1.. Statik
Rapid-Technologien : Anspruch - Realität - Zukunft : Augsburg, 11. Juli 2002
Unterstützung verteilter nichtlinearer Videonachbearbeitung durch CSCW
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Pfad-Ersatzschalteverfahren mit verteilter Steuerung für ATM-Netze
CORBA-basiertes Enterprise-Management: Interoperabilität und Managementinstrumentierung verteilter kooperativer Managementsysteme in heterogener Umgebung
Aufgabenorientierte Offline-Programmierung von Industrierobotern
Über approximative Methoden der dynamischen Programmierung in der optimalen Steuerung
Die generelle Einstellung deutscher Rezipienten gegenüber Werbung, Buch.
Einführung in die technische Mechanik, Teil 2.. Elastostatik (Festigkeitslehre)
Innovative Montagesysteme : Anlagengestaltung, -bewertung und -überwachung
Breviarium oecumenicum in linguis originalibus
Einführung in die technische Mechanik, Teil 1.. Statik