주메뉴 바로가기OUT
본문 바로가기
퀵메뉴 바로가기
마이메뉴 바로가기
도서관 정보 바로가기
링크메뉴
주메뉴
소장자료검색
소장자료
Open API
연속간행물검색
기본검색
A-Z
신착자료검색
비도서검색
전체
DVD
고문헌검색
고문헌검색
송광사 고문헌검색
계당 고문헌 검색
학위논문검색
전자자료 통합검색
통합검색
학술DB
국내학술DB
국외학술DB
e-Journal(AtoZ)
eBook/audioBook
eBook
audioBook
대출반납서비스
이용안내
대출/연장/이력/예약
대출도서순위조회
도서신청서비스
희망도서신청
보존서고자료
서가부재도서
분관대출조회
시설이용서비스
스터디룸예약
일반열람실좌석배치도
장애학생 지원서비스
열람실 이용안내
교내 배달서비스
타기관이용서비스
상호대차/원문복사
타기관열람신청
무인예약대출 서비스
이용안내
신청현황 조회
학위논문파일 제출
학위논문제출안내
학위논문제출
개인정보관리
My Page
나의서재
원문복사 신청/조회
이용안내
검색신청
직접신청
신청리스트
상호대차 신청/조회
이용안내
검색신청
직접신청
신청리스트
연구지원서비스
이용안내
서비스신청
신청내역조회
이용교육서비스
교육안내
교육공지 및 신청
신청내역조회
교육자료실
배달서비스
이용안내
신청내역조회
지정도서신청
이용안내
교수별리스트
교과목별리스트
학과별리스트
교과목신청
교과목신청리스트
지정도서신청
Q&A
논문작성지원
EndNote 이용
Turnitin(논문표절예방)이용
CopyKIller(논문표절예방)
도서관가이드
이용안내
학과가이드
서비스가이드
도서관소개
연혁
규정
역대관장
발전계획
도서관사람들
도서관 통계
찾아오는길
이용안내
개관시간
자료분류체계
자료이용안내
이용자별안내
모바일도서관(APP)
시설안내
본관(홍도)안내
별관(백도)안내
정보마루안내
분관안내
지원시설
도서기증/위탁
도서기증 및 위탁안내
게시판
공지사항
학술공지
신착/신간
질의응답
분실물안내
FAQ
전시마당
이달의 고서
전대愛서52
도서관 Gallery
소장자료검색
연속간행물검색
신착자료검색
비도서검색
고문헌검색
학위논문검색
전자자료 통합검색
학술DB
e-Journal(AtoZ)
eBook/audioBook
대출반납서비스
도서신청서비스
시설이용서비스
장애학생 지원서비스
타기관이용서비스
무인예약대출 서비스
학위논문파일 제출
개인정보관리
원문복사 신청/조회
상호대차 신청/조회
연구지원서비스
이용교육서비스
배달서비스
지정도서신청
논문작성지원
도서관가이드
도서관소개
이용안내
시설안내
도서기증/위탁
게시판
전시마당
소장자료검색
연속간행물검색
신착자료검색
비도서검색
고문헌검색
학위논문검색
전자자료 통합검색
학술DB
e-Journal(AtoZ)
eBook/audioBook
대출반납서비스
도서신청서비스
시설이용서비스
장애학생 지원서비스
타기관이용서비스
무인예약대출 서비스
학위논문파일 제출
개인정보관리
원문복사 신청/조회
상호대차 신청/조회
연구지원서비스
이용교육서비스
배달서비스
지정도서신청
논문작성지원
도서관가이드
도서관소개
이용안내
시설안내
도서기증/위탁
게시판
전시마당
도서관안내
시설안내
정보마루안내
4F
전자자료 상세검색
전자자료 상세검색
전자자료 상세검색
통합검색
소장자료
전자자료
통합검색
키워드
전체
저자
제목
주제어
출처
초록
ISSN
ISBN
결과내 검색
검색어
[키워드: "Myers, Chris J"]
총
311
건
※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
1/32
페이지
검색결과수정
검색범위확장
Full Text내 키워드 확장
관련 주제어 확장
재검색
검색결과제한
원문(Full Text)
Peer-Reviewed 학술지
발행년
-
재검색
자료유형
Academic Journals
(240)
Conference Materials
(40)
eBooks
(13)
자료유형
Count
Name
Academic Journals
(
240
)
Conference Materials
(
40
)
eBooks
(
13
)
Reviews
(
8
)
Books
(
5
)
Reports
(
4
)
Magazines
(
4
)
닫기
주제
synthetic biology
(78)
systems biology
(40)
software
(28)
주제
Count
Name
synthetic biology
(
78
)
systems biology
(
40
)
software
(
28
)
standards
(
25
)
genetic circuits
(
21
)
asynchronous circuits
(
20
)
sbol
(
20
)
sbml
(
17
)
algorithms
(
16
)
programming languages
(
15
)
bioengineering
(
13
)
dna
(
13
)
models
(
13
)
computing and processing
(
12
)
models, biological
(
12
)
timing circuits
(
12
)
design
(
11
)
abstraction
(
10
)
biotechnology
(
10
)
computational biology
(
10
)
computational modeling
(
10
)
computer simulation
(
10
)
electronic circuits
(
10
)
integrated circuit modeling
(
10
)
systems
(
10
)
tp248.13-248.65
(
10
)
gene regulatory networks
(
9
)
genetic engineering
(
9
)
standard
(
9
)
digital electronics
(
8
)
formal verification
(
8
)
genetics
(
8
)
markup language
(
8
)
modeling
(
8
)
simulation
(
8
)
tool
(
8
)
genetic design automation
(
7
)
genetic regulatory networks
(
7
)
integrated circuits
(
7
)
stochastic simulation
(
7
)
verification
(
7
)
visualization
(
7
)
abstract thought
(
6
)
biological sciences
(
6
)
components, circuits, devices and systems
(
6
)
data standards
(
6
)
logic circuits
(
6
)
partially ordered sets
(
6
)
standardization
(
6
)
automation
(
5
)
닫기
Lexile Range
1301-1500+
(3)
1101-1300
(1)
간행물
acs synthetic biology
(72)
journal of integrative bioinformatics
(35)
ieee transactions on computer-aided design of integrated circuits & systems
(27)
간행물
Count
Name
acs synthetic biology
(
72
)
journal of integrative bioinformatics
(
35
)
ieee transactions on computer-aided design of integrated circuits & systems
(
27
)
plos computational biology
(
9
)
bioinformatics
(
8
)
standards in genomic sciences
(
7
)
molecular systems biology
(
6
)
plos biology
(
6
)
communications biology
(
5
)
biochemical society transactions
(
4
)
current opinion in microbiology
(
4
)
fundamenta informaticae
(
4
)
ieee transactions on computers
(
4
)
nature communications
(
4
)
nature protocols
(
4
)
nucleic acids research
(
3
)
electronic notes in theoretical computer science
(
2
)
journal of computational biology
(
2
)
transactions on computational systems biology vi
(
2
)
13th ieee international symposium on asynchronous circuits and systems (async'07), asynchronous circuits and systems, 2007. async 2007. 13th ieee international symposium on
(
1
)
2007 asia and south pacific design automation conference, design automation conference, 2007. asp-dac '07. asia and south pacific
(
1
)
2009 ieee international conference on computer design, computer design, 2009. iccd 2009. ieee international conference on
(
1
)
2009 ieee/acm international conference on computer-aided design - digest of technical papers, computer-aided design - digest of technical papers, 2009. iccad 2009. ieee/acm international conference on
(
1
)
2010 ieee international high level design validation and test workshop (hldvt), high level design validation and test workshop (hldvt), 2010 ieee international
(
1
)
2012 ieee symposium on computational intelligence in bioinformatics and computational biology (cibcb), computational intelligence in bioinformatics and computational biology (cibcb), 2012 ieee symposium on
(
1
)
2012 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2012 ieee/acm international conference on
(
1
)
2013 50th acm/edac/ieee design automation conference (dac), design automation conference (dac), 2013 50th acm/edac/ieee
(
1
)
2014 ieee 57th international midwest symposium on circuits and systems (mwscas), circuits and systems (mwscas), 2014 ieee 57th international midwest symposium on
(
1
)
2017 winter simulation conference (wsc), simulation conference (wsc), 2017 winter
(
1
)
acm journal on emerging technologies in computing systems (jetc) - special issue on computational synthetic biology and regular papers
(
1
)
automated reasoning for systems biology and medicine
(
1
)
automated technology for verification and analysis : 4th international symposium, atva 2006, beijing, china, october 23-26, 2006. proceedings
(
1
)
computer aided verification
(
1
)
computer aided verification : 10th international conference, cav'98 vancouver, bc, canada, june 28 - july 2, 1998 proceedings
(
1
)
computer aided verification : 24th international conference, cav 2012, berkeley, ca, usa, july 7-13, 2012 proceedings
(
1
)
computer aided verification : 31st international conference, cav 2019, new york city, ny, usa, july 15-18, 2019, proceedings, part i
(
1
)
computer aided verification : 6th international conference, cav '94 stanford, california, usa, june 21-23, 1994 proceedings
(
1
)
handbook of research on computational methodologies in gene regulatory networks
(
1
)
ieee/acm transactions on computational biology and bioinformatics, computational biology and bioinformatics, ieee/acm transactions on, ieee/acm trans. comput. biol. and bioinf.
(
1
)
institute of electrical and electronics engineers. transactions on computers
(
1
)
international journal of foundations of computer science
(
1
)
languages, design methods, and tools for electronic system design : selected contributions from fdl 2013
(
1
)
microbial synthetic biology
(
1
)
nasa formal methods : 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings
(
1
)
proceedings of the 1999 ieee/acm international conference on computer-aided design
(
1
)
proceedings of the 1st acm/ieee international conference on cyber-physical systems
(
1
)
proceedings of the 2001 asia and south pacific design automation conference
(
1
)
proceedings of the 2003 ieee/acm international conference on computer-aided design
(
1
)
proceedings of the 2009 international conference on computer-aided design
(
1
)
proceedings of the 2013 forum on specification and design languages (fdl), specification & design languages (fdl), 2013 forum on
(
1
)
닫기
출판사
ieee
(53)
american chemical society
(42)
amer chemical soc
(30)
출판사
Count
Name
ieee
(
53
)
american chemical society
(
42
)
amer chemical soc
(
30
)
de gruyter
(
26
)
de gruyter open
(
9
)
escholarship, university of california
(
9
)
public library of science
(
9
)
springer nature
(
9
)
association for computing machinery
(
7
)
ieee-inst electrical electronics engineers inc
(
7
)
elsevier b.v.
(
6
)
oxford university press / usa
(
6
)
biomed central
(
5
)
springer berlin heidelberg
(
5
)
springer international publishing
(
5
)
nature publishing group uk
(
4
)
oxford univ press
(
4
)
oxford university press
(
4
)
frontiers media s.a
(
3
)
ieee computer soc
(
3
)
ios press
(
3
)
public library science
(
3
)
frontiers media sa
(
2
)
institute of electrical and electronics engineers
(
2
)
mary ann liebert, inc
(
2
)
nature portfolio
(
2
)
nature pub. group
(
2
)
portland press ltd.
(
2
)
springer, cham
(
2
)
wiley-blackwell
(
2
)
acm
(
1
)
assoc computing machinery
(
1
)
biomed central ltd
(
1
)
bmc
(
1
)
current biology
(
1
)
current biology ltd
(
1
)
elsevier ltd
(
1
)
european electronic chips & systems design initiative - ecsi
(
1
)
ieee computer society
(
1
)
ieice-inst electronics information communications eng
(
1
)
igi global
(
1
)
nasa center for aerospace information (casi)
(
1
)
nature america publishing
(
1
)
nature publishing group
(
1
)
nature research
(
1
)
portland press ltd
(
1
)
portland press on the behalf of the biochemical society
(
1
)
springer nature switzerland
(
1
)
springer, berlin
(
1
)
springer, heidelberg
(
1
)
닫기
언어
english
(270)
Publication Year
2002
(4)
2007
(4)
2015
(4)
Publication Year
Count
Name
2002
(
4
)
2007
(
4
)
2015
(
4
)
1998
(
2
)
1999
(
2
)
2000
(
2
)
2001
(
2
)
2006
(
2
)
2023
(
2
)
2008
(
1
)
2009
(
1
)
2010
(
1
)
2017
(
1
)
2018
(
1
)
2020
(
1
)
2021
(
1
)
2022
(
1
)
닫기
수록데이터베이스
Science Citation Index Expanded
(62)
MEDLINE
(61)
Complementary Index
(52)
수록데이터베이스
Count
Name
Science Citation Index Expanded
(
62
)
MEDLINE
(
61
)
Complementary Index
(
52
)
Academic Search Complete
(
22
)
Supplemental Index
(
17
)
IEEE Xplore Digital Library
(
13
)
Springer Nature eBooks
(
11
)
De Gruyter Online
(
10
)
Directory of Open Access Journals
(
10
)
Business Source Complete
(
10
)
ACM Full-Text Collection
(
10
)
eScholarship
(
9
)
MathSciNet via EBSCOhost
(
8
)
Springer Nature Journals
(
5
)
arXiv
(
3
)
ScienceDirect
(
3
)
Journals@OVID
(
2
)
Gale eBooks
(
2
)
NASA Technical Reports
(
1
)
닫기
PQDT
CAJ
RISS
PsycINFO
전체선택
날짜 내림차순
날짜 오름차순
연관도
10
20
30
50
1
Ten simple rules for managing laboratory information
학술저널
issue
PLOS Computational Biology
. 19(12)
Author
Berezin, Casey-Tyler
Aguilera, Luis U
Billerbeck, Sonja
Bourne, Philip E
Densmore, Douglas
Freemont, Paul
Gorochowski, Thomas E
Hernandez, Sarah I
Hillson, Nathan
J
King, Connor R
Köpke, Michael
Ma, Shuyi
Miller, Katie M
Moon, Tae Seok
Moore, Jason H
Munsky, Brian
Myers
,
Chris
J
Nicholas, Dequina A
Peccoud, Samuel
J
Zhou, Wen
Peccoud, Jean
DB Label
Database : eScholarship
원문보기
Open Access (eScholarship)
2
BioSimulators: a central registry of simulation engines and services for recommending specific tools
보고서
Author
Shaikh, Bilal
Smith, Lucian P.
Vasilescu, Dan
Marupilla, Gnaneswara
Wilson, Michael
Agmon, Eran
Agnew, Henry
Andrews, Steven S.
Anwar, Azraf
Beber, Moritz E.
Bergmann, Frank T.
Brooks, David
Brusch, Lutz
Calzone, Laurence
Choi, Kiri
Cooper, Joshua
Detloff, John
Drawert, Brian
Dumontier, Michel
Ermentrout, G. Bard
Faeder, James R.
Freiburger, Andrew P.
Fröhlich, Fabian
Funahashi, Akira
Garny, Alan
Gennari, John H.
Gleeson, Padraig
Goelzer, Anne
Haiman, Zachary
Hellerstein, Joseph L.
Hoops, Stefan
Ison, Jon C.
Jahn, Diego
Jakubowski, Henry V.
Jordan, Ryann
Kalaš, Matúš
König, Matthias
Liebermeister, Wolfram
Mandal, Synchon
McDougal, Robert
Medley,
J
. Kyle
Mendes, Pedro
Müller, Robert
Myers
,
Chris
J
.
Naldi, Aurelien
Nguyen, Tung V. N.
Nickerson, David P.
Olivier, Brett G.
Patoliya, Drashti
Paulevé, Loïc
Petzold, Linda R.
Priya, Ankita
Rampadarath, Anand K.
Rohwer, Johann M.
Saglam, Ali S.
Singh, Dilawar
Sinha, Ankur
Snoep, Jacky
Sorby, Hugh
Spangler, Ryan
Starruß, Jörn
Thomas, Payton
J
.
van Niekerk, David
Weindl, Daniel
Zhang, Fengkai
Zhukova, Anna
Goldberg, Arthur P.
Blinov, Michael L.
Sauro, Herbert M.
Moraru, Ion I.
Karr, Jonathan R.
DB Label
Database : arXiv
원문보기
Open Access (Arxiv)
3
Advancing reuse of genetic parts: progress and remaining challenges
학술저널
issue
Nature Communications
. 14(1)
Author
Mante, Jeanet
Myers
,
Chris
J
.
Aff1, IDs41467023387910_cor2
DB Label
Database : Springer Nature Journals
원문보기
OA (Springer)
OA (Nature)
등재 - Web of Science (SCIE)
등재 - SCOPUS
조회 - Impact Factor (JCR)
4
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker
전자책
issue
Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
. 14287:101-109
Author
Jeppson, Joshua
Aff9
Volk, Matthias
Aff10
Israelsen, Bryant
Aff9
Roberts, Riley
Aff9
Williams, Andrew
Aff9
Buecherl, Lukas
Aff11
Myers
,
Chris
J
.
Aff11
Zheng, Hao
Aff12
Winstead,
Chris
Aff9
Zhang, Zhen
Aff9
DB Label
Database : Springer Nature eBooks
원문보기
5
A brief history of COMBINE
회의자료
issue
2017 Winter Simulation Conference (WSC) Simulation Conference (WSC), 2017 Winter. :884-895 Dec, 2017
Author
Myers
,
Chris
J
.
Bader, Gary
Gleeson, Padraig
Golebiewski, Martin
Hucka, Michael
Le Novere, Nicolas
Nickerson, David P.
Schreiber, Falk
Waltemath, Dagmar
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE)
6
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
전자책
issue
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
. 13182:319-331
Author
Roberts, Riley
Aff10
Neupane, Thakur
Aff10
Buecherl, Lukas
Aff11
Myers
,
Chris
J
.
Aff11
Zhang, Zhen
Aff10
DB Label
Database : Springer Nature eBooks
원문보기
7
SBML Level 3: an extensible format for the exchange and reuse of biological models.
학술저널
issue
Molecular systems biology
. 16(8)
Author
Keating, Sarah M
Waltemath, Dagmar
König, Matthias
Zhang, Fengkai
Dräger, Andreas
Chaouiya, Claudine
Bergmann, Frank T
Finney, Andrew
Gillespie, Colin S
Helikar, Tomáš
Hoops, Stefan
Malik-Sheriff, Rahuman S
Moodie, Stuart L
Moraru, Ion I
Myers
,
Chris
J
Naldi, Aurélien
Olivier, Brett G
Sahle, Sven
Schaff, James C
Smith, Lucian P
Swat, Maciej
J
Thieffry, Denis
Watanabe, Leandro
Wilkinson, Darren
J
Blinov, Michael L
Begley, Kimberly
Faeder, James R
Gómez, Harold F
Hamm, Thomas M
Inagaki, Yuichiro
Liebermeister, Wolfram
Lister, Allyson L
Lucio, Daniel
Mjolsness, Eric
Proctor, Carole
J
Raman, Karthik
Rodriguez, Nicolas
Shaffer, Clifford A
Shapiro, Bruce E
Stelling, Joerg
Swainston, Neil
Tanimura, Naoki
Wagner, John
Meier-Schellersheim, Martin
Sauro, Herbert M
Palsson, Bernhard
Bolouri, Hamid
Kitano, Hiroaki
Funahashi, Akira
Hermjakob, Henning
Doyle, John C
Hucka, Michael
SBML Level 3 Community members
DB Label
Database : eScholarship
원문보기
Open Access (eScholarship)
8
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis
보고서
Author
Neupane, Thakur
Myers
,
Chris
J
.
Madsen, Curtis
Zheng, Hao
Zhang, Zhen
DB Label
Database : arXiv
원문보기
Open Access (Arxiv)
9
Approximation Techniques for Stochastic Analysis of Biological Systems
보고서
Author
Neupane, Thakur
Zhang, Zhen
Madsen, Curtis
Zheng, Hao
Myers
,
Chris
J
.
DB Label
Database : arXiv
원문보기
Open Access (Arxiv)
10
The Synthetic Biology Open Language (SBOL) Version 3: Simplified Data Exchange for Bioengineering
학술저널
Author
McLaughlin, James Alastair
Beal, Jacob
Mısırlı, Göksel
Grünberg, Raik
Bartley, Bryan A
Scott-Brown, James
Vaidyanathan, Prashant
Fontanarrosa, Pedro
Oberortner, Ernst
Wipat, Anil
Gorochowski, Thomas E
Myers
,
Chris
J
DB Label
Database : eScholarship
원문보기
Open Access (eScholarship)
1
2
3
4
5
바구니보기
86394
129331095
대학도서관
RISS-한국교육학술정보원
LG 상남도서관
가톨릭대학교 도서관
강남대학교 도서관
강릉대학교 도서관
강원대학교 삼척캠퍼스 도서관
강원대학교 중앙도서관
건국대학교 상허기념도서관
경기대학교 중앙도서관
경남과학기술대학교 도서관
경남대학교 중앙도서관
경북대학교 도서관
경상대학교 중앙도서관
경성대학교 중앙도서관
경인교육대학교 도서관
경희대학교 도서관
계명대학교 동산도서관
고려대학교 중앙도서관
고신대학교 중앙도서관
공주교육대학교 디지털도서관
공주대학교 중앙도서관
관동대학교 중앙도서관
광운대학교 중앙도서관
광주과학기술원 도서관
광주교육대학교 디지털도서관
광주대학교 중앙도서관
국가전자도서관
국립중앙도서관
국민대학교 성곡도서관
국회도서관
군산대학교 중앙도서관
금오공과대학교 도서관
남서울대학교 중앙도서관
단국대학교 율곡기념도서관
단국대학교 퇴계기념중앙도서관
대구가톨릭대학교 중앙도서관
덕성여자대학교 중앙도서관
동국대학교 도서관
동덕여자대학교 중앙도서관
동신대학교 중앙도서관
동아대학교 중앙도서관
동의대학교 중앙도서관
명지대학교 도서관
목원대학교 중앙도서관
목포대학교 중앙도서관
배재대학교 중앙도서관
부경대학교 도서관
부산교육대학교 학술정보관
부산대학교 도서관
부산외국어대학교 도서관
삼육대학교 도서관
상명대학교 중앙도서관
상지대학교 학술정보원
서강대학교 로욜라도서관
서울과학기술대학교 도서관
서울교육대학교 디지털도서관
서울대학교 농학도서관
서울대학교 사회과학도서관
서울대학교 중앙도서관
서울시립대학교 중앙도서관
서울신학대학교 도서관
서울여자대학교 중앙도서관
서원대학교 학술정보원
성결대학교 학술정보관
성공회대학교 중앙도서관
성균관대학교 학술정보관
성신여자대학교 중앙도서관
세종대학교 학술정보원
송원대학교
수리과학연구정보센터
수원대학교 중앙도서관
숙명여자대학교 도서관
순천대학교 중앙도서관
순천향대학교 향설기념 중앙도서관
숭실대학교 중앙도서관
신라대학교 도서관
아주대학교 중앙도서관
안동대학교 중앙도서관
연세대학교 의학도서관
연세대학교 학술정보원
영남대학교 중앙도서관
영동대학교 중앙도서관
우석대학교 중앙도서관
울산대학교 중앙도서관
원광대학교 중앙도서관
월계문화정보도서관
위덕대학교 회당학술정보원
이화여자대학교 중앙도서관
인덕대학 도서관
인제대학교 백인제기념도서관
인천대학교 학산도서관
인하대학교 정석학술정보관
장로회신학대학교 도서관
전남대학교 여수캠퍼스 도서관
전북대학교 중앙도서관
전주교육대학교 디지털도서관
전주대학교 중앙도서관
제주대학교 중앙도서관
조선대학교 중앙도서관
중앙대학교 서울캠퍼스 중앙도서관
중앙대학교 안성캠퍼스 중앙도서관
진주교육대학교 도서관
창원대학교 중앙도서관
청주대학교 중앙도서관
추계예술대학교 전자정보도서관
충남대학교 디지털도서관
충북대학교 도서관
포항공과대학교 청암학술정보관
한국과학기술원 전자도서관
한국교원대학교 도서관
한국기술교육대학교 다산정보관
한국외국어대학교 도서관
한국체육대학교 학술정보시스템
한국해양대학교 도서관
한남대학교 학술정보관
한동대학교 학술정보관
한림대학교 일송기념도서관
한밭대학교 도서관
한서대학교 중앙도서관
한성대학교 학술정보관
한양대학교 백남학술정보관
한양대학교 안산학술정보관
호남대학교 중앙도서관
홍익대학교 중앙도서관
화순전남대병원의학도서실
참고정보원
RISS-한국교육학술정보원
NDSL 과학기술정보통합서비스
건설연구정보센터(서울대학교)
과학기술정책연구원(STEPI)
광주과학기술원(K-JIST)
국내의학학술지 초록검색
기계공학연구정보센터(부산대학교)
농생명과학연구정보센터(서울대학교)
대외경제정책연구원(KIEP)
물리학연구정보센터(서울대학교)
보건연구정보센터(전남대학교)
생물학연구정보센터(포항공과대학교)
의약연구정보센터(숙명여자대학교)
의학연구정보센터(충북대학교)
재료연구정보센터(경북대학교)
테크노경영연구정보센터
한국과학기술연구원(KIST)
한국과학기술원(KAIST)
한국과학기술정보연구원(KISTI)
한국교육개발원(KEDI)
한국기계연구원(KIMM)
한국기초과학지원연구원(KBSI)
한국문화예술진흥원(KCAF)
한국생명공학연구원(KRIBB)
한국에너지기술연구원(KIER)
한국원자력연구원(KAERI)
한국전기연구원(KERI)
한국전자통신연구원(ETRI)
한국지질자원연구원(KIGAM)
한국표준과학연구원(KRISS)
한국항공우주연구원(KARI)
한국해양연구원(KORDI)
한국화학연구원(KRICT)
한국환경정책평가연구원
화학공학연구정보센터(고려대학교)
환경지질연구정보센터(연세대학교)