http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Specifying Broadcast Communication in a Sublanguage of E-LOTOS
Kapus-Kolar, M. IEEE 2003 p.2-6
Mihai, D.;Constantinescu, C. IEEE 2003 p.7-11
Security Issues in Information Systems Based on Open-Source Technologies
Greiner, S.;Boskovic, B.;Brest, J.;Zumer, V. IEEE 2003 p.12-15
A new approach to parallel joint diagonalization of symmetric matrices
Holobar, A.;Ojstersek, M.;Zazula, D. IEEE 2003 p.16-20
Verification of mutual exclusion algorithms with SMV System
Bogunovic, N.;Pek, E. IEEE 2003 p.21-25
Distance Learning System based on Distributed Semantic Networks
Rosic, M.;Glavinic, V.;Stankov, S. IEEE 2003 p.26-29
Verification of Bakery algorithm variants for two processes
Dedic, D.;Meolic, R. IEEE 2003 p.35-39
Deterministic Test Generation for Digital Circuits by Cellular Automata in a Java Applet
Pikula, T.;Gramatova, E.;Fischerova, M. IEEE 2003 p.40-43
Automatic Optimization of Wrapper Parallel Interface Constructions Applied to Digital Cores
Balaz, M.;Gramatova, E.;Fischerova, M. IEEE 2003 p.44-47