1 |
|
Advances in Soft Computing, Intelligent Robotics and Control [E-Book]
|
Fodor, János
|
2014 |
|
.
|
2 |
|
Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings [E-Book]
|
|
2017 |
500254547
|
.
|
3 |
|
Automatisierungstechnik: Methoden für die Überwachung und Steuerung kontinuierlicher und ereignisdiskreter Systeme ; ... mit 74 Anwendungsbeispielen und 84 Übungsaufgaben [Buch]
|
Lunze, Jan
|
2003 |
|
Regalstandort: 70 261.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
4 |
|
Carl Adam Petri: Eine Biographie [E-Book]
|
Smith, Einar
|
2014 |
|
.
|
5 |
|
Concurrency Control in Distributed System Using Mutual Exclusion [E-Book]
|
Kanrar, Sukhendu
|
2018 |
|
.
|
6 |
|
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500243489
|
.
|
7 |
|
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude [E-Book]
|
Ölveczky, Peter Csaba
|
2017 |
|
.
|
8 |
|
Discrete, Continuous, and Hybrid Petri Nets [E-Book]
|
|
2005 |
|
.
|
9 |
|
Embedded Systems Design Based on Formal Models of Computation [E-Book]
|
Radojevic, Ivan
|
2011 |
|
.
|
10 |
|
Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems: Analytical and Soft Computing Approaches [E-Book]
|
Witczak, Marcin
|
2014 |
|
.
|
11 |
|
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach [E-Book]
|
Zhan, Naijun
|
2017 |
|
.
|
12 |
|
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
13 |
|
Formalisms for Reuse and Systems Integration [E-Book]
|
Bouabana-Tebibel, Thouraya
|
2015 |
|
.
|
14 |
|
High-level Petri nets: theory and application [Buch]
|
|
1991 |
|
Regalstandort: ST 130 J54.
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
Anzahl Exemplare: 1.
|
15 |
|
Imprecision and Uncertainty in Information Representation and Processing: New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets [E-Book]
|
|
2016 |
|
.
|
16 |
|
Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme : mit 56 Tabellen [Buch]
|
Schnieder, Eckehard
|
1999 |
|
Regalstandort: ZQ 4200 S361.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
17 |
|
Modeling and simulation of distributed systems: with CD-ROM [Buch mit CDR]
|
Kostin, Alexander
|
2010 |
|
Regalstandort: ST 300 K86.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
18 |
|
Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen [Buch]
|
Ochsenschläger, Peter
|
1995 |
|
Regalstandort: ST 200 O16.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
19 |
|
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500256164
|
.
|
20 |
|
Novel Developments in Uncertainty Representation and Processing: Advances in Intuitionistic Fuzzy Sets and Generalized Nets – Proceedings of 14th International Conference on Intuitionistic Fuzzy Sets and Generalized Nets [E-Book]
|
|
2016 |
|
.
|