Skip navigation
DSpace
機構典藏 DSpace 系統致力於保存各式數位資料（如：文字、圖片、PDF）並使其易於取用。
點此認識 DSpace
English
中文
瀏覽論文
校院系所
出版年
作者
標題
關鍵字
指導教授
搜尋 TDR
授權 Q&A
幫助
我的頁面
接受 E-mail 通知
編輯個人資料
NTU Theses and Dissertations Repository
瀏覽 的方式： 指導教授 Tony Tan
跳到：
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
或是輸入前幾個字：
排序方式：
標題
出版年
排序方式：
升冪排序
降冪排序
結果/頁面
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄：
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 1 到 4 筆資料，總共 4 筆
出版年
標題
作者
系所
2023
存在性二階布林運算式的隨機可驗證系統和其不可估計性
A PCP Protocol for Existential SOQBF and the Inapproximability Result
呂侑承
;
Yu-Cheng Lu
資訊工程學系
2023
密碼學函式庫實作中向量化基本操作的形式驗證
Formal Verification of Vectorized Implementations of Cryptographic Primitives
潘廣霖
;
Kuang-Lin Pan
資訊工程學系
2023
快速常數時間模反元素演算法程式之形式驗證
Formal Verification of Fast Constant Time Modular Inverse Algorithm Implementations
陳翰霆
;
Han-Ting Chen
資訊工程學系
2023
精簡表示的NP完全問題與相依量詞布林公式
Succinctly Represented NP-complete Problems and DQBF
陳法熏
;
Fa-Hsun Chen
資訊網路與多媒體研究所
