الكتب الالكترونية

عدد الكتب: 1 - 20 /23
978-3-540-73433-8
Algebraic Biology

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...

اقرأ المزيد
978-3-540-73433-8
Algebraic Biology

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...

اقرأ المزيد
978-3-540-31969-6
Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

اقرأ المزيد
978-3-540-75596-8
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

اقرأ المزيد
978-3-540-75596-8
Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

اقرأ المزيد
978-3-540-74407-8
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

اقرأ المزيد
978-3-540-74407-8
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

اقرأ المزيد
NoIMG
Computational Intelligence (vol. # 174)

Hybrid Intelligent Systems has become an important research topic in computer science and a key application field in science ...

اقرأ المزيد
978-3-540-31829-3
Computer Aided Systems Theory – EUROCAST 2005

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

اقرأ المزيد
978-3-540-70545-1
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

اقرأ المزيد
978-3-030-36071-9
Cyber-Physical Systems: A Model-Based Approach

In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems ...

اقرأ المزيد
978-3-540-31616-9
Formal Modeling and Analysis of Timed Systems (vol. # 3829)

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

اقرأ المزيد
978-3-540-31954-2
Hybrid Systems: Computation and Control (vol. # 3414)

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, ...

اقرأ المزيد
978-3-540-33171-1
Hybrid Systems: Computation and Control (vol. # 3927)

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...

اقرأ المزيد
978-3-540-78929-1
Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...

اقرأ المزيد
978-3-540-32037-1
Model-Based Testing of Reactive Systems

This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and ...

اقرأ المزيد
NoIMG
Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...

اقرأ المزيد
978-3-540-32008-1
Operational Semantics for Timed Systems

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...

اقرأ المزيد
NoIMG
Optimal Control of Constrained Piecewise Affine Systems

One of the most important and challenging problems in control is the derivation of systematic tools for the computation of ...

اقرأ المزيد
978-0-8176-4649-3
Stability of Dynamical Systems : Continuous, Discontinuous, and Discrete Systems

In the analysis and synthesis of contemporary systems, engineers and scientists are frequently confronted with increasingly ...

اقرأ المزيد
عدد الكتب: 1 - 20 /23