Showing
1 - 7
results of
7
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 software selection and evaluation
Reset Filters
Show filters (1)
Subject:
computer software selection and evaluation
Search Results
Showing
1 - 7
results of
7
for search '
'
, query time: 0.18s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Loading...
Fundamental Approaches to Software Engineering
Get full text
Loading...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Get full text
Loading...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Get full text
Loading...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Get full text
Loading...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Get full text
Loading...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Get full text
Loading...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Get full text
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Institution
DOAB
7
Exclude matching results
Collection
Directory of Open Access Books
7
Exclude matching results
Format
Livro
7
Exclude matching results
Author
Beyer, Dirk
2
Exclude matching results
Huisman, Marieke
2
Exclude matching results
Alessandra Russo
1
Exclude matching results
Amal Ahmed
1
Exclude matching results
Andy Schürr
1
Exclude matching results
Bauer, Lujo
1
Exclude matching results
more ...
Dirk Beyer
1
Exclude matching results
Küsters, Ralf
1
Exclude matching results
Marieke Huisman
1
Exclude matching results
Russo, Alessandra
1
Exclude matching results
Schürr, Andy
1
Exclude matching results
see all ...
less ...
Subject
computer software selection and evaluation
formal logic
7
Exclude matching results
semantics
7
Exclude matching results
formal methods
6
Exclude matching results
programming languages
6
Exclude matching results
software engineering
6
Exclude matching results
more ...
verification
6
Exclude matching results
program compilers
5
Exclude matching results
specifications
5
Exclude matching results
formal specification
4
Exclude matching results
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
Exclude matching results
QA75.5-76.95
3
Exclude matching results
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
Exclude matching results
computer architecture
3
Exclude matching results
model checking
3
Exclude matching results
separation logic
3
Exclude matching results
authentication
2
Exclude matching results
computer science
2
Exclude matching results
computer software maintenance
2
Exclude matching results
cryptography
2
Exclude matching results
data privacy
2
Exclude matching results
internet
2
Exclude matching results
model checker
2
Exclude matching results
multi core processors
2
Exclude matching results
privacy
2
Exclude matching results
security systems
2
Exclude matching results
state space
2
Exclude matching results
world wide web
2
Exclude matching results
artificial intelligence
1
Exclude matching results
distributed computer systems
1
Exclude matching results
see all ...
less ...
Language
Inglês
7
Exclude matching results
Year of Publication
From:
To:
Year of Publication
Clear
×
Loading...