Period of time: 2007年3期
Publisher: Springer Publishing Company
Founded in: 1988
Total resources: 33
ISSN: 1388-3690
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.
LISP and Symbolic Computation,volume 17,issue 3
Menu
Compiler Optimization Correctness by Temporal Logic
LISP and Symbolic Computation,volume 17,issue 3 , Vol. 17, Iss. 3, 2004-09 , pp.Implementing Coloured Petri Nets Using a Functional Programming Language
By Kristensen Lars Michael in (2004)
LISP and Symbolic Computation,volume 17,issue 3 , Vol. 17, Iss. 3, 2004-09 , pp.A Retrospective on Region-Based Memory Management
LISP and Symbolic Computation,volume 17,issue 3 , Vol. 17, Iss. 3, 2004-09 , pp.