부산대학교 도서관

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 433Number
Foreign Book
Verification and validation in computational science and engineering
Roache, Patrick J
Albuquerque, N.M. : Hermosapublishers, c1998.
Central Library
Borrowable
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
Foreign Book
Verification and validation in scientific computing
Oberkampf, William L
New York : Cambridge University Press, 2010.
Central Library
Borrowable
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
Foreign Book
Verification and validation for quality of UML 2.0 models
Unhelkar, Bhuvan
Hoboken, NJ : John Wiley , 2005.
Central Library
Borrowable
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
Foreign Book
Verification 1995 : Arms control, peacekeeping and environment
Poole, J. B
Boulder : Westview Press
Nano-Life Science Library
Borrowable
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
Thesis
(The)Verification of KIFRA code package = KIFRA코드의 신뢰성 검정
정동철
서울 : 漢陽大學校, 1986.
Nano-Life Science Library
Unborrowable
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
Foreign Book
SystemVerilog for verification :a guide to learning the testbench language features
Spear, Chris
New York : Springer, c2012.
Central Library
Borrowable
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
Foreign Book
Comprehensive functional verification the complete industry cycle
Wile, Bruce
Amsterdam
Central Library
Borrowable
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
Foreign Book
Co-verification of hardware and software for ARM SoC design
Andrews, Jason R
Amsterdam ; Boston : Elsevier, c2005.
Central Library
Borrowable
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
Foreign Book
Hardware design verification: simulation and formal method-based approaches
Lam, William K. C
Upper Saddle River : Prentice Hall Professional Technical Reference, 2005.
Central Library
Borrowable
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
Foreign Book
Formal verification of hardware design
Yoeli, Michael
Los Alamos, Calif. : IEEE Computer Society Press , c1990.
Central Library
Borrowable
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 : Verification
Publication Years(43)
Branches(8)
Material Types(4)
Authors(19)
Languages(5)
Publishers(20)
Subjects(20)

Send E-mail

이메일

Please login.