Näytetään
1 - 7
yhteensä
7
tuloksesta haulle '
'
Siirry sisältöön
VuFind
Oma tili
Kirjaudu ulos
Organisaation kirjautuminen
Kieli
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
हिंदी
Kaikki kentät
Tekijä
Nimeke
Lehden nimi
Aihe
ISBN/ISSN
Tagi
Hae
Tarkennettu
Poista rajaukset
Aihe:
computer software selection and evaluation
Poista rajaukset
Näytä rajaukset (1)
Aihe:
computer software selection and evaluation
Hakutulokset
Näytetään
1 - 7
yhteensä
7
tuloksesta haulle '
'
, hakuaika: 0,46s
Tarkenna hakua
Tuloksia sivulla
10
20
40
60
80
100
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Tekijä
Nimeke
Lista
Ruudukko
Lataa...
Fundamental Approaches to Software Engineering
Hae kokoteksti
Lataa...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Hae kokoteksti
Lataa...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Hae kokoteksti
Lataa...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Hae kokoteksti
Lataa...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Hae kokoteksti
Lataa...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Hae kokoteksti
Lataa...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Hae kokoteksti
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
—
Tallenna haku
Takaisin
Rajaa hakua
Organisaatio
DOAB
7
[jätä pois]
Kokoelma
Directory of Open Access Books
7
[jätä pois]
Aineistotyyppi
Livro
7
[jätä pois]
Tekijä
Beyer, Dirk
2
[jätä pois]
Huisman, Marieke
2
[jätä pois]
Alessandra Russo
1
[jätä pois]
Amal Ahmed
1
[jätä pois]
Andy Schürr
1
[jätä pois]
Bauer, Lujo
1
[jätä pois]
lisää ...
Dirk Beyer
1
[jätä pois]
Küsters, Ralf
1
[jätä pois]
Marieke Huisman
1
[jätä pois]
Russo, Alessandra
1
[jätä pois]
Schürr, Andy
1
[jätä pois]
näytä kaikki ...
vähemmän ...
Aihe
computer software selection and evaluation
formal logic
7
[jätä pois]
semantics
7
[jätä pois]
formal methods
6
[jätä pois]
programming languages
6
[jätä pois]
software engineering
6
[jätä pois]
lisää ...
verification
6
[jätä pois]
program compilers
5
[jätä pois]
specifications
5
[jätä pois]
formal specification
4
[jätä pois]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[jätä pois]
QA75.5-76.95
3
[jätä pois]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[jätä pois]
computer architecture
3
[jätä pois]
model checking
3
[jätä pois]
separation logic
3
[jätä pois]
authentication
2
[jätä pois]
computer science
2
[jätä pois]
computer software maintenance
2
[jätä pois]
cryptography
2
[jätä pois]
data privacy
2
[jätä pois]
internet
2
[jätä pois]
model checker
2
[jätä pois]
multi core processors
2
[jätä pois]
privacy
2
[jätä pois]
security systems
2
[jätä pois]
state space
2
[jätä pois]
world wide web
2
[jätä pois]
artificial intelligence
1
[jätä pois]
distributed computer systems
1
[jätä pois]
näytä kaikki ...
vähemmän ...
Kieli
Inglês
7
[jätä pois]
Julkaisuvuosi
Alkaen:
Päättyen:
Julkaisuvuosi
Tyhjennä
×
Lataa...