國立高雄大學圖資館 |

查詢結果 [ subject:"Computer Science Logic and Foundations of Programming."]

74 筆 (0.039s)· 頁 1 of 8 • 1 2 3 4 5

1.
- Theoretical aspects of computing - ICTAC 202219th International Colloquium, Tbilisi, Georgia, September 27-29, 2022 : proceedings /
- by: (1998 :); Liu, Zhiming.; Pasareanu, Corina S.; Seidl, Helmut.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031177149; 9783031177156
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.
- Logic and engineering of natural language semantics19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022 : revised selected papers /
- by: (1998 :); Bekki, Daisuke.; McCready, Eric.; Mineshima, Koji.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031439766; 9783031439773
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.
- Theoretical aspects of computing - ICTAC 202320th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
- by: (1998 :); Abraham, Erika.; Dubslaff, Clemens.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031479625; 9783031479632
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.
- Logic and engineering of natural language semantics20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023 : revised selected papers /
- by: (1998 :); Bekki, Daisuke.; McCready, Elin.; Mineshima, Koji.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2024
- ISBN: 9783031608773; 9783031608780
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- Concise guide to software engineeringfrom fundamentals to application methods /
- by: O'Regan, Gerard.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031078156; 9783031078163
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.
- Logic-based program synthesis and transformation32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings /
- by: (1998 :); SpringerLink (Online service); Villanueva, Alicia.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2022
- ISBN: 9783031167669; 9783031167676
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.
- Analysis, verification and transformation for declarative programming and intelligent systemsessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
- by: Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; Lopez-Garcia, Pedro.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031314759; 9783031314766
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.
- Unconventional computation and natural computation20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023 : proceedings /
- by: (1998 :); Genova, Daniela.; Kari, Jarkko.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031340338; 9783031340345
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.
- Prologthe next 50 years /
- by: SpringerLink (Online service); Warren, David S.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031352539; 9783031352546
- 館藏流通狀態: 0 本館藏 | 0 本館藏在館內
- 筆 0 讀者評論
10.
- Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday /
- by: Haxthausen, Anne E.; Huang, Wen-ling.; Peleska, Jan,; Roggenbach, Markus.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer Nature Switzerland :
- 出版地: Cham :
- 出版年: 2023
- ISBN: 9783031401312; 9783031401329
- 館藏流通狀態: 0 本館藏 | 0 本館藏在館內
- 筆 0 讀者評論

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