期刊


ISSN0018-9219
刊名Proceedings of the IEEE
参考译名电气与电子工程师学会会报
收藏年代1998～2013



全部

1998 1999 2000 2001 2002 2003
2004 2005 2006 2007 2008 2009
2010 2011 2012 2013

2004, vol.92, no.1 2004, vol.92, no.10 2004, vol.92, no.11 2004, vol.92, no.12 2004, vol.92, no.2 2004, vol.92, no.3
2004, vol.92, no.4 2004, vol.92, no.5 2004, vol.92, no.6 2004, vol.92, no.7 2004, vol.92, no.8 2004, vol.92, no.9

题名作者出版年年卷期
Holographic Data Storage SystemsLAMBERTUS HESSELINK; SERGEI S. ORLOV; MATTHEW C. BASHAW20042004, vol.92, no.8
Formal Verification of Timed Systems: A Survey and PerspectiveFARN WANG20042004, vol.92, no.8
Specification and Analysis of Power-Managed SystemsALESSANDRO BOGLIOLO; LUCA BENINI; EMANUELE LATTANZI; GIOVANNI DE MICHELI20042004, vol.92, no.8



制造业外文文献服务平台