語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
連至 進階查詢
**縮小範圍
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
館藏地:
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由小到大)
主題 (由小到大)
主題 (由大到小)
書刊名 (由小到大)
書刊名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
評價 (由小到大)
評價 (由大到小)
條列顯示
簡明書封顯示
詳細顯示
顯示方式
查詢結果
[ subject:"Theory of Computation."]
840 筆 (0.097s)
•
頁 1 of 84
•
1
2
3
4
5
...
84
1
.
Intelligent software defect prediction
by:
Chen, Haowen.; Jing, Xiao-Yuan.; SpringerLink (Online service); Xu, Baowen.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Singapore :
出版地:
Singapore :
出版年:
2023
ISBN:
9789819928415; 9789819928422
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
2
.
Computer sciencetheory and applications : 17th International Computer Science Symposium in Russia, CSR 2022, virtual event, June 29-July 1, 2022 : proceedings /
by:
(1998 :); Kulikov, Alexander.; Raskhodnikova, Sofya.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2022
ISBN:
9783031095733; 9783031095740
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
3
.
Blockchain scalability and its foundations in distributed systems
by:
Gramoli, Vincent.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2022
ISBN:
9783031125775; 9783031125782
館藏流通狀態
:
0 本館藏
|
0 本館藏 在館內
筆 0 讀者評論
4
.
Understanding computationpillars, paradigms, principles /
by:
Heath, Lenwood S.; Rosenberg, Arnold L.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2022
ISBN:
9783031100543; 9783031100550
館藏流通狀態
:
0 本館藏
|
0 本館藏 在館內
筆 0 讀者評論
5
.
Graph transformation for software en...
~
Heckel, Reiko.
Graph transformation for software engineerswith applications to model-based development and domain-specific language engineering /
by:
Heckel, Reiko.; SpringerLink (Online service); Taentzer, Gabriele.
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2020
ISBN:
9783030439156; 9783030439163
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
6
.
Encyclopedia of computational neuroscience
by:
Jager, Dieter.; Jung, Ranu.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer New York :
出版地:
New York, NY :
出版年:
2022
ISBN:
9781071610046; 9781071610053; 9781071610060
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
7
.
Foundations of software science and computation structures26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings /
by:
(1998 :); Kupferman, Orna.; Sobocinski, Pawel.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Switzerland :
出版地:
Cham :
出版年:
2023
ISBN:
9783031308284; 9783031308291
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
8
.
Complex computational ecosystemsfirst International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023 : proceedings /
by:
(1998 :); Collet, Pierre.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Switzerland :
出版地:
Cham :
出版年:
2023
ISBN:
9783031443541; 9783031443558
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
9
.
Practical aspects of declarative languages26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings /
by:
(1998 :); Gebser, Martin.; Sergey, Ilya.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Switzerland :
出版地:
Cham :
出版年:
2023
ISBN:
9783031520372; 9783031520389
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
10
.
WALCOMalgorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings /
by:
(1998 :); Lin, Bertrand M. T.; Lin, Chun-Cheng.; Liotta, Giuseppe.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Switzerland :
出版地:
Cham :
出版年:
2023
ISBN:
9783031270505; 9783031270512
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
840 筆 (0.097s)
•
頁 1 of 84
•
1
2
3
4
5
...
84
小鍵盤
Close
符號表
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
Export
儲存至 管理 > OPAC > SDI維護
建立或儲存個人書籤
取書館別
getLabel(5501611)
Go To Page
處理中
...
變更密碼
登入