Showing
1 - 3
results of
3
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
检索
高级检索
Page will reload when a filter is removed.
Applied Filters:
AUTHOR:
Remove Filter
Association for Computing Machinery. Special Interest Group on Computer Science Education
和
Remove Filter
SIGAda
CAMPUS:
Remove Filter
Diliman
SUBJECT:
Remove Filter
Computer software
Page will reload when a filter is removed.
Show filters (4)
AUTHOR:
Remove Filter
Association for Computing Machinery. Special Interest Group on Computer Science Education
和
Remove Filter
SIGAda
CAMPUS:
Remove Filter
Diliman
SUBJECT:
Remove Filter
Computer software
检索结果
Showing
1 - 3
results of
3
for search '
'
, 查询时间: 0.01s
Refine Results
排序
相关性排序
Newest to Oldest
Oldest to Newest
作者排序
标题
Select Page
电子邮件
导出
打印
添加到书包
Select result number 1
1
HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA
出版 2014
索引号:
loading...
位于:
loading...
图书
loading...
添加到书包
从书包里删除
Select result number 2
2
HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA
出版 2013
索引号:
loading...
位于:
loading...
图书
loading...
添加到书包
从书包里删除
Select result number 3
3
HILT '12 proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012, Boston, Massachusetts
出版 2012
索引号:
loading...
位于:
loading...
图书
loading...
添加到书包
从书包里删除
Select Page
电子邮件
导出
打印
添加到书包
检索工具:
推荐此搜索
Back
Refine Results
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
DATABASE
Union Catalog (Buklod)
3 results
3
UNIT LIBRARY
College of Engineering Library II
3 results
3
YEAR OF PUBLICATION
来自:
到:
CLASSIFICATION
Q - Science
3 results
3
SUBJECT
Computer software
Verification
3 results
3
Ada (Computer program language)
2 results
2
Reliability
2 results
2
AUTHOR
ACM Special Interest Group on Programming Languages
3 results
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
Association for Computing Machinery. Special Interest Group on Computers and Society
3 results
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3 results
3
SIGAPP
3 results
3
SIGAda
ACM Sigsoft
2 results
2
Ada-Europe International Conference on Reliable Software Technologies
1 results
1
查看所有...
RESOURCE TYPE
图书
3 results
3
LANGUAGE
English
3 results
3
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman