- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897225398
3897225395
- Maße
-
21 cm
- Umfang
-
III, 187 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Hamburg, Univ., Diss., 1999
- Schlagwort
-
Petri-Netz
Lineare Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
2000
- Urheber
-
Farwer, Berndt
- 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:54 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
- Farwer, Berndt
- Logos-Verl.
Entstanden
- 2000
Ähnliche Objekte (12)
Modal logic
Logic and computations
Extending BPMN with deontic logic
Multi-object adaptive cruise control
Color based object detection and positioning
Improving proof search in intuitionistic propositional logic
Design recovery techniques for object oriented software systems
Event orientation and secure federation for object lifecycle management
On the expressive power of first-order logic with built in predicates
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
Object oriented network and systems management in a distributed environment : an approach towards technology independent management of broadband telecommunications networks
Proceedings of software engineering and quality assurance, 1
Modal logic
Logic and computations
Extending BPMN with deontic logic
Multi-object adaptive cruise control
Color based object detection and positioning
Improving proof search in intuitionistic propositional logic
Design recovery techniques for object oriented software systems
Event orientation and secure federation for object lifecycle management
On the expressive power of first-order logic with built in predicates
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
Object oriented network and systems management in a distributed environment : an approach towards technology independent management of broadband telecommunications networks
Proceedings of software engineering and quality assurance, 1
Modal logic
Logic and computations
Extending BPMN with deontic logic
Multi-object adaptive cruise control
Color based object detection and positioning
Improving proof search in intuitionistic propositional logic
Design recovery techniques for object oriented software systems
Event orientation and secure federation for object lifecycle management
On the expressive power of first-order logic with built in predicates
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
Object oriented network and systems management in a distributed environment : an approach towards technology independent management of broadband telecommunications networks