1 |
![Advances in Soft Computing, Intelligent Robotics and Control Advances in Soft Computing, Intelligent Robotics and Control](Cover.cls?type=cover&isbn=9783319059457&size=100) |
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 Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319578613&size=100) |
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 Automatisierungstechnik: Methoden für die Überwachung und Steuerung kontinuierlicher und ereignisdiskreter Systeme ; ... mit 74 Anwendungsbeispielen und 84 Übungsaufgaben](Cover.cls?type=cover&isbn=9783486274301&size=100) |
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 Carl Adam Petri: Eine Biographie](Cover.cls?type=cover&isbn=9783642402227&size=100) |
Carl Adam Petri: Eine Biographie [E-Book]
|
Smith, Einar
|
2014 |
|
.
|
5 |
![Concurrency Control in Distributed System Using Mutual Exclusion Concurrency Control in Distributed System Using Mutual Exclusion](Cover.cls?type=cover&isbn=9789811055591&size=100) |
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 Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday](Cover.cls?type=cover&isbn=9783319510460&size=100) |
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 Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude](Cover.cls?type=cover&isbn=9781447166870&size=100) |
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 Discrete, Continuous, and Hybrid Petri Nets](Cover.cls?type=cover&isbn=9783540268215&size=100) |
Discrete, Continuous, and Hybrid Petri Nets [E-Book]
|
|
2005 |
|
.
|
9 |
![Embedded Systems Design Based on Formal Models of Computation Embedded Systems Design Based on Formal Models of Computation](Cover.cls?type=cover&isbn=9789400715943&size=100) |
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 Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems: Analytical and Soft Computing Approaches](Cover.cls?type=cover&isbn=9783319030142&size=100) |
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 Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach](Cover.cls?type=cover&isbn=9783319470160&size=100) |
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 Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation](Cover.cls?type=cover&isbn=9783834895950&size=100) |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
13 |
![Formalisms for Reuse and Systems Integration Formalisms for Reuse and Systems Integration](Cover.cls?type=cover&isbn=9783319165776&size=100) |
Formalisms for Reuse and Systems Integration [E-Book]
|
Bouabana-Tebibel, Thouraya
|
2015 |
|
.
|
14 |
![High-level Petri nets: theory and application High-level Petri nets: theory and application](Cover.cls?type=cover&isbn=9783540541257&size=100) |
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 Imprecision and Uncertainty in Information Representation and Processing: New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets](Cover.cls?type=cover&isbn=9783319263021&size=100) |
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 Methoden der Automatisierung: Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme : mit 56 Tabellen](Cover.cls?type=cover&isbn=9783528065669&size=100) |
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 Modeling and simulation of distributed systems: with CD-ROM](Cover.cls?type=cover&isbn=9789814291675&size=100) |
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 Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen](Cover.cls?type=cover&isbn=9783528054335&size=100) |
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 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday](Cover.cls?type=cover&isbn=9783319631219&size=100) |
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 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](Cover.cls?type=cover&isbn=9783319262116&size=100) |
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 |
|
.
|