Language:
English
繁體中文
Help
圖資館首頁
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
期刊
散本過刊(東方語文)
散本過刊(東方語文)
散本過刊(西文)
樂譜
錄音帶
附件(非電腦檔)
視聽教學外借
視聽團體室
雷射唱片(CD)
光碟資料庫
書所附之電腦檔
電子書
館際互借卡
多媒體組件
影音光碟
地圖(單張)
電腦檔
中西日文參考書
研究小間
研究小間(1天)
幻燈單片,捲片
討論室
學位論文
投影片
光碟片(VIDEO)
錄影帶
光碟期刊
測試用
Locations:
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (A-Z)
Subjects (A-Z)
Subjects (Z-A)
All Titles (A-Z)
All Titles (Z-A)
All Authors (A-Z)
All Authors (Z-A)
Place of publication (A-Z)
Place of publication (Z-A)
Year of publication (A-Z)
Year of publication (Z-A)
ISBN/ISSN (A-Z)
ISBN/ISSN (Z-A)
Person name (A-Z)
Person name (Z-A)
Language (A-Z)
Language (Z-A)
RID (A-Z)
RID (Z-A)
Series (A-Z)
Series (Z-A)
Proper title (A-Z)
Proper title (Z-A)
Edition Statement (A-Z)
Edition Statement (Z-A)
ISBN (A-Z)
ISBN (Z-A)
ISSN (A-Z)
ISSN (Z-A)
Content Notes (A-Z)
Content Notes (Z-A)
Publisher (A-Z)
Publisher (Z-A)
Rating (A-Z)
Rating (Z-A)
Listă
Tiles
Content
顯示方式
Search result for
[ subject:"Computer programs"]
66 records (0.082s)
•
Page 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.
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
London :
Year of Publication:
2001
ISBN:
9783540430759
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
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)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
2002
ISBN:
9783540436317
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
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-)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
2003
ISBN:
9783540003489
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
4
.
Accuracy and reliability in scientif...
~
Einarsson, Bo.
Accuracy and reliability in scientific computing
by:
Einarsson, Bo.
Electronic resources
: Monograph/item
Publisher:
Society for Industrial and Applied Mathematics,
Place of Publication:
Philadelphia :
Year of Publication:
2005
ISBN:
0898715849
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
5
.
Research anthology on agile software, software development, and testing
by:
Information Resources Management Association.
Electronic resources
: Monograph/item
Publisher:
IGI Global,
Place of Publication:
Hershey, PA :
Year of Publication:
2022
ISBN:
9781668437025; 9781668437032; 97816684469111; 97816684469282; 97816684469353; 97816684469424
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
6
.
Accuracy and reliability in scientif...
~
Einarsson, Bo, (1939-)
Accuracy and reliability in scientific computing /
by:
Einarsson, Bo, (1939-)
Language materials, printed
: Monograph/item
Language:
英文
Publisher:
Society for Industrial and Applied Mathematics,
Place of Publication:
Philadelphia :
Year of Publication:
2005
ISBN:
0898715849
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
7
.
Dynamic binary modificationtools,tec...
~
Hazelwood, Kim Michelle.
Dynamic binary modificationtools,techniques, and applications /
by:
Hazelwood, Kim Michelle.
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Morgan & Claypool Publishers,
Place of Publication:
[San Rafael, Calif.] :
Year of Publication:
2011
ISBN:
9781608454587; 9781608454594
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
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)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
2001
ISBN:
9783540420682
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
9
.
Computer aided verification16th inte...
~
(1998 :)
Computer aided verification16th international conference, CAV 2004 /
by:
(1998 :); Alur, Rajeev, (1966-); Peled, Doron, (1962-); SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer,
Place of Publication:
London :
Year of Publication:
2004
ISBN:
9783540223429
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
10
.
Software patents worldwide /
~
Kluwer Law International (Firm)
Software patents worldwide /
by:
Kluwer Law International (Firm); Stobbs, Gregory A.
Language materials, printed
: Monograph/item
Language:
英文
Publisher:
Sold and distributed in North, Central, and South America by Aspen Publishers,; Wolters Kluwer ;
Place of Publication:
Frederick, MD :
Year of Publication:
2008
ISBN:
9789041125026
Availability
:
1 Copie(s) available
|
1 Copie(s) available for loan
based on 0 review(s)
66 records (0.082s)
•
Page 1 of 7
•
1
2
3
4
5
Diacritics
Close
Diacritics
Close
ş
Ş
ţ
Ţ
ă
Ă
â
Â
î
Î
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
丐
丠
丰
乀
乐
习
买
亀
亐
亠
亰
什
仐
仠
仰
丁
丑
両
丱
乁
乑
乡
乱
亁
云
亡
亱
仁
仑
仡
仱
Export
Save to Personal SDI
Save to Personal ReadLists
pickup library
getLabel(5501611)
Go To Page
Processing
...
Change password
Login