語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
連至 進階查詢
限制條件
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
圖書
期刊
DVD光碟
VCD光碟
碩士學位論文(校內)
學生專題報告
磁帶
磁碟(磁片)
錄音帶
錄影帶
幻燈片
唱片
CD唱片
影碟
參考書
投影片
輿圖
剪輯資料
學位論文(校外)
期刊參考書
特藏
工程圖
教學圖表(色卡, 字卡..)
原件. 複製照片(明信片)
原件. 複製平面藝術品
海報
教師著作
本校各單位出版品
電子參考書_光碟
電子圖書_光碟
電子期刊_光碟
繪本讀物
英基文庫
多媒體光碟
期刊附件光碟
微縮資料
博士學位論文(校內)
藝術作品
漫畫
榮葉合作借書證
日文書
彰雲嘉大專校院聯盟借書證
圖書互借借書證
電子書閱讀器
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由小到大)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
主題 (由小到大)
主題 (由大到小)
書名 (由小到大)
書名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢名 (由小到大)
集叢名 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
Rating (由小到大)
Rating (由大到小)
查詢結果
[ subject:"Computer programs"]
10 筆 (0.0090s)
·
頁 1 of 1
•
1
1
.
Prolog and its applications:a japane...
~
MizoguchiFumio editor
Prolog and its applications:a japanese perspective
by:
MizoguchiFumio editor
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Chapman & Hall
出版地:
New York
出版年:
1991
ISBN:
0442312067
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
2
.
Composite/structured design
~
Myers, Glenford J.
Composite/structured design
by:
Myers, Glenford J.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Van Nostrand Reinhold Company Inc.
出版地:
New York
出版年:
1978
ISBN:
0442805845
館藏流通狀態
:
1 本館藏
|
1 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
3
.
Research anthology on agile software, software development, and testing[electronic resource] /
by:
Information Resources Management Association.
書目-電子資源
: Monograph/item
出版者:
IGI Global,
出版地:
Hershey, PA :
出版年:
2022
ISBN:
9781668437025; 9781668437032; 9781668446911; 9781668446928; 9781668446935; 9781668446942
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
4
.
Dynamic binary modification[electron...
~
Hazelwood, Kim Michelle.
Dynamic binary modification[electronic resource] :tools,techniques, and applications /
by:
Hazelwood, Kim Michelle.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Morgan & Claypool Publishers,
出版地:
[San Rafael, Calif.] :
出版年:
2011.
ISBN:
9781608454587; 9781608454594
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
5
.
Code generation, analysis tools, and...
~
Pinto, Mario Teixeira, (1967-)
Code generation, analysis tools, and testing for quality[electronic resource] /
by:
Pinto, Mario Teixeira, (1967-); Queiros, Ricardo Alexandre Peixoto de, (1975-); Simoes, Alberto, (1978-)
書目-電子資源
: Monograph/item
出版者:
IGI Global,
出版地:
Hershey, Pennsylvania :
出版年:
[2019]
ISBN:
9781522574552; 9781522574569
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
6
.
Windows installation and update trou...
~
Bettany, Andrew.
Windows installation and update troubleshooting[electronic resource] /
by:
Bettany, Andrew.; Rhodes, Chris.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
eng
出版者:
Apress :; Imprint: Apress,
出版地:
Berkeley, CA :
出版年:
2016.
ISBN:
9781484218266; 9781484218273
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
7
.
Critical systems[electronic resource...
~
Beek, Maurice H. ter.
Critical systems[electronic resource] :formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
Beek, Maurice H. ter.; Clark Conference ((2005 :); Gnesi, Stefania.; Knapp, Alexander.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2016.
ISBN:
9783319459424; 9783319459431
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
8
.
From programs to systems - the syste...
~
Bensalem, Saddek.
From programs to systems - the systems perspective in computing[electronic resource] :ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings /
by:
Bensalem, Saddek.; Clark Conference ((2005 :); Lakhneck, Yassine.; Legay, Axel.; SpringerLink (Online service)
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer Berlin Heidelberg :
出版地:
Berlin, Heidelberg :
出版年:
2014.
ISBN:
9783642548475; 9783642548482
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
9
.
Mathematics of program construction[...
~
Clark Conference ((2005 :)
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
Clark Conference ((2005 :); Hinze, Ralf.; SpringerLink (Online service); Voigtlander, Janis.
書目-語言資料,印刷品
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2015.
ISBN:
9783319197968; 9783319197975
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
10
.
Hardware and software[electronic res...
~
Arbel, Eli.
Hardware and software[electronic resource] :verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
Arbel, Eli.; Bloem, Roderick.; Clark Conference ((2005 :); SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
eng
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2016.
ISBN:
9783319490519; 9783319490526
館藏流通狀態
:
0 本館藏
|
0 本館藏 可借閱
|
0 本館藏 可預約
筆 0 讀者評論
小鍵盤
Close
符號表
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
儲存至 管理 > OPAC > SDI維護
Export
取書館別
處理中
...
變更密碼
登入