國立高雄大學圖資館 |

Search result for [ subject:"Logics and Meanings of Programs."]

1220 records (0.039s)· Page 1 of 122 • 1 2 3 4 5 ... 122

1.

Rewriting logic and its applications...

~
(1998 :)
- Rewriting logic and its applications13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers /
- by: (1998 :); Escobar, Santiago.; Marti-Oliet, Narciso.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2020
- ISBN: 9783030635947; 9783030635954
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Refinementsemantics, languages and a...

~
Boiten, Eerke.
- Refinementsemantics, languages and applications /
- by: Boiten, Eerke.; Derrick, John.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319927091; 9783319927114
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Elementary logicfor software develop...

~
Lover, Robert.
- Elementary logicfor software development /
- by: Lover, Robert.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Springer London,
- Place of Publication: London :
- Year of Publication: 2008
- ISBN: 9781848000810; 9781848000827
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Verification, model checking, and ab...

~
(1998 :)
- Verification, model checking, and abstract interpretation7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
- by: (1998 :); Emerson, E. Allen.; Namjoshi, Kedar S.; SpringerLink (Online service)
- Language materials, printed : Monograph/item
- Language: 英文
- Publisher: Springer Berlin Heidelberg,
- Place of Publication: Berlin, Heidelberg :
- Year of Publication: 2006
- ISBN: 9783540311393; 9783540316220
- Availability: 0 Copie(s) available | 0 Copie(s) available for loan
- based on 0 review(s)
5.

A first introduction to quantum comp...

~
SpringerLink (Online service)
- A first introduction to quantum computing and information
- by: SpringerLink (Online service); Zygelman, Bernard.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2018
- ISBN: 9783319916286; 9783319916293
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Verification, model checking, and ab...

~
(1998 :)
- Verification, model checking, and abstract interpretation20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings /
- by: (1998 :); Enea, Constantin.; Piskac, Ruzica.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030112448; 9783030112455
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Recent trends in algebraic developme...

~
(1998 :)
- Recent trends in algebraic development techniques24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
- by: (1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service); Tutu, Ionut.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030232191; 9783030232207
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Numerical software verification12th ...

~
(1998 :)
- Numerical software verification12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
- by: (1998 :); SpringerLink (Online service); Zamani, Majid.; Zufferey, Damien.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030284220; 9783030284237
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Scalable uncertainty management13th ...

~
(1998 :)
- Scalable uncertainty management13th International Conference, SUM 2019, Compiegne, France, December 16-18, 2019 : proceedings /
- by: (1998 :); Ben Amor, Nahla.; Quost, Benjamin.; SpringerLink (Online service); Theobald, Martin.
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030355135; 9783030355142
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Answer set programming

~
Lifschitz, Vladimir.
- Answer set programming
- by: Lifschitz, Vladimir.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2019
- ISBN: 9783030246570; 9783030246587
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items