國立高雄大學圖資館 |

查詢結果 [ 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 讀者評論

書目性質:
資料類型:
查找有館藏的資料