Treffer
1 - 7
von
7
für Suche '
'
Weiter zum Inhalt
VuFind
Ihr Konto
Log out
Anmeldung über Ihre Einrichtung
Sprache
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 Felder
Verfasser
Titel
Zeitschriftentitel
Schlagwort
ISBN/ISSN
Tag
Suchen
Erweitert
Filter zurücksetzen
Schlagwort:
computer software selection and evaluation
Filter zurücksetzen
Filter anzeigen (1)
Schlagwort:
computer software selection and evaluation
Suchergebnisse
Treffer
1 - 7
von
7
für Suche '
'
, Suchdauer: 0,17s
Treffer weiter einschränken
Treffer pro Seite
10
20
40
60
80
100
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Verfasser
Titel
Liste
Tabellenansicht
Wird geladen...
Fundamental Approaches to Software Engineering
Volltext
Wird geladen...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Volltext
Wird geladen...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Volltext
Wird geladen...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Volltext
Wird geladen...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Volltext
Wird geladen...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Volltext
Wird geladen...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Volltext
Suchwerkzeuge:
RSS-Feed abonnieren
—
Diese Suche als E-Mail versenden
—
Suche speichern
Zurück
Suche einschränken
Institution
DOAB
7
[ausschließen]
Bestand
Directory of Open Access Books
7
[ausschließen]
Format
Livro
7
[ausschließen]
Verfasser
Beyer, Dirk
2
[ausschließen]
Huisman, Marieke
2
[ausschließen]
Alessandra Russo
1
[ausschließen]
Amal Ahmed
1
[ausschließen]
Andy Schürr
1
[ausschließen]
Bauer, Lujo
1
[ausschließen]
mehr ...
Dirk Beyer
1
[ausschließen]
Küsters, Ralf
1
[ausschließen]
Marieke Huisman
1
[ausschließen]
Russo, Alessandra
1
[ausschließen]
Schürr, Andy
1
[ausschließen]
Alle anzeigen ...
weniger ...
Schlagwort
computer software selection and evaluation
formal logic
7
[ausschließen]
semantics
7
[ausschließen]
formal methods
6
[ausschließen]
programming languages
6
[ausschließen]
software engineering
6
[ausschließen]
mehr ...
verification
6
[ausschließen]
program compilers
5
[ausschließen]
specifications
5
[ausschließen]
formal specification
4
[ausschließen]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[ausschließen]
QA75.5-76.95
3
[ausschließen]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[ausschließen]
computer architecture
3
[ausschließen]
model checking
3
[ausschließen]
separation logic
3
[ausschließen]
authentication
2
[ausschließen]
computer science
2
[ausschließen]
computer software maintenance
2
[ausschließen]
cryptography
2
[ausschließen]
data privacy
2
[ausschließen]
internet
2
[ausschließen]
model checker
2
[ausschließen]
multi core processors
2
[ausschließen]
privacy
2
[ausschließen]
security systems
2
[ausschließen]
state space
2
[ausschließen]
world wide web
2
[ausschließen]
artificial intelligence
1
[ausschließen]
distributed computer systems
1
[ausschließen]
Alle anzeigen ...
weniger ...
Sprache
Inglês
7
[ausschließen]
Erscheinungsjahr
Von:
Bis:
Erscheinungsjahr
Felder leeren
×
Wird geladen...