Author Results for Platzer, André

(美)安德烈·普拉泽(André Platzer)著
Platzer,André
SpringerLink (Online service)
普拉泽
曾海波
see all »
李仁发

1
Logical foundations of cyber-physical systems /

Cover is for reference only
Main Authors: Platzer, André
Group Author: Frehse, G. Goran
Published: Springer,
Publication Dates: [2018]
Call Number: TP303/P719
Book
Save to List
Saved in:
2
Logical analysis of hybrid systems proving theorems for complex dynamics

Cover is for reference only
Main Authors: Platzer André.
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2010.
Book
Save to List
Saved in:
3
信息物理系统逻辑基础

Cover is for reference only
Main Authors: (美) 普拉泽 Platzer, André (著)
Group Author: 曾海波 (译); 李仁发 (译)
Published: 机械工业出版社
Publication Dates: 2021
Call Number: TP271/8653
Book
Save to List
Saved in:
4
Arbeitswelt 2030 : Trends, Prognosen, Gestaltungsmöglichkeiten /

Cover is for reference only
Group Author: Rump, Jutta (Editor); Walter, Norbert (Editor)
Published: Schäffer-Poesche Verlag,
Publication Dates: 2013.
Call Number: WG/F249.516.0/A664
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —