A mostrar
1 - 7
resultados de
7
para a pesquisa '
'
Ir para o conteúdo
VuFind
החשבון שלך
יציאה מהחשבון
כניסה לחשבון מוסדי
שפה
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
हिंदी
כל השדות
מחבר
כותר
כותרת כתב-העת
נושא
ISBN/ISSN
תג
מצא
מתקדם
Reset Filters
נושא:
computer software selection and evaluation
Reset Filters
Show filters (1)
נושא:
computer software selection and evaluation
תוצאות חיפוש
A mostrar
1 - 7
resultados de
7
para a pesquisa '
'
, זמן שאילתה: 0.64seg
Refinar resultados
תוצאות בכל עמוד
10
20
40
60
80
100
מיון
רלוונטיות
תאריך יורד
תאריך עולה
מחבר
כותר
רשימה
גריד
טוען...
Fundamental Approaches to Software Engineering
קבל טקסט מלא
טוען...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
קבל טקסט מלא
טוען...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
קבל טקסט מלא
טוען...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
קבל טקסט מלא
טוען...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
קבל טקסט מלא
טוען...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
קבל טקסט מלא
טוען...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
קבל טקסט מלא
כלי חיפוש:
קבל רסס (RSS)
—
שליחת חיפוש דרך דואל
—
שמירת חיפוש
חזרה
צמצם חיפוש
מוסד
DOAB
7
[excluír]
Coleção
Directory of Open Access Books
7
[excluír]
פורמט
Livro
7
[excluír]
מחבר
Beyer, Dirk
2
[excluír]
Huisman, Marieke
2
[excluír]
Alessandra Russo
1
[excluír]
Amal Ahmed
1
[excluír]
Andy Schürr
1
[excluír]
Bauer, Lujo
1
[excluír]
יותר ...
Dirk Beyer
1
[excluír]
Küsters, Ralf
1
[excluír]
Marieke Huisman
1
[excluír]
Russo, Alessandra
1
[excluír]
Schürr, Andy
1
[excluír]
ראה את כולם ...
פחות ...
נושא
computer software selection and evaluation
formal logic
7
[excluír]
semantics
7
[excluír]
formal methods
6
[excluír]
programming languages
6
[excluír]
software engineering
6
[excluír]
יותר ...
verification
6
[excluír]
program compilers
5
[excluír]
specifications
5
[excluír]
formal specification
4
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[excluír]
QA75.5-76.95
3
[excluír]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[excluír]
computer architecture
3
[excluír]
model checking
3
[excluír]
separation logic
3
[excluír]
authentication
2
[excluír]
computer science
2
[excluír]
computer software maintenance
2
[excluír]
cryptography
2
[excluír]
data privacy
2
[excluír]
internet
2
[excluír]
model checker
2
[excluír]
multi core processors
2
[excluír]
privacy
2
[excluír]
security systems
2
[excluír]
state space
2
[excluír]
world wide web
2
[excluír]
artificial intelligence
1
[excluír]
distributed computer systems
1
[excluír]
ראה את כולם ...
פחות ...
שפה
Inglês
7
[excluír]
שנת הוצאה לאור
מ:
אל:
שנת הוצאה לאור
Clear
×
טוען...