전남대학교 중앙도서관

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

주메뉴

전체메뉴


전자자료 상세검색

전자자료 상세검색

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

    재검색

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

    재검색

  • 자료유형
    • Conference Materials (45)
    • eBooks (30)
    • Academic Journals (20)

    더보기

    재검색

  • 주제
    • verification (10)
    • assembly languages (electronic computers) (3)
    • c# (computer program language) (3)

    더보기

    재검색

  • 간행물
    • certified programs and proofs : second international conference, cpp 2012, kyoto, japan, december 13-15, 2012. proceedings (22)
    • communications of the acm (10)
    • acm sigops operating systems review (6)

    더보기

    재검색

  • 출판사
    • association for computing machinery (29)
    • springer berlin heidelberg (26)
    • acm (7)

    더보기

    재검색

  • 언어
    • english (86)

    재검색

  • Publication Year
    • 2011 (2)
    • 2017 (2)

    재검색

  • 수록데이터베이스
    • Complementary Index (30)
    • Springer Nature eBooks (30)
    • ACM Full-Text Collection (28)

    더보기

    재검색

  • PQDTSearch
  • CAJSearch
  • RISSSearch
  • PsycINFOSearch

 

4

전자책

issue
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers. 12549:106-123
Author
Bosamiya, JayAff12
Gibson, SydneyAff13
Li, YaoAff14
Parno, BryanAff12
Hawblitzel, ChrisAff15
DB Label
Database : Springer Nature eBooks
원문보기
5

전자책

issue
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11423:30-59
Author
Martínez, GuidoAff15, Aff16
Ahman, DanelAff17
Dumitrescu, VictorAff18
Giannarakis, NickAff19
Hawblitzel, ChrisAff20
Hriţcu, CătălinAff16
Narasimhamurthy, MonalAff22
Paraskevopoulou, ZoeAff19
Pit-Claudel, ClémentAff23
Protzenko, JonathanAff20
Ramananandro, TahinaAff20
Rastogi, AseemAff21
Swamy, NikhilAff20
DB Label
Database : Springer Nature eBooks
원문보기
6

회의자료

issue
Proceedings of the 26th Symposium on Operating Systems Principles. :287-305
Author
Ferraiuolo, Andrew
Baumann, Andrew
Hawblitzel, Chris
Parno, Bryan
DB Label
Database : ACM Full-Text Collection
원문보기
7

학술저널

issue
Proceedings of the ACM on Programming Languages. 3(POPL):1-30
Author
Fromherz, Aymeric
Giannarakis, Nick
Hawblitzel, Chris
Parno, Bryan
Rastogi, Aseem
Swamy, Nikhil
DB Label
Database : ACM Full-Text Collection
원문보기
8

보고서

issue
Logical Methods in Computer Science, Volume 6, Issue 3 (August 18, 2010) lmcs:1039
Author
Hawblitzel, Chris
Petrank, Erez
DB Label
Database : arXiv
원문보기
9

회의자료

issue
Proceedings of the 25th Symposium on Operating Systems Principles. :1-17
Author
Hawblitzel, Chris
Howell, Jon
Kapritsos, Manos
Lorch, Jacob R.
Parno, Bryan
Roberts, Michael L.
Setty, Srinath
Zill, Brian
DB Label
Database : ACM Full-Text Collection
원문보기
1 2 3 4 5  

QUICK LINK

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

마이메뉴추가


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

  • 도서관자치위원회  원격제어  Instagram  facebook  w  kakao 플친
500-757 광주광역시 북구 용봉로 77   TEL  062)530-3571~2(대출반납실)   FAX  062)530-3529
  • 93664
  • 128782395