부산대학교 도서관

ProxyOFF
KOR
Home
Total Search
Catalog

Catalog

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		 ー
ー
독일어
ä Ä ö Ö ü Ü ß                
프랑스어
á à Á À é è É È ç Ç ê        
스페인어
à á Á é É í Í Ó ó Ú ú Ñ ñ ä Ä
Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ  
Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω  
α β γ δ ε ζ η θ ι κ λ μ  
ν ξ ο π ρ ς σ τ υ φ χ ψ ω
À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
Ð Ñ Ò Ó Ô Õ Ö Ø Ù Ú Û Ü Ý Þ ß  
à á â ã ä å æ ç è é ê ë ì í î ï
ð ñ ò ó ô õ ö ø ù ú û ü ý þ ÿ  
А Б В Г Д Е Ё Ж З И Й К Л М Н О П
Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я  
а б в г д е ё ж з и й к л м н о п
р с т у ф х ц ч ш щ ъ ы ь э ю я  
ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ
ㅥ ㅦ ㅧ ㅨ ㅩ ㅪ ㅫ ㅬ ㅭ ㅮ ㅯ ㅰ ㅱ ㅲ ㅳ ㅴ ㅵ
ㅶ ㅷ ㅸ ㅹ ㅺ ㅻ ㅼ ㅽ ㅾ ㅿ ㆀ ㆁ ㆂ ㆃ ㆄ ㆅ ㆆ
ㆇ ㆈ ㆉ ㆊ ㆋ ㆌ ㆍ ㆎ                  
′ ″ ℃ Å ￠ ￡ ￥ ¤ ℉ ‰ ＄ ％ Ｆ ￦ ㎕ ㎖ ㎗ ℓ ㎘ ㏄
㎣ ㎤ ㎥ ㎦ ㎙ ㎚ ㎛ ㎜ ㎝ ㎞ ㎟ ㎠ ㎡ ㎢ ㏊ ㎍ ㎎ ㎏    
㏏ ㎈ ㎉ ㏈ ㎧ ㎨ ㎰ ㎱ ㎲ ㎳ ㎴ ㎵ ㎶ ㎷ ㎸ ㎹ ㎀ ㎁    
㎂ ㎃ ㎄ ㎺ ㎻ ㎽ ㎾ ㎿ ㎐ ㎑ ㎒ ㎓ ㎔ Ω ㏀ ㏁ ㎊ ㎋    
㎌ ㏖ ㏅ ㎭ ㎮ ㎯ ㏛ ㎩ ㎪ ㎫ ㎬ ㏝ ㏐ ㏓ ㏃ ㏉ ㏜ ㏆    
± × ÷ ≠ ≤ ≥ ∞ ∴ ∠ ⊥ ⌒ ∂ ∇ ≡ ≒
≪ ≫ √ ∽ ∝ ∵ ∫ ∬ ∈ ∋ ⊆ ⊇ ⊂ ⊃ ∪ ∩ ∧
∨ ￢ ⇒ ⇔ ∀ ∃ ∮ ∑ ∏ ＋ － ＜ ＝ ＞      
  ก ข ฃ ค ฅ ฆ ง จ ฉ ช ซ ฌ ญ ฎ ฏ
ฐ ฑ ฒ ณ ด ต ถ ท ธ น บ ป ผ ฝ พ ฟ
ภ ม ย ร ฤ ล ฦ ว ศ ษ ส ห ฬ อ ฮ ฯ
ะ ั า ำ ิ ี ึ ื ุ ู ฺ         ฿
เ แ โ ใ ไ ๅ ๆ ็ ่ ้ ๊ ๋ ์ ํ ๎ ๏
᠀ ᠁ ᠂ ᠃ ᠄ ᠅ ᠆ ᠇ ᠈ ᠉ ᠊          
᠐ ᠑ ᠒ ᠓ ᠔ ᠕ ᠖ ᠗ ᠘ ᠙            
ᠠ ᠡ ᠢ ᠣ ᠤ ᠥ ᠦ ᠧ ᠨ ᠩ ᠪ ᠫ ᠬ ᠭ ᠮ ᠯ
ᠰ ᠱ ᠲ ᠳ ᠴ ᠵ ᠶ ᠷ ᠸ ᠹ ᠺ ᠻ ᠼ ᠽ ᠾ ᠿ
ᡀ ᡁ ᡂ ᡃ ᡄ ᡅ ᡆ ᡇ ᡈ ᡉ ᡊ ᡋ ᡌ ᡍ ᡎ ᡏ
Resource Type
Language
Published year
-
(예 : 2012 ~ 2018)
The number of output per page
Sort item
Sort order
주제별 검색
Name, Birth/Death Dates   |   Occupation   |   Organizations Catalog Detail
'Catalog' Results sorted by 52Number
국외eBook
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III
Lesot, Marie-Jeanne
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Verification and Evaluation of Computer and Communication Systems : 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings
Ben Hedia, Belgacem
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Monotonicity in Logic and Language : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Deng, Dun
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Deshmukh, Jyotirmoy
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings
Watson, Ian
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
Hofstedt, Petra
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
Nakano, Keisuke
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Beyond the Horizon of Computability : 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Anselmo, Marcella
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Raschke, Alexander
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Carvalho, Gustavo
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QRush Cataloging
DDelivery Service
SSMS
PPrint
Regist No. Call number Item location Status Expected return date Service
Add to My Library
Refining search results
Restricted item(1)
All : Mathematical Logic and Formal Languages.
Publication Years(7)
Branches(2)
Material Types(2)
Authors(20)
Languages(2)
Publishers(8)
Subjects(20)

Send E-mail

이메일

Please login.