부산대학교 도서관

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
주제별 검색
저자명, 생몰년   |   직 업   |   관련단체 Catalog 상세정보
'Catalog' Results sorted by 33Number
국외eBook
Machine Translation : 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020, Revised Selected Papers
Li, Junhui
Singapore
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Pichardie, David
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num 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
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Transactions on Rough Sets XXII
Peters, James F
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Rewriting Logic and Its Applications : 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Escobar, Santiago
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY
Ahrendt, Wolfgang
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Christakis, Maria
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Casola, Valentina
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num 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
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
국외eBook
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
Oliveira, Bruno C. d. S
Germany
Central Library
Posting electronic data
RReservation
AAbsent
VPreservation
CLoan Campus
QQuick Cataloging
DDelivery Service
SSMS
PPrint
Regist Num Call number Item location Status Expected return date Service
Add to My Library
Refining search results
Restricted item(1)
All : Logics and Meanings of Programs.
Branches(1)
Material Types(1)
Authors(20)
Languages(1)
Subjects(20)

Send E-mail

이메일

Please login.