학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 206건 | 목록 1~10
Academic Journal
IEEE Transactions on Human-Machine Systems IEEE Trans. Human-Mach. Syst. Human-Machine Systems, IEEE Transactions on. 47(6):834-846 Dec, 2017
Academic Journal
In Electronic Notes in Theoretical Computer Science 11 July 2007 183:21-38
Conference
Proceedings. The 16th International Conference on Microelectronics, 2004. ICM 2004. Microelectronics Microelectronics, 2004. ICM 2004 Proceedings. The 16th International Conference on. :392-395 2004
Conference
ICM 2001 Proceedings. The 13th International Conference on Microelectronics. Microelectronics Microelectronics, 2001. ICM 2001 Proceedings. The 13th International Conference on. :257-260 2001
Conference
2000 Canadian Conference on Electrical and Computer Engineering. Conference Proceedings. Navigating to a New Era (Cat. No.00TH8492) Electrical and computer engineering Electrical and Computer Engineering, 2000 Canadian Conference on. 1:173-178 vol.1 2000
Conference
Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95 Engineering of complex computer systems Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on. :59-62 1995
Academic Journal
In: Computers and Education. (Computers and Education, June 2020, 150)
Conference
Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Computer assurance Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on. :183-193 1994
Conference
1991 International Workshop on the HOL Theorem Proving System and Its Applications HOL Theorem Proving System and Its Applications, 1991., International Workshop on the. :253-262 1991
검색 결과 제한하기
제한된 항목
[AR] Curzon, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어