전남대학교 중앙도서관

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

주메뉴

전체메뉴


전자자료 상세검색

전자자료 상세검색

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

    재검색

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

    재검색

  • 자료유형
    • Academic Journals (203)
    • Magazines (55)
    • Conference Materials (7)

    더보기

    재검색

  • 주제
    • venous thrombosis (39)
    • platelets (28)
    • thrombosis (24)

    더보기

    재검색

  • Lexile Range
    • 1101-1300 (4)
    • 1301-1500+ (2)

    재검색

  • 간행물
    • blood (83)
    • cardiovascular research (12)
    • international journal of molecular sciences (12)

    더보기

    재검색

  • 출판사
    • lippincott williams & wilkins (19)
    • amer soc hematology (17)
    • elsevier inc. (16)

    더보기

    재검색

  • 언어
    • english (214)
    • 021030s1997 xx ||||| 00| ||und c (2)

    재검색

  • Publication Year
    • 2004 (3)
    • 2020 (3)
    • 2005 (2)

    더보기

    재검색

  • 수록데이터베이스
    • Science Citation Index Expanded (57)
    • MEDLINE (56)
    • Supplemental Index (55)

    더보기

    재검색

  • PQDTSearch
  • CAJSearch
  • RISSSearch
  • PsycINFOSearch

 

1

회의자료

issue
2017 IEEE 15th International Conference on Industrial Informatics (INDIN) Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on. :109-114 Jul, 2017
Author
Graf-Brill, Alexander
Hartmanns, Arnd
Hermanns, Holger
Rose, Steffen
DB Label
Database : IEEE Xplore Digital Library
원문보기
4

전자책

issue
Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings. 11535:111-128
Author
Graf-Brill, AlexanderAff16
Hermanns, HolgerAff16, Aff17
DB Label
Database : Springer Nature eBooks
원문보기
7

전자책

issue
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings. 10471:66-82
Author
Graf-Brill, AlexanderAff16
Hermanns, HolgerAff16
DB Label
Database : Springer Nature eBooks
원문보기
1 2 3 4 5  

QUICK LINK

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

마이메뉴추가


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

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