Period of time： 2004年4期
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 40,issue 4
Menu
Program reversals for evolutions with non-uniform step costs
Acta Informatica,volume 40,issue 4 , Vol. 40, Iss. 4, 2004-02 , pp.
Access to resources
Recommend
Specification transformers: a predicate transformer approach to composition
By Charpentier Michel,Chandy K. in (2004)
Acta Informatica,volume 40,issue 4 , Vol. 40, Iss. 4, 2004-02 , pp.A bi-criterion single-machine scheduling problem with learning considerations
By Lee Wen-Chiung,Wu Chin-Chia,Sung Hua-Jung in (2004)
Acta Informatica,volume 40,issue 4 , Vol. 40, Iss. 4, 2004-02 , pp.