Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
'
Přeskočit na obsah
VuFind
Váš účet
Odhlásit
Přihlášení prostřednictvím instituce
Jazyk
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
हिंदी
Vše
Autor
Název
Název časopisu
Téma
ISBN/ISSN
Tag
Hledat
Pokročilé
Zrušit filtry
Téma:
logics of programming
Zrušit filtry
Zobrazit filtry (1)
Téma:
logics of programming
Výsledky vyhledávání
Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
'
, doba hledání: 0,10 s.
Upřesnit hledání
Počet výsledků na stránku
10
20
40
60
80
100
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
Seznam
Mřížka
1
Načítá se...
Foundations of Software Science and Computation Structures
Vydáno v
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Získat plný text
Livro
Přidat do oblíbených
Uloženo v:
2
Načítá se...
Foundations of Software Science and Computation Structures
Vydáno v
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Získat plný text
Livro
Přidat do oblíbených
Uloženo v:
3
Načítá se...
Foundations of Software Science and Computation Structures
Vydáno v
Lecture Notes in Computer Science
(2022)
Získat plný text
Livro
Přidat do oblíbených
Uloženo v:
4
Načítá se...
Foundations of Software Science and Computation Structures
Vydáno v
Lecture Notes in Computer Science
(2025)
Získat plný text
Livro
Přidat do oblíbených
Uloženo v:
5
Načítá se...
Foundations of Software Science and Computation Structures
Vydáno v
Lecture Notes in Computer Science
(2024)
Získat plný text
Livro
Přidat do oblíbených
Uloženo v:
6
Načítá se...
Foundations of Software Science and Computation Structures
Vydáno v
Lecture Notes in Computer Science
(2024)
Získat plný text
Livro
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Instituce
DOAB
6
[vynechat]
Sbírka
Directory of Open Access Books
6
[vynechat]
Médium
Livro
6
[vynechat]
Autor
Kobayashi, Naoki
2
[vynechat]
Worrell, James
2
[vynechat]
Abdulla, Parosh Aziz
1
[vynechat]
Bouyer, Patricia
1
[vynechat]
Goubault-Larrecq, Jean
1
[vynechat]
Kesner, Delia
1
[vynechat]
více ...
Kiefer, Stefan
1
[vynechat]
König, Barbara
1
[vynechat]
Schröder, Lutz
1
[vynechat]
Tasson, Christine
1
[vynechat]
Zobrazit vše ...
méně ...
Téma
language theory, automata, and games
6
[vynechat]
logics of programming
modal, spatial, and temporal logics
6
[vynechat]
models of software security
6
[vynechat]
categorical models and logics
5
[vynechat]
emerging models of computation
5
[vynechat]
více ...
logical aspects of computational complexity
5
[vynechat]
software specification and refinement
5
[vynechat]
program analysis
4
[vynechat]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
4
[vynechat]
concurrency theory
3
[vynechat]
concurrency theory and process calculi
3
[vynechat]
rewriting theory
3
[vynechat]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
[vynechat]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[vynechat]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
[vynechat]
type theory and proof theory
3
[vynechat]
Computer programming / software engineering
2
[vynechat]
Programming Techniques
2
[vynechat]
formal logic
2
[vynechat]
logical foundations of data bases
2
[vynechat]
semantics of programming languages
2
[vynechat]
thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory
2
[vynechat]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic
2
[vynechat]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[vynechat]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[vynechat]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
2
[vynechat]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[vynechat]
Artificial intelligence
1
[vynechat]
Categorical models and logics
1
[vynechat]
Zobrazit vše ...
méně ...
Jazyk
Inglês
6
[vynechat]
Rok vydání
Od:
do:
Rok vydání
Vymazat formulář
×
Načítá se...
