Showing
1 - 6
results of
6
for search '
'
Skip to content
VuFind
Your Account
Log Out
Institutional Login
Language
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
हिंदी
All Fields
Author
Title
Journal Title
Subject
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Subject:
Computer logic
Reset Filters
Show filters (1)
Subject:
Computer logic
Search Results
Showing
1 - 6
results of
6
for search '
'
, query time: 0.10s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Loading...
Computer Aided Verification
Get full text
Loading...
Computer Aided Verification
Get full text
Loading...
Computer Aided Verification
Get full text
Loading...
Tools and Algorithms for the Construction and Analysis of Systems
Get full text
Loading...
Tools and Algorithms for the Construction and Analysis of Systems
Get full text
Loading...
Tools and Algorithms for the Construction and Analysis of Systems
Get full text
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
DOAB
6
Exclude matching results
Collection
Directory of Open Access Books
6
Exclude matching results
Format
Livro
6
Exclude matching results
Author
Chockler, Hana
2
Exclude matching results
Vojnar, Tomáš
2
Exclude matching results
Weissenbacher, Georg
2
Exclude matching results
Zhang, Lijun
2
Exclude matching results
Beyer, Dirk
1
Exclude matching results
Dillig, Isil
1
Exclude matching results
more ...
Huisman, Marieke
1
Exclude matching results
Kordon, Fabrice
1
Exclude matching results
Steffen, Bernhard
1
Exclude matching results
Tasiran, Serdar
1
Exclude matching results
see all ...
less ...
Subject
Computer logic
Computer science
6
Exclude matching results
Mathematical logic
6
Exclude matching results
Software engineering
6
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
6
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
6
Exclude matching results
more ...
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
6
Exclude matching results
Artificial intelligence
5
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
5
Exclude matching results
Algorithms
3
Exclude matching results
Computer simulation
3
Exclude matching results
Computer system failures
3
Exclude matching results
Computers
3
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
3
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
3
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
3
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
3
Exclude matching results
Logic design
1
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
1
Exclude matching results
see all ...
less ...
Language
Inglês
6
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...