A mostrar
1 - 5
resultados de
5
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
主題:
programming language
Reset Filters
Show filters (1)
主題:
programming language
檢索結果
A mostrar
1 - 5
resultados de
5
para a pesquisa '
'
, 查詢時間: 0.12seg
Refinar resultados
結果/頁
10
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
作者排序
標題
清單
網格
1
載入...
Architecture of Advanced Numerical Analysis Systems
由
Wang, Liang
,
Zhao, Jianxin
出版 2023
獲取全文
Livro
加到收藏夾
Na minha lista:
2
載入...
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
發表在
Theoretical Computer Science and General Issues
(2018)
獲取全文
Livro
加到收藏夾
Na minha lista:
3
載入...
The Informatics of Time and Events
由
Gérard Berry
出版 2015
獲取全文
Livro
加到收藏夾
Na minha lista:
4
載入...
Plato and the Nerd
由
Lee, Edward Ashford
發表在
The MIT Press
(2017)
獲取全文
Livro
加到收藏夾
Na minha lista:
5
載入...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
由
Amal Ahmed
發表在
Theoretical Computer Science and General Issues Series
(2018)
獲取全文
Livro
加到收藏夾
Na minha lista:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Voltar
縮小搜索
機構
DOAB
5
[excluír]
Coleção
Directory of Open Access Books
5
[excluír]
格式
Livro
5
[excluír]
作者
Amal Ahmed
1
[excluír]
Baier, Christel
1
[excluír]
Dal Lago, Ugo
1
[excluír]
Gérard Berry
1
[excluír]
Lee, Edward Ashford
1
[excluír]
Wang, Liang
1
[excluír]
更多 ...
Zhao, Jianxin
1
[excluír]
查看所有 ...
少 ...
主題
programming language
semantics
3
[excluír]
artificial intelligence
2
[excluír]
engineering
2
[excluír]
formal logic
2
[excluír]
open source
2
[excluír]
更多 ...
program compilers
2
[excluír]
separation logic
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[excluír]
theorem proving
2
[excluír]
AI
1
[excluír]
Aristotle
1
[excluír]
Bekenstein
1
[excluír]
Bell Labs
1
[excluír]
Berners-Lee
1
[excluír]
Bohr
1
[excluír]
Boltzmann
1
[excluír]
Boyle's law
1
[excluír]
Cantor
1
[excluír]
Charles' law
1
[excluír]
Edsger Dijkstra
1
[excluír]
Einstein
1
[excluír]
Facebook
1
[excluír]
Golomb
1
[excluír]
Google
1
[excluír]
Go¨ del
1
[excluír]
Heisenberg
1
[excluír]
Kuhn
1
[excluír]
OCaml
1
[excluír]
Penrose
1
[excluír]
查看所有 ...
少 ...
語言
Inglês
5
[excluír]
出版年
來自:
到:
出版年
Clear
×
載入...