Visas
1 - 7
av
7
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:
computer software selection and evaluation
Rensa filter
Visa begränsningar (1)
Ämne:
computer software selection and evaluation
Sökresultat
Visas
1 - 7
av
7
resultat för sökning '
'
, Sökningstid : 0,12s
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...
Fundamental Approaches to Software Engineering
Hämta fulltext
Laddar...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Hämta fulltext
Laddar...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Hämta fulltext
Laddar...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Hämta fulltext
Laddar...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Hämta fulltext
Laddar...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Hämta fulltext
Laddar...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Hämta fulltext
Sökverktyg:
RSS-flöde
—
Skicka sökningen per e-post
—
Spara sökningen
Back
Begränsa sökningen
Organisation
DOAB
7
[utesluta]
Samling
Directory of Open Access Books
7
[utesluta]
Materialtyp
Livro
7
[utesluta]
Upphovsman
Beyer, Dirk
2
[utesluta]
Huisman, Marieke
2
[utesluta]
Alessandra Russo
1
[utesluta]
Amal Ahmed
1
[utesluta]
Andy Schürr
1
[utesluta]
Bauer, Lujo
1
[utesluta]
mer ...
Dirk Beyer
1
[utesluta]
Küsters, Ralf
1
[utesluta]
Marieke Huisman
1
[utesluta]
Russo, Alessandra
1
[utesluta]
Schürr, Andy
1
[utesluta]
Visa alla ...
mindre ...
Ämne
computer software selection and evaluation
formal logic
7
[utesluta]
semantics
7
[utesluta]
formal methods
6
[utesluta]
programming languages
6
[utesluta]
software engineering
6
[utesluta]
mer ...
verification
6
[utesluta]
program compilers
5
[utesluta]
specifications
5
[utesluta]
formal specification
4
[utesluta]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[utesluta]
QA75.5-76.95
3
[utesluta]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[utesluta]
computer architecture
3
[utesluta]
model checking
3
[utesluta]
separation logic
3
[utesluta]
authentication
2
[utesluta]
computer science
2
[utesluta]
computer software maintenance
2
[utesluta]
cryptography
2
[utesluta]
data privacy
2
[utesluta]
internet
2
[utesluta]
model checker
2
[utesluta]
multi core processors
2
[utesluta]
privacy
2
[utesluta]
security systems
2
[utesluta]
state space
2
[utesluta]
world wide web
2
[utesluta]
artificial intelligence
1
[utesluta]
distributed computer systems
1
[utesluta]
Visa alla ...
mindre ...
Språk
Inglês
7
[utesluta]
Utgivningsår
Från och med:
Till:
Utgivningsår
Tömma
×
Laddar...