 | | | | | |
| Bild | | | | Bestellen |
|
|
91% |
|
|
|
€ 27,17*
pro Stück |
|
91% |
|
Paradigms of Concurrency (1 Angebot) Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki (McMaster University, CA) Jetty Kleijn (Leiden University, NL) Maciej Koutny (Newcastle Universi... |
Springer Verlag 9783662648193 |
€ 149,99*
pro Stück |
|
91% |
|
Concurrency and Nets (1 Angebot) is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pionee... |
Springer Verlag 9783642728242 |
€ 49,99*
pro Stück |
|
91% |
|
Formal Modeling and Analysis of Timed Systems (1 Angebot) This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 ... |
Springer Verlag 9783642043673 |
€ 49,99*
pro Stück |
|
91% |
|
Formal Modeling and Analysis of Timed Systems (1 Angebot) Invited Talk.- Modular Performance Analysis of Distributed Embedded Systems.- Logic and Specification.- Real Time Temporal Logic: Past, Present, Future.- Translating Timed I/O Automata Specificatio... |
Springer Verlag 9783540309468 |
€ 49,99*
pro Stück |
|
91% |
|
Formal Modeling and Analysis of Timed Systems (1 Angebot) This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. ... |
Springer Verlag 9783642402289 |
€ 46,00*
pro Stück |
|
91% |
|
Formal Modeling and Analysis of Timed Systems (1 Angebot) This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS a... |
Springer Verlag 9783540450269 |
€ 49,99*
pro Stück |
|
91% |
|
Biomimetic Neural Learning for Intelligent Robots (1 Angebot) Towards Biomimetic Neural Learning for Intelligent Robots.- Towards Biomimetic Neural Learning for Intelligent Robots.- I: Biomimetic Multimodal Learning in Neuron-Based Robots.- The Intentional At... |
Springer Verlag 9783540274407 |
€ 49,99*
pro Stück |
|
91% |
|
The Future of India's Social Safety Nets (1 Angebot) provides a comprehensive analysis of these systems by combining insights from a wealth of interdisciplinary scholarship on social protection, economic development, and social policy. It covers Indi... |
Springer Verlag 9783031507465 |
€ 49,99*
pro Stück |
|
91% |
|
The Future of India's Social Safety Nets (1 Angebot) provides a comprehensive analysis of these systems by combining insights from a wealth of interdisciplinary scholarship on social protection, economic development, and social policy. It covers Indi... |
Springer Verlag 9783031507496 |
€ 39,99*
pro Stück |
|
91% |
|
Automated Technology for Verification and Analysis (1 Angebot) Keynote Speech.- Games for Formal Design and Verification of Reactive Systems.- Evolution of Model Checking into the EDA Industry.- Abstraction Refinement.- Invited Speech.- Tools for Automated Ver... |
Springer Verlag 9783540236108 |
€ 99,99*
pro Stück |
|
91% |
|
Intelligent Computing Theories and Technology (1 Angebot) This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013. The 79 revised full papers presented we... |
Springer Verlag 9783642394812 |
€ 49,99*
pro Stück |
|
91% |
|
CONCUR 2002 - Concurrency Theory (1 Angebot) Invited Talks.- Refinement and Verification Applied to an In-Flight Data Acquisition Unit*.- A Deductive Proof System for CTL*.- Event-State Duality: The Enriched Case.- Expressive Power of Tempora... |
Springer Verlag 9783540440437 |
€ 99,99*
pro Stück |
|
91% |
|
|
ekey biometric systems 101394 |
ab € 644,51*
pro Stück |
|
91% |
|
|
ekey biometric systems 101395 |
ab € 937,51*
pro Stück |
|
|
