A mostrar
1 - 7
resultados de
7
para a pesquisa '
'
Ir para o conteúdo
VuFind
我的帳戶
退出
機構登錄
語言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
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
標簽
檢索
高級檢索
Reset Filters
主題:
computer software selection and evaluation
Reset Filters
Show filters (1)
主題:
computer software selection and evaluation
檢索結果
A mostrar
1 - 7
resultados de
7
para a pesquisa '
'
, 查詢時間: 0.20seg
Refinar resultados
結果/頁
10
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
作者排序
標題
清單
網格
載入...
Fundamental Approaches to Software Engineering
獲取全文
載入...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
獲取全文
載入...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
獲取全文
載入...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
獲取全文
載入...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
獲取全文
載入...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
獲取全文
載入...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
獲取全文
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Voltar
縮小搜索
機構
DOAB
7
[excluír]
Coleção
Directory of Open Access Books
7
[excluír]
格式
Livro
7
[excluír]
作者
Beyer, Dirk
2
[excluír]
Huisman, Marieke
2
[excluír]
Alessandra Russo
1
[excluír]
Amal Ahmed
1
[excluír]
Andy Schürr
1
[excluír]
Bauer, Lujo
1
[excluír]
更多 ...
Dirk Beyer
1
[excluír]
Küsters, Ralf
1
[excluír]
Marieke Huisman
1
[excluír]
Russo, Alessandra
1
[excluír]
Schürr, Andy
1
[excluír]
查看所有 ...
少 ...
主題
computer software selection and evaluation
formal logic
7
[excluír]
semantics
7
[excluír]
formal methods
6
[excluír]
programming languages
6
[excluír]
software engineering
6
[excluír]
更多 ...
verification
6
[excluír]
program compilers
5
[excluír]
specifications
5
[excluír]
formal specification
4
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[excluír]
QA75.5-76.95
3
[excluír]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[excluír]
computer architecture
3
[excluír]
model checking
3
[excluír]
separation logic
3
[excluír]
authentication
2
[excluír]
computer science
2
[excluír]
computer software maintenance
2
[excluír]
cryptography
2
[excluír]
data privacy
2
[excluír]
internet
2
[excluír]
model checker
2
[excluír]
multi core processors
2
[excluír]
privacy
2
[excluír]
security systems
2
[excluír]
state space
2
[excluír]
world wide web
2
[excluír]
artificial intelligence
1
[excluír]
distributed computer systems
1
[excluír]
查看所有 ...
少 ...
語言
Inglês
7
[excluír]
出版年
來自:
到:
出版年
Clear
×
載入...