Visas
1 - 6
av
6
resultat för sökning '
'
Hoppa till innehåll
VuFind
Mitt konto
Logga ut
Inloggning för organisationer
Språk
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
हिंदी
Alla fält
Upphovsman
Titel
Tidskriftstitel
Ämne
ISBN/ISSN
Tagg
Sök
Avancerad
Rensa filter
Ämne:
logics of programming
Rensa filter
Visa begränsningar (1)
Ämne:
logics of programming
Sökresultat
Visas
1 - 6
av
6
resultat för sökning '
'
, Sökningstid : 0,09s
Förfina resultatet
Resultat per sida
10
20
40
60
80
100
Sortera
Relevans
Tid (nyaste först)
Tid (äldsta först)
Upphovsman
Titel
Lista
Rutsystem
Laddar...
Foundations of Software Science and Computation Structures
Hämta fulltext
Laddar...
Foundations of Software Science and Computation Structures
Hämta fulltext
Laddar...
Foundations of Software Science and Computation Structures
Hämta fulltext
Laddar...
Foundations of Software Science and Computation Structures
Hämta fulltext
Laddar...
Foundations of Software Science and Computation Structures
Hämta fulltext
Laddar...
Foundations of Software Science and Computation Structures
Hämta fulltext
Sökverktyg:
RSS-flöde
—
Skicka sökningen per e-post
—
Spara sökningen
Back
Begränsa sökningen
Organisation
DOAB
6
[utesluta]
Samling
Directory of Open Access Books
6
[utesluta]
Materialtyp
Livro
6
[utesluta]
Upphovsman
Kobayashi, Naoki
2
[utesluta]
Worrell, James
2
[utesluta]
Abdulla, Parosh Aziz
1
[utesluta]
Bouyer, Patricia
1
[utesluta]
Goubault-Larrecq, Jean
1
[utesluta]
Kesner, Delia
1
[utesluta]
mer ...
Kiefer, Stefan
1
[utesluta]
König, Barbara
1
[utesluta]
Schröder, Lutz
1
[utesluta]
Tasson, Christine
1
[utesluta]
Visa alla ...
mindre ...
Ämne
language theory, automata, and games
6
[utesluta]
logics of programming
modal, spatial, and temporal logics
6
[utesluta]
models of software security
6
[utesluta]
categorical models and logics
5
[utesluta]
emerging models of computation
5
[utesluta]
mer ...
logical aspects of computational complexity
5
[utesluta]
software specification and refinement
5
[utesluta]
program analysis
4
[utesluta]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
4
[utesluta]
concurrency theory
3
[utesluta]
concurrency theory and process calculi
3
[utesluta]
rewriting theory
3
[utesluta]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
[utesluta]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[utesluta]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
[utesluta]
type theory and proof theory
3
[utesluta]
Computer programming / software engineering
2
[utesluta]
Programming Techniques
2
[utesluta]
formal logic
2
[utesluta]
logical foundations of data bases
2
[utesluta]
semantics of programming languages
2
[utesluta]
thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory
2
[utesluta]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic
2
[utesluta]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[utesluta]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[utesluta]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
2
[utesluta]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[utesluta]
Artificial intelligence
1
[utesluta]
Categorical models and logics
1
[utesluta]
Visa alla ...
mindre ...
Språk
Inglês
6
[utesluta]
Utgivningsår
Från och med:
Till:
Utgivningsår
Tömma
×
Laddar...