A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
Ir para o conteúdo
VuFind
Do Chuntas
Logáil Amach
Logáil Isteach Institiúide
Teanga
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
हिंदी
Gach Réimse
Údar
Teideal
Teideal an Iriseáin
Ábhar
ISBN/ISSN
Clib
Aimsigh
Ardroghanna
Reset Filters
Ábhar:
logics of programming
Reset Filters
Show filters (1)
Ábhar:
logics of programming
Torthaí Cuardaigh
A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
, am an iarratais: 0.28seg
Refinar resultados
Torthaí in aghaidh an leathnaigh
10
20
40
60
80
100
Sórtáil
Ábharthacht
Dáta in Ord Íslitheach
Dáta in Ord Ardaitheach
Údar
Teideal
Liosta
Eangach
1
Á lódáil...
Foundations of Software Science and Computation Structures
Foilsithe in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
2
Á lódáil...
Foundations of Software Science and Computation Structures
Foilsithe in
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
3
Á lódáil...
Foundations of Software Science and Computation Structures
Foilsithe in
Lecture Notes in Computer Science
(2022)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
4
Á lódáil...
Foundations of Software Science and Computation Structures
Foilsithe in
Lecture Notes in Computer Science
(2025)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
5
Á lódáil...
Foundations of Software Science and Computation Structures
Foilsithe in
Lecture Notes in Computer Science
(2024)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
6
Á lódáil...
Foundations of Software Science and Computation Structures
Foilsithe in
Lecture Notes in Computer Science
(2024)
Faigh an téacs iomlán
Livro
Cuir leis na Ceanáin
Na minha lista:
Uirlisí Cuardaigh:
Faigh Fotha RSS
—
Seol an Cuardach seo mar Ríomhphost
—
Sábháil an Cuardach
Voltar
Cuardach Cúng
Institiúid
DOAB
6
[excluír]
Coleção
Directory of Open Access Books
6
[excluír]
Formáid
Livro
6
[excluír]
Údar
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]
tuilleadh ...
Kiefer, Stefan
1
[excluír]
König, Barbara
1
[excluír]
Schröder, Lutz
1
[excluír]
Tasson, Christine
1
[excluír]
féach gach rud ...
lúide ...
Ábhar
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]
tuilleadh ...
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]
féach gach rud ...
lúide ...
Teanga
Inglês
6
[excluír]
Bliain Foilsithe
Ó:
Chuig:
Bliain Foilsithe
Clear
×
Á lódáil...
