A mostrar
1 - 6
resultados de
6
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
主題:
logics of programming
Reset Filters
Show filters (1)
主題:
logics of programming
檢索結果
A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
, 查詢時間: 0.13seg
Refinar resultados
結果/頁
10
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
作者排序
標題
清單
網格
1
載入...
Foundations of Software Science and Computation Structures
發表在
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
獲取全文
Livro
加到收藏夾
Na minha lista:
2
載入...
Foundations of Software Science and Computation Structures
發表在
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
獲取全文
Livro
加到收藏夾
Na minha lista:
3
載入...
Foundations of Software Science and Computation Structures
發表在
Lecture Notes in Computer Science
(2022)
獲取全文
Livro
加到收藏夾
Na minha lista:
4
載入...
Foundations of Software Science and Computation Structures
發表在
Lecture Notes in Computer Science
(2025)
獲取全文
Livro
加到收藏夾
Na minha lista:
5
載入...
Foundations of Software Science and Computation Structures
發表在
Lecture Notes in Computer Science
(2024)
獲取全文
Livro
加到收藏夾
Na minha lista:
6
載入...
Foundations of Software Science and Computation Structures
發表在
Lecture Notes in Computer Science
(2024)
獲取全文
Livro
加到收藏夾
Na minha lista:
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Voltar
縮小搜索
機構
DOAB
6
[excluír]
Coleção
Directory of Open Access Books
6
[excluír]
格式
Livro
6
[excluír]
作者
Kobayashi, Naoki
2
[excluír]
Worrell, James
2
[excluír]
Abdulla, Parosh Aziz
1
[excluír]
Bouyer, Patricia
1
[excluír]
Goubault-Larrecq, Jean
1
[excluír]
Kesner, Delia
1
[excluír]
更多 ...
Kiefer, Stefan
1
[excluír]
König, Barbara
1
[excluír]
Schröder, Lutz
1
[excluír]
Tasson, Christine
1
[excluír]
查看所有 ...
少 ...
主題
language theory, automata, and games
6
[excluír]
logics of programming
modal, spatial, and temporal logics
6
[excluír]
models of software security
6
[excluír]
categorical models and logics
5
[excluír]
emerging models of computation
5
[excluír]
更多 ...
logical aspects of computational complexity
5
[excluír]
software specification and refinement
5
[excluír]
program analysis
4
[excluír]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
4
[excluír]
concurrency theory
3
[excluír]
concurrency theory and process calculi
3
[excluír]
rewriting theory
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
[excluír]
type theory and proof theory
3
[excluír]
Computer programming / software engineering
2
[excluír]
Programming Techniques
2
[excluír]
formal logic
2
[excluír]
logical foundations of data bases
2
[excluír]
semantics of programming languages
2
[excluír]
thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory
2
[excluír]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[excluír]
Artificial intelligence
1
[excluír]
Categorical models and logics
1
[excluír]
查看所有 ...
少 ...
語言
Inglês
6
[excluír]
出版年
來自:
到:
出版年
Clear
×
載入...
