1. Logical Foundations of Cyber-Physical Systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.

رده :
QA8
.
9-QA10
.
3

2. Logical analysis of hybrid systems

پدیدآورنده :

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

3. Logical analysis of hybrid systemsproving theorems for complex dynamics

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، System analysis,، Hybrid systems,، Electronic books

رده :
T
57
.
6
.
P53

4. Logical foundations of cyber-physical systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.,Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.

رده :
TJ213
.
P537
2018

5. Logical foundations of cyber-physical systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.,Autonomic computing.,Cooperating objects (Computer systems),Cybernetics.,Embedded computer systems.

رده :
TJ213
.
P537
2018