東華大學圖書館 |

Reversible computation = 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings /
by: RC (Workshop : Reversible computation) (2024 :); Mogensen, Torben Ægidius.; Mikulski, Łukasz.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer Nature Switzerland :
Place of Publication: Cham :
Year of Publication: 2024
ISBN: 9783031620751; 9783031620768
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

10.

Interfaces = explorations in logic, ...

~

Icard, Thomas.

Linked to FindBook

Google Book

Amazon

博客來

Interfaces = explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers /
by: Icard, Thomas.; Muskens, Reinhard.; SpringerLink (Online service)
Language materials, printed : Monograph/item
Publisher: Springer-Verlag Berlin Heidelberg,
Place of Publication: Berlin, Heidelberg :
Year of Publication: 2010
ISBN: 9783642147289; 9783642147296
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

11.

Fields of logic and computation II =...

~

Beklemishev, Lev D.

Linked to FindBook

Google Book

Amazon

博客來

Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by: Beklemishev, Lev D.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2015
ISBN: 9783319235332; 9783319235349
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

12.

Logical foundations of computer scie...

~

Artemov, Sergei.

Linked to FindBook

Google Book

Amazon

博客來

Logical foundations of computer science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2016
ISBN: 9783319276823; 9783319276830
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

13.

Logical foundations of computer scie...

~

LFCS (Symposium) ((2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Logical foundations of computer science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings /
by: LFCS (Symposium) ((2020 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer International Publishing :
Place of Publication: Cham :
Year of Publication: 2020
ISBN: 9783030367541; 9783030367558
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

14.

Logic-based program synthesis and tr...

~

LOPSTR (Symposium) (2022 :)

Linked to FindBook

Google Book

Amazon

博客來

Logic-based program synthesis and transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings /
by: LOPSTR (Symposium) (2022 :); Villanueva, Alicia.; SpringerLink (Online service)
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 | 0 Copie(s) available for loan
based on 0 review(s)

15.

Logic-based program synthesis and tr...

~

LOPSTR (Symposium) (2023 :)

Linked to FindBook

Google Book

Amazon

博客來

Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings /
by: LOPSTR (Symposium) (2023 :); Gluck, R.; Kafle, Bishoksan.; SpringerLink (Online service)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer Nature Switzerland :
Place of Publication: Cham :
Year of Publication: 2023
ISBN: 9783031457838; 9783031457845
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)

16.

Linked to FindBook

Google Book

Amazon

博客來

Selected reflections in language, logic, and information = ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 student sessions : selected papers /
by: European Summer School in Logic, Language, and Information (2019 :); Pavlova, Alexandra.; Pedersen, Mina Young.; Bernardi, Raffaella.; SpringerLink (Online service); European Summer School in Logic, Language, and Information (2020 :); European Summer School in Logic, Language, and Information (2021 :)
Electronic resources : Monograph/item
Language: 英文
Publisher: Imprint: Springer,; Springer Nature Switzerland :
Place of Publication: Cham :
Year of Publication: 2024
ISBN: 9783031506277; 9783031506284
Availability: 1 Copie(s) available | 0 Copie(s) available for loan
based on 0 review(s)