國立高雄大學圖資館 |

查詢結果 [ subject:"Formal Languages and Automata Theory."]

59 筆 (0.039s)· 頁 1 of 6 • 1 2 3 4 5

1.
- Rigorous state-based methods9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings /
- by: (1998 :); Glässer, Uwe.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031331626; 9783031331633
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.
- Coalgebraic methods in computer science16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
- by: (1998 :); Hansen, Helle Hvid.; SpringerLink (Online service); Zanasi, Fabio.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031107351; 9783031107368
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.
- Metainferential logics
- by: Da Re, Bruno.; Pailos, Federico.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031443800; 9783031443817
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.
- Programming-based formal languages and automata theorydesign, implement, validate, and prove /
- by: Morazán, Marco T.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2024
- ISBN: 9783031439728; 9783031439735
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
- by: (1998 :); Mezzina, Claudio Antares.; Podlaski, Krzysztof.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031090042; 9783031090059
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.
- Information processing and management of uncertainty in knowledge-based systems19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022 : proceedings.Part I /
- by: (1998 :); Ciucci, Davide.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031089701; 9783031089718
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.
- Artificial intelligence logic and applicationsthe 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
- by: (1998 :); SpringerLink (Online service); Zhang, Songmao.; Zhang, Yonggang.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Singapore :
- 出版地: Singapore :
- 出版年: 2023
- ISBN: 9789819978687; 9789819978694
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.
- Symbolic and quantitative approaches to reasoning with uncertainty17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023 : proceedings /
- by: (1998 :); Bouraoui, Zied.; SpringerLink (Online service); Vesic, Srdjan.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2024
- ISBN: 9783031456077; 9783031456084
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Developments in language theory25th ...

~
(1998 :)
- Developments in language theory25th International Conference DLT 2021, Porto, Portugal, August 16-20, 2021 : proceedings /
- by: (1998 :); Moreira, Nelma.; Reis, Rogerio.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030815073; 9783030815080
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Modeling decisions for artificial in...

~
(1998 :)
- Modeling decisions for artificial intelligence18th International Conference, MDAI 2021, Umea, Sweden, September 27-30, 2021 : proceedings /
- by: (1998 :); Narukawa, Yasuo.; SpringerLink (Online service); Torra, Vicenc.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2021
- ISBN: 9783030855284; 9783030855291
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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