| 000 |
|
01747oam2 2200325 450 |
| 001 |
|
0012135731 |
| 005 |
|
20220703153020.8 |
| 010 |
__ |
■a978-7-111-68562-3■dCNY179.00 |
| 100 |
__ |
■a20210901d2021 em y0chiy50 ea |
| 101 |
1_ |
■achi■ceng |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■ay az 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a信息物理系统逻辑基础■dLogical foundation of cyber-physical systems■f+...... |
| 210 |
__ |
■a北京■c机械工业出版社■d2021.08 |
| 215 |
__ |
■a13,438页■d26cm |
| 225 |
1_ |
■a计算机科学丛书 |
| 305 |
__ |
■a本书中文简体字版由Springer授权机械工业出版社独家出版 |
| 314 |
__ |
■a安德烈·普拉泽 (André Platzer),男,计算机科学系教授。他拥有德国奥尔登堡大学的博士学位。 |
| 320 |
__ |
■a有书目和索引(第432-438页) |
| 330 |
__ |
■a本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中,读者将学习计算机科学、应用数学和控制论的许多基本概+...... |
| 461 |
_0 |
■12001 ■a计算机科学丛书 |
| 510 |
1_ |
■aLogical foundation of cyber-physical systems■zeng |
| 606 |
0_ |
■a控制系统 |
| 690 |
__ |
■aTP271■v5 |
| 701 |
_0 |
■a普拉泽■c(美)■c(Platzer, André)■4著■9pu la ze |
| 702 |
_0 |
■a曾海波■4译■9zeng hai bo |
| 702 |
_0 |
■a李仁发■4译■9li ren fa |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20220704 |
| 905 |
|
■a南昌职业大学图书馆■dTP271/35 |
(共0票)
评价
