|
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 |
 |
Carl Adam Petri: Eine Biographie [E-Book]
|
Smith, Einar
|
2014 |
|
.
|
|
4 |
 |
Concurrency Control in Distributed System Using Mutual Exclusion [E-Book]
|
Kanrar, Sukhendu
|
2018 |
|
.
|
|
5 |
 |
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500243489
|
.
|
|
6 |
 |
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude [E-Book]
|
Ölveczky, Peter Csaba
|
2017 |
|
.
|
|
7 |
 |
Discrete, Continuous, and Hybrid Petri Nets [E-Book]
|
|
2005 |
|
.
|
|
8 |
 |
Embedded Systems Design Based on Formal Models of Computation [E-Book]
|
Radojevic, Ivan
|
2011 |
|
.
|
|
9 |
 |
Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems: Analytical and Soft Computing Approaches [E-Book]
|
Witczak, Marcin
|
2014 |
|
.
|
|
10 |
 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach [E-Book]
|
Zhan, Naijun
|
2017 |
|
.
|
|
11 |
 |
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [E-Book]
|
Kleuker, Stephan
|
2009 |
|
.
|
|
12 |
 |
Formalisms for Reuse and Systems Integration [E-Book]
|
Bouabana-Tebibel, Thouraya
|
2015 |
|
.
|
|
13 |
 |
Imprecision and Uncertainty in Information Representation and Processing: New Tools Based on Intuitionistic Fuzzy Sets and Generalized Nets [E-Book]
|
|
2016 |
|
.
|
|
14 |
 |
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday [E-Book]
|
|
2017 |
500256164
|
.
|
|
15 |
 |
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 |
|
.
|
|
16 |
 |
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines [E-Book]
|
|
2006 |
|
.
|
|
17 |
 |
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems [E-Book]
|
Gorrieri, Roberto
|
2017 |
|
.
|
|
18 |
 |
Scalable Techniques for Formal Verification [E-Book]
|
Ray, Sandip
|
2010 |
|
.
|
|
19 |
 |
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach [E-Book]
|
Iordache, Marian V.
|
2006 |
|
.
|
|
20 |
 |
Transactions on Petri Nets and Other Models of Concurrency XII [E-Book]
|
|
2017 |
500257506
|
.
|
