서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Collingbourne, Peter"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(5)
    • Books(3)
    • Conference Materials(2)
    • Reports(1)
    • Electronic Resources(1)
    • Dissertations(1)

  • 주제어
    • floating point(4)
    • opencl(4)
    • simd(4)
    • symbolic execution(4)
    • computational modeling(3)
    • computer architecture(3)
    • computer programming(3)
    • computer storage devices(3)
    • fluid dynamics(3)
    • kernel(3)
    • open source software(3)
    • opencl (computer program language)(3)
    • parallel processing(3)
    • programming(3)
    • semantics(3)
    • vectors(3)
    • 004(2)
    • control flow(2)
    • program analysis(2)
    • session types(2)
    • type inference(2)
    • algorithms(1)
    • computer science(1)
    • computer science - programming languages(1)
    • computer science(all)(1)
    • computer software(1)
    • execution(1)
    • imperative programming(1)
    • inference (logic)(1)
    • mathematical transformations(1)
    • theoretical computer science(1)
    • verification(1)

  • 저널
    • ieee transactions on software engineering(4)
    • electronic notes in theoretical computer science(2)
    • computer aided verification (9783319088662)(1)
    • entcs: electronic notes in theoretical computer science(1)
    • european conference on computer systems(1)
    • hardware & software: verification & testing (9783642341878)(1)
    • proceedings of the sixth conference: computer systems(1)
    • programming languages & systems (9783642370359)(1)

  • 발행처
    • ieee(3)
    • springer nature(3)
    • association for computing machinery(2)
    • elsevier b.v.(2)
    • computing, imperial college london(1)
    • elsevier bv(1)
    • ieee computer soc(1)
    • imperial college london(1)

  • 언어
    • english(16)

  • 수록DB
    • Complementary Index(6)
    • OpenAIRE(2)
    • USPTO Patent Grants(2)
    • OpenDissertations(1)
    • Supplemental Index(1)
    • arXiv(1)
    • Networked Digital Library of Theses & Dissertations(1)
    • Business Source Complete(1)
    • Science Citation Index(1)
    • Academic Search Complete(1)
    • ScienceDirect(1)
    • USPTO Patent Applications(1)
    • British Library EThOS(1)

20

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
12