國立高雄大學圖資館 |

查詢結果 [ subject:"Logics and Meanings of Programs."]

1220 筆 (0.046s)· 頁 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)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2020
- ISBN: 9783030635947; 9783030635954
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Refinementsemantics, languages and a...

~
Boiten, Eerke.
- Refinementsemantics, languages and applications /
- by: Boiten, Eerke.; Derrick, John.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319927091; 9783319927114
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Elementary logicfor software develop...

~
Lover, Robert.
- Elementary logicfor software development /
- by: Lover, Robert.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Springer London,
- 出版地: London :
- 出版年: 2008
- ISBN: 9781848000810; 9781848000827
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
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)
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Springer Berlin Heidelberg,
- 出版地: Berlin, Heidelberg :
- 出版年: 2006
- ISBN: 9783540311393; 9783540316220
- 館藏流通狀態: 0 本館藏 | 0 本館藏在館內
- 筆 0 讀者評論
5.

A first introduction to quantum comp...

~
SpringerLink (Online service)
- A first introduction to quantum computing and information
- by: SpringerLink (Online service); Zygelman, Bernard.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2018
- ISBN: 9783319916286; 9783319916293
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
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)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030112448; 9783030112455
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
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.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030232191; 9783030232207
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
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.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030284220; 9783030284237
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
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.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030355135; 9783030355142
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Answer set programming

~
Lifschitz, Vladimir.
- Answer set programming
- by: Lifschitz, Vladimir.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Imprint: Springer,; Springer International Publishing :
- 出版地: Cham :
- 出版年: 2019
- ISBN: 9783030246570; 9783030246587
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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