http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Common knowledge in well-structured perfect recall systems
Garanina, N. O. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.381-388
Software defect detection by combining bounded model checking and approximations of functions
Akhin, M. K.; Belyaev, M. A.; Itsykson, V. M. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.389-397
A formal model and verification problems for software defined networks
Zakharov, V. A.; Smelyansky, R. L.; Chemeritsky, E. V. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.398-406
Automatic C program verification based on mixed axiomatic semantics
Maryasov, I. V.; Nepomnyaschy, V. A.; Promsky, A. V.; Kondratyev, D. A. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.407-414
A formal approach to test scenarios generation based on guides
Drobintsev, P. D.; Kotlyarov, V. P.; Letichevsky, A. A. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.415-423
Construction and verification of PLC LD programs by the LTL specification
Kuzmin, E. V.; Sokolov, V. A.; Ryabukhin, D. A. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.424-436
Designing and development of an imitation model of a multitenant database cluster
Boytsov, E. A. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.437-444
Steady states of a delay differential equation of an insect population’s dynamics
Kashchenko, S. A. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.445-457
Corner boundary layer in nonlinear elliptic problems containing first-order derivatives
Butuzov, V. F.; Denisov, I. V. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.458-476
Influence of delayed feedback control on the stability of periodic orbits
Bogaevskaya, V. G.; Kashchenko, I. S. SPRINGER SCIENCE + BUSINESS MEDIA 2014 p.477-486
SJR(SCImago Journal Rank)는 스페인 Consejo Superior de Investigaciones Cintificas의 Felix de Moya 교수에 의해 개발된 것으로, '모든 인용은 동등하지 않다'는 전제를 기반으로 둔 학술지의 영향력 지수입니다.
구글의 Page Rank 알고리즘의 영향을 받아 전체 인용 네트워크에서 노드에 점수를 매기는 방식으로, 명성이 높은 저널에서의 인용은 고득점으로 평가되어 같은 인용이라도 보다 높게 평가 됩니다. 또한 저널의 주제분야, 질과 명성이 모두 직접 영향을 미치는 평가 지료라고 할 수 있습니다.
Scopus 데이터의 인용정보를 활용하여 산출되며, Scopus에 등재되지 않은 OA 저널평가에도 유용합니다.