A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
Ir para o conteúdo
VuFind
Din konto
Log ud
KB Login
Sprog
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
हिंदी
Alle Felter
Forfatter
Titel
Tidsskriftstitel
Fag
ISBN/ISSN
Tag
Find
Udvidet
Reset Filters
Fag:
Computer logic
Reset Filters
Show filters (1)
Fag:
Computer logic
Søgeresultater
A mostrar
1 - 6
resultados de
6
para a pesquisa '
'
, Forespørselstid: 0.11seg
Refinar resultados
Resultater pr. side
10
20
40
60
80
100
Sortér
Relevans
Nyeste øverst
Ældste øverst
Forfatter
Titel
Liste
Net
Loading...
Computer Aided Verification
Få fuldtekst
Loading...
Computer Aided Verification
Få fuldtekst
Loading...
Computer Aided Verification
Få fuldtekst
Loading...
Tools and Algorithms for the Construction and Analysis of Systems
Få fuldtekst
Loading...
Tools and Algorithms for the Construction and Analysis of Systems
Få fuldtekst
Loading...
Tools and Algorithms for the Construction and Analysis of Systems
Få fuldtekst
Søgeredskaber:
”Modtag RSS Feed
—
Email denne søgning
—
Gem søgning
Voltar
Indsnæver søgning
Institution
DOAB
6
[excluír]
Coleção
Directory of Open Access Books
6
[excluír]
Format
Livro
6
[excluír]
Forfatter
Chockler, Hana
2
[excluír]
Vojnar, Tomáš
2
[excluír]
Weissenbacher, Georg
2
[excluír]
Zhang, Lijun
2
[excluír]
Beyer, Dirk
1
[excluír]
Dillig, Isil
1
[excluír]
mere ...
Huisman, Marieke
1
[excluír]
Kordon, Fabrice
1
[excluír]
Steffen, Bernhard
1
[excluír]
Tasiran, Serdar
1
[excluír]
se alt ...
mindre ...
Fag
Computer logic
Computer science
6
[excluír]
Mathematical logic
6
[excluír]
Software engineering
6
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
6
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
6
[excluír]
mere ...
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
6
[excluír]
Artificial intelligence
5
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
5
[excluír]
Algorithms
3
[excluír]
Computer simulation
3
[excluír]
Computer system failures
3
[excluír]
Computers
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
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::UYD Systems analysis and design
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
3
[excluír]
Logic design
1
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
1
[excluír]
se alt ...
mindre ...
Sprog
Inglês
6
[excluír]
Udgivelsesår
Fra:
Til:
Udgivelsesår
Clear
×
Loading...