Period of time: 2003年1期
Publisher: Elsevier
Founded in: 1981
Total resources: 4
ISSN: 0167-6423
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.
Science of Computer Programming,volume 49,issue 1
Menu
On the theory of system administration
Science of Computer Programming,volume 49,issue 1 , Vol. 49, Iss. 1, 2003-12 , pp.The algebraic structure of interfaces
By Rees D.L.L., Stephenson K., Tucker J.V. in (2003)
Science of Computer Programming,volume 49,issue 1 , Vol. 49, Iss. 1, 2003-12 , pp.Abstract interpretation based verification of logic programs
By Comini M., Gori R., Levi G., Volpe P. in (2003)
Science of Computer Programming,volume 49,issue 1 , Vol. 49, Iss. 1, 2003-12 , pp.The classification of greedy algorithms
Science of Computer Programming,volume 49,issue 1 , Vol. 49, Iss. 1, 2003-12 , pp.