RISS 처음 방문이세요?
학술연구정보서비스 검색
MyRISS
회원서비스
설정
About RISS
RISS 처음 방문 이세요?
고객센터
RISS 활용도 분석
최신/인기 학술자료
해외자료신청(E-DDS)
RISS API 센터
해외전자정보서비스 검색
Databases & Journals
해외전자자료 이용안내
해외전자자료 통계
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
최근 검색 목록
통합검색 DB 원하는 DB만 선택하여 검색하실 수 있습니다.
A~C
D~L
M~W
- 해외DB품목별 바로가기 버튼()을 통하여 직접 접속 하시면, 접근 권한이 있는 이용자에 한해 DB별 검색 가능
- JCR, PML, ProQuest Central 품목은 체크박스에 개별 선택을 통한 제한 검색 불가
※ 구독기관 소속 이용자에 한하여 품목명 오른편의 바로가기 버튼() 으로 직접 접속이 가능하며, JCR은 통합검색 후 출력되는 화면 내에서도 이용 가능
개별검색 DB통합검색이 안되는 DB는 DB아이콘을 클릭하여 이용하실 수 있습니다.
전분야 전자저널
전분야 신문기사
교육분야
전분야
영어사전
법학분야
통계정보 및 조사/분석시스템
해외석박사학위논문 목록
해외석박사학위논문 원문
예술 / 패션
법률/뉴스정보(미국, 영연방)
법률/뉴스정보(일본)
법률/뉴스정보(중국)
법률/뉴스정보(프랑스)
<해외전자자료 이용권한 안내>
- 이용 대상 : RISS의 모든 해외전자자료는 교수, 강사, 대학(원)생, 연구원, 대학직원에 한하여(로그인 필수) 이용 가능
- 구독대학 소속 이용자: RISS 해외전자자료 통합검색 및 등록된 대학IP 대역 내에서 24시간 무료 이용
- 미구독대학 소속 이용자: RISS 해외전자자료 통합검색을 통한 오후 4시~익일 오전 9시 무료 이용
※ 단, EBSCO ASC/BSC(오후 5시~익일 오전 9시 무료 이용)
RISS 인기검색어
검색결과 좁혀 보기
좁혀본 항목 보기순서
오늘 본 자료
Provably correct conflict prevention bands algorithms
Narkawicz, A., Munoz, C., Dowek, G. Elsevier Science B.V., Amsterdam. 2012 Science of computer programming Vol.77 No.10-11
A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
Narkawicz, Anthony, Munoz, Cesar AIAA 2015 PAPERS - AMERICAN INSTITUTE OF AERONAUTICS AND AST Vol.2015 No.0113-0986
AN INDEPENDENT AND COORDINATED CRITERION FOR KINEMATIC AIRCRAFT MANEUVERS (AIAA 2014-2859)
Narkawicz, A., Munoz, C., Hagen, G.E. Reston, VA; American Institute of Aeronautics and Astronautics 2014 AVIATION TECHNOLOGY INTEGRATION AND OPERATIONS CON Vol.14 No.3
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems
Narkawicz, A., Muñoz, C. s., Dutle, A. Springer Science + Business Media 2015 Journal of automated reasoning Vol.54 No.4
A Formally Verified Generic Branching Algorithm for Global Optimization
Narkawicz, A., Munoz, C. SPRINGER-VERLAG 2014 Lecture Notes in Computer Science Vol.- No.8164
A MATHEMATICAL ANALYSIS OF AIR TRAFFIC PRIORITY RULES
Narkawicz, A., Munoz, C., Maddalon, J. Red Hook, NY; Curran Associates, Inc. 2012 PAPERS - AMERICAN INSTITUTE OF AERONAUTICS AND AST Vol.2012 No.3
Coordination Logic for Repulsive Resolution Maneuvers (AIAA 2016-3156)
Narkawicz, Anthony, Munoz, Cesar, Dutle, Aaron AIAA 2016 PAPERS - AMERICAN INSTITUTE OF AERONAUTICS AND AST Vol.2016 No.3143-3293
Algorithms for Collision Detection Between a Point and a Moving Polygon, with Applications to Aircraft Weather Avoidance (AIAA 2016-3598)
Narkawicz, Anthony, Hagen, George E. AIAA 2016 PAPERS - AMERICAN INSTITUTE OF AERONAUTICS AND AST Vol.2016 No.3294-3909
Formal verification of lateral and temporal safety buffers for state-based conflict detection
Anthony Narkawicz, César Muñoz, Heber Herencia-Zap Sage Periodicals Inc 2013 Proceedings of the Institution of Mechanical Engin Vol.227 No.9
Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft
Muñoz, César, Narkawicz, Anthony Springer 2016 Lecture Notes in Computer Science Vol.2016 No.9690
이 검색어로 많이 본 자료
활용도 높은 자료