國立高雄大學圖資館 |

Search result for [ subject:"Theory of Computation."]

1027 records (0.04s)· Page 1 of 103 • 1 2 3 4 5 ... 103

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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031095733; 9783031095740
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.
- Blockchain scalability and its foundations in distributed systems
- by: Gramoli, Vincent.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031125775; 9783031125782
- Availability: 0 Copie(s) available | 0 Copie(s) available for loan
- based on 0 review(s)
3.
- Understanding computationpillars, paradigms, principles /
- by: Heath, Lenwood S.; Rosenberg, Arnold L.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031100543; 9783031100550
- Availability: 0 Copie(s) available | 0 Copie(s) available for loan
- based on 0 review(s)
4.
- Languages of cooperation and communicationessays dedicated to Erzsébet Csuhaj-Varjú to celebrate her scientific career /
- by: Csuhaj-Varjú, E.; Jiménez López, M. Dolores.; SpringerLink (Online service); Vaszil, György.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2025
- ISBN: 9783031972737; 9783031972744
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2020
- ISBN: 9783030439156; 9783030439163
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- Encyclopedia of computational neuroscience
- by: Jager, Dieter.; Jung, Ranu.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer New York :
- Place of Publication: New York, NY :
- Year of Publication: 2022
- ISBN: 9781071610046; 9781071610053; 9781071610060
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031308284; 9783031308291
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- Complex computational ecosystemsfirst International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023 : proceedings /
- by: (1998 :); Collet, Pierre.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031443541; 9783031443558
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Theory of reversible computing

~
Morita, Kenichi.
- Theory of reversible computing
- by: Morita, Kenichi.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Japan :
- Place of Publication: Tokyo :
- Year of Publication: 2017
- ISBN: 9784431566045; 9784431566069
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Space in weak propositional proof sy...

~
Bonacina, Ilario.
- Space in weak propositional proof systems
- by: Bonacina, Ilario.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2017
- ISBN: 9783319734521; 9783319734538
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items