Showing
1 - 2
results of
2
for search '
"Computer science"
'
Skip to content
VuFind
Back to Portal
語言
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
標簽
檢索
高級檢索
Reset Filters
作者:
Chockler, Hana
Reset Filters
Show filters (1)
作者:
Chockler, Hana
檢索結果 - "Computer science"
在您的搜尋 主題建議
在您的搜尋 主題建議
Algorithms & data structures
2
Artificial intelligence
2
Computer modelling & simulation
2
Computer programming / software development
2
Mathematical theory of computation
2
Software Engineering
2
Showing
1 - 2
results of
2
for search '
"Computer science"
'
, 查詢時間: 0.01s
Refine Results
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
出版 2018
主題:
“...
Computer
science
...”
索引號:
載入...
位於:
載入...
Get Fullteks
DOAB: description of the publication
Book Chapter
加到收藏夾
Saved in:
2
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
出版 2018
主題:
“...
Computer
science
...”
索引號:
載入...
位於:
載入...
Get Fullteks
DOAB: description of the publication
Book Chapter
加到收藏夾
Saved in:
檢索工具:
得到RSS訂閱
–
推薦此搜索
–
保存搜索
Back
Refine Results
機構
Directory of Open Access Books
2
圖書館
DOAB
2
格式
Book Chapter
2
作者
Chockler, Hana
Weissenbacher, Georg
2
出版年
來自:
到: