부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
159
건 | 목록
1~10
전체선택
내보내기
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Online Publikationsverbund: Erfassung und Organisation elektronischer Hochschulschriften
Stephan, Werner
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Deduction-based refinement planning
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Das Zeitschriften-Paradoxon oder: Wer verfügt über wissenschaftliche Information?
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
50 Jahre Neubau Universitätsbibliothek Stuttgart 2011
50 years of the University Library Stuttgart 2011
Universitätsbibliothek
;
University Library & lt; Stuttgart & gt;
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Electronic Publishing
Scholze, Frank
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
eScience - community- und Prozess-orientierte virtuelle Wissenswelten für die Forschung :Impulsreferat eScience Workshop, Stuttgart, 24. Juni 2008
eScience - community-oriented and process-oriented virtual worlds of knowledge for research: eScience workshop impulse, Stuttgart, 24 June 2008
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Retrieval on the Grid :results from the European Project GRACE (Grid Search and Categorization Engine)
Scholze, Frank
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Freund oder Feind? :Wissenschaftler, Verlage, Bibliothekare und Nutzer im Dschungel des elektronischen Publizierens
Friend or enemy? : Scientists, publishers, librarians and users in the jungle of electronic publishing
Stephan, Werner
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Eine ARCHE zur Rettung digitalen Kulturguts :Stuttgarter Kolloquium des ARCHE-Projekts am 27. Juni 2006
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Geschichte und Buch :Festkolloquium aus Anlass des 65. Geburtstages von Herrn Bibliotheksdirektor Dr. Ulrich Sieber am 23. Oktober 2003
Stephan, Werner
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
13
14
15
16
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Stephan, Werner
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
Supplemental Index
(76)
Europeana
(15)
USPTO Patent Grants
(14)
Complementary Index
(11)
De Gruyter Online
(11)
JSTOR Journals
(8)
Library, Information Science & Technology Abstracts
(4)
Academic Search Complete
(4)
Education Source
(3)
MathSciNet via EBSCOhost
(3)
ScienceDirect
(2)
Springer Nature Journals
(2)
Business Source Complete
(1)
ERIC
(1)
E-LIS (Eprints in Library & Information Science)
(1)
Scopus®
(1)
Social Sciences Citation Index
(1)
IEEE Xplore Digital Library
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
mechanizing mathematical reasoning
(31)
applied formal methods-fm-trends 98
(28)
bibliotheksdienst
(14)
iatul annual conference proceedings
(6)
abi technik
(4)
journal of experimental & theoretical artificial intelligence
(4)
zeitschrift fur naturforschung b
(4)
zeitschrift fur politik
(4)
international journal on software tools for technology transfer
(2)
international review of education / internationale zeitschrift fur erziehungswissenschaft
(2)
the journal of educational thought (jet) / revue de la pensee educative
(2)
zeitschrift fur bibliothekswesen und bibliographie
(2)
2009 10th acis international conference on software engineering, artificial intelligences, networking and parallel/distributed computing, software engineering, artificial intelligences, networking and parallel/distributed computing, 2009. snpd '09. 10th acis international conference on
(1)
8th international conference on automated deduction (oxford, 1986)
(1)
abi technik - zeitschrift fur automation bau und technik im archiv bibl und inform wesen
(1)
ambient assisted living: 8. aal-kongress 2015,frankfurt/m, april 29-30. april, 2015
(1)
bibliotheken fuhren und entwickeln: festschrift fur jurgen hering
(1)
bildung und erziehung
(1)
canadian journal of education
(1)
canadian journal of education / revue canadienne de l'education
(1)
computer safety, reliability & security (9783540457626)
(1)
electronic notes in theoretical computer science
(1)
entcs: electronic notes in theoretical computer science
(1)
etudes slaves et est-europeennes / slavic and east-european studies
(1)
fm 2006: formal methods
(1)
ifac proceedings volumes
(1)
ifac-papersonline
(1)
international journal on software tools for technology transfer (sttt)
(1)
international review of education
(1)
international review of education/internationale zeitschrift fuer erziehungswissenschaft/revue internationale de pedagogie
(1)
international review of education/internationale zeitschrift fur erziehungswissenschaft/revue internationale l'education
(1)
journal of educational thought
(1)
ki 2008: advances in artificial intelligence
(1)
logic at botik '89 (pereslavlʹ-zalesskiy, 1989)
(1)
mathematical foundations of computer science 1993 (gdansk, 1993)
(1)
medienwissenschaft: ein handbuch zur entwicklung der medien und kommunikationsformen
(1)
nasa formal methods 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
springer nature
(66)
de gruyter
(13)
universitatsbibliothek der universitat stuttgart
(10)
iatul board
(6)
springer, berlin
(3)
taylor & francis ltd
(3)
elsevier b.v.
(2)
verlag der zeitschrift fur naturforschung
(2)
canadian society for the study of education
(1)
de gruyter saur
(1)
dfki
(1)
ieee
(1)
kluwer academic publishers
(1)
neugebauer verlag
(1)
oxford univ press
(1)
springer science & business media b.v.
(1)
springer-verlag
(1)
university of calgary, faculty of education
(1)
vittorio klostermann
(1)
vittorio klostermann gmbh
(1)
walter de gruyter
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Books
(67)
Academic Journals
(31)
Magazines
(13)
Reviews
(9)
Conference Materials
(6)
add
remove
더보기
zoom_in
재검색
주제어
computer science
(64)
software engineering
(33)
logics and meanings of programs
(30)
mathematical logic and formal languages
(29)
programming languages, compilers, interpreters
(29)
programming techniques
(29)
bibliotheks- und informationswissenschaft
(7)
library and information science
(7)
libraries
(5)
themen
(5)
deutscher bibliotheksverband e.v.
(4)
forecasting
(4)
grid computing
(4)
library associations
(4)
questionnaires
(4)
computer software development
(3)
deduction
(3)
formal methods
(3)
informatik
(3)
nachrichtenmedien, journalismus, verlagswesen
(3)
security
(3)
software verification
(3)
verification
(3)
allgemeines, wissenschaft
(2)
comparative education
(2)
computational complexity
(2)
general, science
(2)
indexes
(2)
information resources
(2)
information resources management
(2)
information retrieval
(2)
information sharing
(2)
management of computing and information systems
(2)
query (information retrieval system)
(2)
scientific library
(2)
virtual offices
(2)
wissenschaftliche bibliothek
(2)
allgemeine sammelwerke
(1)
architektur
(1)
artificial intelligence
(1)
arts, general visual arts
(1)
astronomie, kartographie
(1)
astronomy, cartography
(1)
bibliotheksbau
(1)
book history
(1)
canada
(1)
coding and information theory
(1)
communication, networking and broadcast technologies
(1)
comparative analysis
(1)
compositionality
(1)
add
remove
더보기
zoom_in
재검색
언어
english
(109)
german
(30)
undetermined
(2)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기