語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
連至 進階查詢
**縮小範圍
書目性質:
全系統記錄
圖書
期刊
分析
合集
資料類型:
全系統記錄
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
查找有館藏的資料
精確檢索
關連的主題
10
20
50
關連性 (由小到大)
主題 (由小到大)
主題 (由大到小)
書刊名 (由小到大)
書刊名 (由大到小)
作者 (由小到大)
作者 (由大到小)
出版地 (由小到大)
出版地 (由大到小)
出版年 (由小到大)
出版年 (由大到小)
ISBN/ISSN (由小到大)
ISBN/ISSN (由大到小)
作者 (由小到大)
作者 (由大到小)
語言 (由小到大)
語言 (由大到小)
系統識別號 (由小到大)
系統識別號 (由大到小)
集叢 (由小到大)
集叢 (由大到小)
正題名 (由小到大)
正題名 (由大到小)
版本項 (由小到大)
版本項 (由大到小)
ISBN (由小到大)
ISBN (由大到小)
ISSN (由小到大)
ISSN (由大到小)
內容註 (由小到大)
內容註 (由大到小)
出版者 (由小到大)
出版者 (由大到小)
評價 (由小到大)
評價 (由大到小)
查詢結果
[ subject:"Computable functions"]
26 筆 (0.028s)
·
頁 1 of 3
•
1
2
3
1
.
Revolutions and revelations in computability18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings /
by:
(1998 :); Berger, Ulrich.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2022
ISBN:
9783031087394; 9783031087400
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
2
.
Unity of logic and computation19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings /
by:
(1998 :); Della Vedova, Gianluca.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Switzerland :
出版地:
Cham :
出版年:
2023
ISBN:
9783031369773; 9783031369780
館藏流通狀態
:
0 本館藏
|
0 本館藏 在館內
筆 0 讀者評論
3
.
Twenty years of theoretical and practical synergies20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024 : proceedings /
by:
(1998 :); Levy Patey, Ludovic.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer Nature Switzerland :
出版地:
Cham :
出版年:
2024
ISBN:
9783031643088; 9783031643095
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
4
.
Computability and complexity in anal...
~
Blanck, Jens, (1966-)
Computability and complexity in analysis :4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
by:
Blanck, Jens, (1966-); Brattka, Vasco, (1966-); Hertling, Peter, (1965-)
書目-語言資料,印刷品
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2001
ISBN:
3540421971
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
5
.
Computability and complexity in anal...
~
Blanck, Jens.
Computability and complexity in analysis4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers /
by:
Blanck, Jens.; Brattka, Vasco.; Hertling, Peter.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
出版者:
Springer,
出版地:
New York :
出版年:
2001
ISBN:
9783540421979
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
6
.
Representations of discrete functions /
~
(1998 :)
Representations of discrete functions /
by:
(1998 :); Fujita, Masahiro, (1956-); Sasao, Tsutomu, (1950-)
書目-語言資料,印刷品
: Monograph/item
出版者:
Kluwer Academic,
出版地:
Boston :
出版年:
1996
ISBN:
0792397207
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
7
.
Beyond the horizon of computability1...
~
(1998 :)
Beyond the horizon of computability16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings /
by:
(1998 :); Anselmo, Marcella.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2020
ISBN:
9783030514655; 9783030514662
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
8
.
Handbook of computability and comple...
~
Brattka, Vasco.
Handbook of computability and complexity in analysis
by:
Brattka, Vasco.; Hertling, Peter.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2021
ISBN:
9783030592332; 9783030592349
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
9
.
Language, life, limits10th Conferenc...
~
(1998 :)
Language, life, limits10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(1998 :); Beckmann, Arnold.; Csuhaj-Varju, Erzsebet.; Meer, Klaus.; SpringerLink (Online service)
書目-電子資源
: Monograph/item
語文別:
英文
出版者:
Imprint: Springer,; Springer International Publishing :
出版地:
Cham :
出版年:
2014
ISBN:
9783319080185; 9783319080192
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
10
.
New Computational ParadigmsFirst Con...
~
(1998 :)
New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(1998 :); Cooper, S. B.; Lowe, Benedikt.; SpringerLink (Online service); Torenvliet, Leen.
書目-電子資源
: Monograph/item
出版者:
Springer-Verlag GmbH.,
出版地:
Berlin Heidelberg :
出版年:
2005
ISBN:
9783540261797; 9783540322665
館藏流通狀態
:
1 本館藏
|
1 本館藏 在館內
筆 0 讀者評論
小鍵盤
Close
符號表
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
儲存至 管理 > OPAC > SDI維護
Export
取書館別
處理中
...
變更密碼
登入