國立高雄大學圖資館 |

查詢結果 [ subject:"Theory of Computation."]

883 筆 (0.045s)· 頁 1 of 89 • 1 2 3 4 5 ... 89

1.
- 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 讀者評論
2.
- 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 讀者評論
3.
- 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 讀者評論
4.

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 讀者評論
5.
- 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 讀者評論
6.
- 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 讀者評論
7.
- 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 讀者評論
8.

Theory of reversible computing

~
Morita, Kenichi.
- Theory of reversible computing
- by: Morita, Kenichi.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Japan :
- 出版地: Tokyo :
- 出版年: 2017
- ISBN: 9784431566045; 9784431566069
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Space in weak propositional proof sy...

~
Bonacina, Ilario.
- Space in weak propositional proof systems
- by: Bonacina, Ilario.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2017
- ISBN: 9783319734521; 9783319734538
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Principles in noisy optimizationappl...

~
Konar, Amit.
- Principles in noisy optimizationapplied to multi-agent coordination /
- by: Konar, Amit.; Rakshit, Pratyusha.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Singapore :
- 出版地: Singapore :
- 出版年: 2018
- ISBN: 9789811086410; 9789811086427
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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