학술논문


EBSCO Discovery Service
발행년
-
(예 : 2010-2015)
전자자료 공정이용 안내

우리 대학 도서관에서 구독·제공하는 모든 전자자료(데이터베이스, 전자저널, 전자책 등)는 국내외 저작권법과 출판사와의 라이선스 계약에 따라 엄격하게 보호를 받고 있습니다.
전자자료의 비정상적 이용은 출판사로부터의 경고, 서비스 차단, 손해배상 청구 등 학교 전체에 심각한 불이익을 초래할 수 있으므로, 아래의 공정이용 지침을 반드시 준수해 주시기 바랍니다.

공정이용 지침
  • 전자자료는 개인의 학습·교육·연구 목적의 비영리적 사용에 한하여 이용할 수 있습니다.
  • 합리적인 수준의 다운로드 및 출력만 허용됩니다. (일반적으로 동일 PC에서 동일 출판사의 논문을 1일 30건 이하 다운로드할 것을 권장하며, 출판사별 기준에 따라 다를 수 있습니다.)
  • 출판사에서 제공한 논문의 URL을 수업 관련 웹사이트에 게재할 수 있으나, 출판사 원문 파일 자체를 복제·배포해서는 안 됩니다.
  • 본인의 ID/PW를 타인에게 제공하지 말고, 도용되지 않도록 철저히 관리해 주시기 바랍니다.
불공정 이용 사례
  • 전자적·기계적 수단(다운로딩 프로그램, 웹 크롤러, 로봇, 매크로, RPA 등)을 이용한 대량 다운로드
  • 동일 컴퓨터 또는 동일 IP에서 단시간 내 다수의 원문을 집중적으로 다운로드하거나, 전권(whole issue) 다운로드
  • 저장·출력한 자료를 타인에게 배포하거나 개인 블로그·웹하드 등에 업로드
  • 상업적·영리적 목적으로 자료를 전송·복제·활용
  • ID/PW를 타인에게 양도하거나 타인 계정을 도용하여 이용
  • EndNote, Mendeley 등 서지관리 프로그램의 Find Full Text 기능을 이용한 대량 다운로드
  • 출판사 콘텐츠를 생성형 AI 시스템에서 활용하는 행위(업로드, 개발, 학습, 프로그래밍, 개선 또는 강화 등)
위반 시 제재
  • 출판사에 의한 해당 IP 또는 기관 전체 접속 차단
  • 출판사 배상 요구 시 위반자 개인이 배상 책임 부담
'학술논문' 에서 검색결과 643건 | 목록 1~20
Academic Journal
IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 8(3):1595-1602 Mar, 2023
Conference
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on. :101-110 May, 2015
Conference
12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) Real-Time and Embedded Technology and Applications Symposium, 2006. Proceedings of the 12th IEEE. :253-266 2006
Conference
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :179-188 2006
Book
Lecture Notes in Computer Science
Conference
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :291-300 2006
Conference
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) Logic in computer science Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. :178-187 2005
Conference
Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004. Program comprehension Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on. :251-255 2004
Conference
Proceedings. 26th International Conference on Software Engineering Software engineering Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :326-335 2004
Conference
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. Logic in computer science Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on. :160-169 2004
Conference
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. Quantitative evaluation of systems Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the. :206-217 2004
Conference
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002. Computer aided design Computer Aided Design, 2002. ICCAD 2002. IEEE/ACM International Conference on. :132-139 2002
Conference
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on. :279-290 2001
Conference
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) Decision and control Decision and Control, 2001. Proceedings of the 40th IEEE Conference on. 3:2887-2892 vol.3 2001
Conference
Proceedings of IEEE 36th Annual Foundations of Computer Science Foundations of computer science Foundations of Computer Science, 1995. Proceedings., 36th Annual Symposium on. :453-462 1995
Conference
IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140) Computer aided design ICCAD 2000 Computer Aided Design, 2000. ICCAD-2000. IEEE/ACM International Conference on. :245-252 2000
Conference
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) Logic in computer science Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on. :141-154 2000
Conference
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051) Computer-aided design Computer-Aided Design, 1999. Digest of Technical Papers. 1999 IEEE/ACM International Conference on. :494-499 1999
Conference
Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280) Foundations of computer science Foundations of Computer Science, 1998. Proceedings. 39th Annual Symposium on. :564-575 1998
Conference
Proceedings of the 36th IEEE Conference on Decision and Control Decision and control Decision and Control, 1997., Proceedings of the 36th IEEE Conference on. 1:702-707 vol.1 1997
검색 결과 제한하기
제한된 항목
[검색어] Henzinger, T.A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어