전남대학교 중앙도서관

  • 중앙도서관
  • 여수캠퍼스도서관
  • 법학도서관
  • 치의학도서관
  • 의학도서관

링크메뉴

  • 화면키우기 화면줄이기 화면크기 원래대로
  • S
  • HOME
  • 로그인
  • 전남대
  • ENG
  • CHN

주메뉴

전체메뉴

전자자료 상세검색

전자자료 상세검색

통합검색
상세검색
검색어 [키워드: "Pregerson, Eli"]
총 3건 
※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
1/1 페이지 RSS 엑셀파일 출력
검색결과수정
  • 검색범위확장
    • Full Text내 키워드 확장
    • 관련 주제어 확장

    재검색

  • 검색결과제한
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • 발행년 -

    재검색

  • 자료유형
    • Conference Materials (3)

    재검색

  • 주제
    • code complexity (2)
    • complexity theory (2)
    • explosions (2)

    더보기

    재검색

  • 간행물
    • 2023 ieee/acm 11th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2023 ieee/acm 11th international conference on, formalise (1)
    • 2023 ieee/acm 31st international conference on program comprehension (icpc), program comprehension (icpc), 2023 ieee/acm 31st international conference on, icpc (1)
    • 2023 ieee/acm 45th international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2023 ieee/acm 45th international conference on, icse-companion (1)

    재검색

  • 수록데이터베이스
    • IEEE Xplore Digital Library (3)

    재검색

  • PQDTSearch
  • CAJSearch
  • RISSSearch
  • PsycINFOSearch

 

1
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity 미리보기

회의자료

issue
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :76-85 May, 2023
Author
Pregerson, Eli
Cullen-Baratloo, Shaheen
Chen, David
Lam, Duy
Szostak, Max
Bang, Lucas
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE) 
2
Path Complexity Correlates with Source Code Comprehension Effort Indicators 미리보기

회의자료

issue
2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC) ICPC Program Comprehension (ICPC), 2023 IEEE/ACM 31st International Conference on. :266-274 May, 2023
Author
Dissem, Sofiane
Pregerson, Eli
Bhargava, Adi
Cordova, Josh
Bang, Lucas
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE) 
3
Path Complexity of Recursive Functions 미리보기

회의자료

issue
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2023 IEEE/ACM 45th International Conference on. :308-310 May, 2023
Author
Pregerson, Eli
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE) 
1 
바구니보기

QUICK LINK

  • 희망도서신청
  • 대출/연장조회
  • 서가부재도서
  • 이용교육

마이메뉴추가

QRCode
  • 개인정보호정책
  • 이메일무단수집거부
  • 도서관이용문의

    • 도서관자치위원회  원격제어  Instagram  facebook  w  kakao 플친
500-757 광주광역시 북구 용봉로 77 TEL 062)530-3571~2(대출반납실) FAX 062)530-3529
Copyright@2013 CHONNAM NATIONAL UNIVERSITY LIBRARY, All Rights Reserved.
  • 25559
  • 129623921