- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VI, 179 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Braunschweig, Techn. Univ., Diss., 1993
- Schlagwort
-
Informationssystem
Systementwicklung
Objektorientierung
- Urheber
-
Jungclaus, Ralf
- 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:52 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.
Beteiligte
- Jungclaus, Ralf
Ähnliche Objekte (12)
Modeling of dynamic object systems : a logic based approach
Logic based modeling and optimization of discrete continuous dynamic systems
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Linear logic based calculi for object Petri nets
Dynamic object-based inheritance with subtyping
DYNAMIC KEYPOINT-BASED ALGORITHM OF OBJECT TRACKING
Modeling of dynamic systems with Petri nets and fuzzy logic
Modeling of dynamic systems with Petri nets and fuzzy logic
Relational Differential Dynamic Logic
First-order dynamic logic
Hybrid dynamic logic institutions for event/data-based systems
Modeling of dynamic object systems : a logic based approach
Logic based modeling and optimization of discrete continuous dynamic systems
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Linear logic based calculi for object Petri nets
Dynamic object-based inheritance with subtyping
DYNAMIC KEYPOINT-BASED ALGORITHM OF OBJECT TRACKING
Modeling of dynamic systems with Petri nets and fuzzy logic
Modeling of dynamic systems with Petri nets and fuzzy logic
Relational Differential Dynamic Logic
First-order dynamic logic
Hybrid dynamic logic institutions for event/data-based systems
Modeling of dynamic object systems : a logic based approach
Logic based modeling and optimization of discrete continuous dynamic systems
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Linear logic based calculi for object Petri nets
Dynamic object-based inheritance with subtyping
DYNAMIC KEYPOINT-BASED ALGORITHM OF OBJECT TRACKING
Modeling of dynamic systems with Petri nets and fuzzy logic
Modeling of dynamic systems with Petri nets and fuzzy logic
Relational Differential Dynamic Logic
First-order dynamic logic