Showing
1 - 10
results of
15
for search '
'
Skip to content
UPFind
0
items
(满)
语言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
全文检索
题名
作者
主题
索引号
ISBN/ISSN
检索
高级检索
SUBJECT:
Computer software
和
Electronic digital computers
DATABASE:
Union Catalog (Buklod)
Show filters (3)
SUBJECT:
Computer software
和
Electronic digital computers
DATABASE:
Union Catalog (Buklod)
检索结果
Showing
1 - 10
results of
15
for search '
'
, 查询时间: 0.01s
Refine Results
排序
相关性排序
Newest to Oldest
Oldest to Newest
作者排序
标题
选择页 | 与选定的:
电子邮件
导出
打印
添加到书包
Select result number 1
1
Resilient computer system design
由
Castano, Victor
,
Schagaev, Igor
出版 2015
索引号:
载入...
位于:
载入...
Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource
添加到书包
从书包里删除
Select result number 2
2
Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. proceedings
出版 2011
索引号:
载入...
位于:
载入...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
添加到书包
从书包里删除
Select result number 3
3
Arithmetic optimization techniques for hardware and software design
由
Kastner, Ryan
出版 2010
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 4
4
WOSP 04 proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, January 14-16, 2004
出版 2004
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 5
5
SIGMETRICS Performance evaluation review.
出版 2001
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 6
6
ISO and ANSI ergonomic standards for computer products a guide to implementation and compliance
由
Smith, Wanda J.
出版 1996
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 7
7
The benchmark book
由
Grace, Rich
出版 1996
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 8
8
Reliability of software intensive systems
由
Friedman, Michael A.
出版 1995
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 9
9
High performance computing demystified
由
Loshin, David S.
出版 1994
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
Select result number 10
10
Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
出版 1993
索引号:
载入...
位于:
载入...
图书
载入...
添加到书包
从书包里删除
选择页 | 与选定的:
电子邮件
导出
打印
添加到书包
1
2
下一个
[2]
检索工具:
得到RSS订阅
—
推荐此搜索
Back
缩小搜索
CAMPUS
Diliman
15
DATABASE
Union Catalog (Buklod)
UNIT LIBRARY
College of Engineering Library II
8
Cesar E.A. Virata School of Business
1
College of Engineering Library I
1
College of Mass Communication
1
College of Science
1
Diliman Main Library: Info. Services & Instruction Section
1
School of Library and Information Studies
1
Technology Management Center
1
查看所有 ...
YEAR OF PUBLICATION
来自:
到:
CLASSIFICATION
Q - Science
12
T - Technology
1
SUBJECT
Computer software
Electronic digital computers
Evaluation
5
Reliability
3
Design and construction
2
Electronic books
2
Verification
2
BASIC (Computer program language)
1
Computer arithmetic
1
Computers
1
Development
1
Fault-tolerant computing
1
Human factors
1
Mathematical optimization
1
Microcomputers
1
Programming
1
Software engineering
1
Standards
1
System design
1
查看所有 ...
AUTHOR
SpringerLink (Online service)
2
ACM Sigsoft
1
ACM-Sigmetrics
1
Athey, Thomas
1
Bochmann, G. V.
1
Bywater, R. E. H., 1943-
1
CAV (Conference) (4th : 1992 : Montreal, Canada)
1
CAV (Conference) Snowbird, Utah)
1
Castano, Victor
1
Day, John C.
1
Dhillon, B. S.
1
Fairley, Richard E. 1937-
1
Fallah, Farzan
1
Friedman, Michael A.
1
Goddard, Peter L.
1
Gopalakrishnan, Ganesh
1
Grace, Rich
1
Hosangadi, Anup
1
International Workshop on Software and Performance Redwood Shores, Calif
1
Kastner, Ryan
1
Loshin, David S.
1
Probst, D. K.
1
Qadeer, Shaz
1
Schagaev, Igor
1
Smith, Wanda J.
1
Trainor, Timothy N., 1953-
1
Tran, Phuong Y.
1
Zmud, Robert W.
1
查看所有 ...
RESOURCE TYPE
图书
13
Electronic Resource
2
LANGUAGE
English
15
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
载入...