中国机械工程学会生产工程分会知识服务平台

期刊


ISSN1462-5970
刊名IEE Proceedings
参考译名英国电气工程师学会志：软件
收藏年代1999～2006

关联期刊参考译名收藏年代
IET Software英国电气工程师学会志：软件2007～2013


全部

1999 2000 2001 2002 2003 2004
2005 2006

2003, vol.150, no.1 2003, vol.150, no.2 2003, vol.150, no.3 2003, vol.150, no.4 2003, vol.150, no.5 2003, vol.150, no.6

题名作者出版年年卷期
Extending CSP: denotational semanticsA. E. Lawrence20032003, vol.150, no.2
CSP extended: imperative state and true concurrencyA. E. Lawrence20032003, vol.150, no.2
View-centric reasoning for Linda and tuple space computationM. L. Smith; R. J. Parsons; C. E. Hughes20032003, vol.150, no.2
Predicate transformers in the semantics of circusA. L. C. Cavalcanti; J. C. P. Woodcock20032003, vol.150, no.2
The honeysuckle programming language: an overviewI. East20032003, vol.150, no.2
Graphical modelling language for specifying concurrency based on CSPG. H. Hilderink20032003, vol.150, no.2
Prioritized dynamic communicating and mobile processesF. R. M. Barnes; P. H. Welch20032003, vol.150, no.2
Wait-free cache-affinity thread schedulingK. Debattista; K. Vella; J. Cordina20032003, vol.150, no.2
Java PastSet: a structured distributed shared memory systemK. S. Pedersen; B. Vinter20032003, vol.150, no.2
Configuration discovery and mapping of a home networkK. Pugh20032003, vol.150, no.2



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024