Period of time： 2007年7期
Publisher： Springer Publishing Company
Founded in： 1971
Total resources： 23
ISSN： 0001-5903
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Acta Informatica,volume 43,issue 7
Menu
By Olderog Ernst-Rüdiger,Ravn Anders in (2007)
Acta Informatica,volume 43,issue 7 , Vol. 43, Iss. 7, 2007-02 , pp.
Access to resources
Recommend
Hybridization methods for the analysis of nonlinear systems
By Asarin Eugene,Dang Thao,Girard Antoine in (2007)
Acta Informatica,volume 43,issue 7 , Vol. 43, Iss. 7, 2007-02 , pp.Symbolic models for control systems
Acta Informatica,volume 43,issue 7 , Vol. 43, Iss. 7, 2007-02 , pp.By Wisniewski Rafael,Raussen Martin in (2007)
Acta Informatica,volume 43,issue 7 , Vol. 43, Iss. 7, 2007-02 , pp.