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

期刊


ISSN0952-8091
刊名International Journal of Computer Applications in Technology
参考译名国际计算机在技术中的应用杂志
收藏年代1998～2024



全部

1998 1999 2000 2001 2002 2003
2004 2005 2006 2007 2008 2009
2010 2011 2012 2013 2014 2015
2016 2017 2018 2019 2020 2021
2022 2023 2024

2011, vol.40, no.1/2 2011, vol.40, no.3 2011, vol.40, no.4 2011, vol.41, no.1/2 2011, vol.41, no.3/4 2011, vol.42, no.1
2011, vol.42, no.2/3 2011, vol.42, no.4

题名作者出版年年卷期
Virtual start-up of plants using formal methodsSebastian Preusse; Christian Gerber; Hans-Michael Hanisch20112011, vol.42, no.2/3
Combining formal methods for the development of reactive systemsOlfa Mosbahi; Mohamed Khalgui20112011, vol.42, no.2/3
Evaluation of meta-heuristic approaches for scheduling optimisation of flexible manufacturing systemsM. Saravanan; A. Noorul Haq20112011, vol.42, no.2/3
Incremental verification of component-based timed systemsJ. Julliand; H. Mountassir; E. Oudot20112011, vol.42, no.2/3
Real-time reconfigurable SoC for process controlAhmed Karim Ben Salem; Slim Ben Othman; Slim Ben Saoud20112011, vol.42, no.2/3
A multi-level design methodology of multistage interconnection network for MPSOCsYassine Aydi; Mouna Baklouti; Mohamed Abid; Jean-Luc Dekeyser20112011, vol.42, no.2/3
Nominal decomposition of colour space transformation for the computer system for the reconfigurable computing and SA-C programmingJian-Long Kuo20112011, vol.42, no.2/3
Using ontology to generate test cases for GUI testingHan Li; He Guo; Feng Chen; Hongji Yang; Yuansheng Yang20112011, vol.42, no.2/3
Evaluation of mechanical behaviour of bone, implant and bone-implant interface by numerical simulation of two surgical fixation procedures using finite element analysisD. Devika; G. Arumaikkannu20112011, vol.42, no.2/3
A dynamic state estimation method for power systemsQing-quan Jia; Ning Wang; Chun-xia Dou; Zhi-qian Bo20112011, vol.42, no.2/3
12



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