國立高雄大學圖資館 |

查詢結果 [ subject:"Computer programs"]

68 筆 (0.03s)· 頁 1 of 7 • 1 2 3 4 5

1.

Perspectives of system informatics4t...

~
(1998 :)
- Perspectives of system informatics4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /
- by: (1998 :); Bjorner, Dines.; Broy, Manfred.; SpringerLink (Online service); Zamulin, Aleksandr Vasilevich.
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: London :
- 出版年: 2001
- ISBN: 9783540430759
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
2.

Verification, model checking and abs...

~
(1998 :)
- Verification, model checking and abstract interpretationthird international workshop, VMCAI 2002, Venice, Italy, January 21-22 2002 : revised papers /
- by: (1998 :); Cortesi, Agostino.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2002
- ISBN: 9783540436317
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
3.

Verification, model checking, and ab...

~
(1998 :)
- Verification, model checking, and abstract interpretation4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
- by: (1998 :); SpringerLink (Online service); Zuck, Lenore D., (1958-)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2003
- ISBN: 9783540003489
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
4.

Accuracy and reliability in scientif...

~
Einarsson, Bo.
- Accuracy and reliability in scientific computing
- by: Einarsson, Bo.
- 書目-電子資源 : Monograph/item
- 出版者: Society for Industrial and Applied Mathematics,
- 出版地: Philadelphia :
- 出版年: 2005
- ISBN: 0898715849
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
5.
- Research anthology on agile software, software development, and testing
- by: Information Resources Management Association.
- 書目-電子資源 : Monograph/item
- 出版者: IGI Global,
- 出版地: Hershey, PA :
- 出版年: 2022
- ISBN: 9781668437025; 9781668437032; 97816684469111; 97816684469282; 97816684469353; 97816684469424
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
6.

Accuracy and reliability in scientif...

~
Einarsson, Bo, (1939-)
- Accuracy and reliability in scientific computing /
- by: Einarsson, Bo, (1939-)
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Society for Industrial and Applied Mathematics,
- 出版地: Philadelphia :
- 出版年: 2005
- ISBN: 0898715849
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
7.

Dynamic binary modificationtools,tec...

~
Hazelwood, Kim Michelle.
- Dynamic binary modificationtools,techniques, and applications /
- by: Hazelwood, Kim Michelle.
- 書目-電子資源 : Monograph/item
- 語文別: 英文
- 出版者: Morgan & Claypool Publishers,
- 出版地: [San Rafael, Calif.] :
- 出版年: 2011
- ISBN: 9781608454587; 9781608454594
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
8.

Programs as data objectsSecond Sympo...

~
(1998 :)
- Programs as data objectsSecond Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
- by: (1998 :); Danvy, Olivier.; Filinski, Andrzej.; SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: New York :
- 出版年: 2001
- ISBN: 9783540420682
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
9.

Computer aided verification16th inte...

~
(1998 :)
- Computer aided verification16th international conference, CAV 2004 /
- by: (1998 :); Alur, Rajeev, (1966-); Peled, Doron, (1962-); SpringerLink (Online service)
- 書目-電子資源 : Monograph/item
- 出版者: Springer,
- 出版地: London :
- 出版年: 2004
- ISBN: 9783540223429
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論
10.

Software patents worldwide /

~
Kluwer Law International (Firm)
- Software patents worldwide /
- by: Kluwer Law International (Firm); Stobbs, Gregory A.
- 書目-語言資料,印刷品 : Monograph/item
- 語文別: 英文
- 出版者: Sold and distributed in North, Central, and South America by Aspen Publishers,; Wolters Kluwer ;
- 出版地: Frederick, MD :
- 出版年: 2008
- ISBN: 9789041125026
- 館藏流通狀態: 1 本館藏 | 1 本館藏在館內
- 筆 0 讀者評論

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