國立高雄大學圖資館 |

Search result for [ subject:"Computer Science Logic and Foundations of Programming."]

120 records (0.025s)· Page 1 of 12 • 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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031177149; 9783031177156
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031439766; 9783031439773
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031479625; 9783031479632
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2024
- ISBN: 9783031608773; 9783031608780
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.
- Theoretical aspects of computing - ICTAC 202421st International Colloquium, Bangkok, Thailand, November 25-29, 2024 : proceedings /
- by: (1998 :); Anutariya, Chutiporn.; Bonsangue, Marcello M.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2025
- ISBN: 9783031770180; 9783031770197
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.
- Concise guide to software engineeringfrom fundamentals to application methods /
- by: O'Regan, Gerard.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031078156; 9783031078163
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.
- Logic-based program synthesis and transformation32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings /
- by: (1998 :); SpringerLink (Online service); Villanueva, Alicia.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2022
- ISBN: 9783031167669; 9783031167676
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.
- 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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031314759; 9783031314766
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.
- 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)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer Nature Switzerland :
- Place of Publication: Cham :
- Year of Publication: 2023
- ISBN: 9783031340338; 9783031340345
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.
- 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 讀者評論

Bibliographic level:
Material type:
Only with items