A mostrar
1 - 7
resultados de
7
para a pesquisa '
'
Saltar ao contenido
VuFind
A sua conta
Saír
Ingreso de sesión Institucional
Idioma
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
हिंदी
Todos os campos
Autor
Título
Título de Revista
Assunto
ISBN/ISSN
Tag
Buscar
Avanzado
Reset Filters
Assunto:
computer software selection and evaluation
Reset Filters
Show filters (1)
Assunto:
computer software selection and evaluation
Resultados de procura
A mostrar
1 - 7
resultados de
7
para a pesquisa '
'
, tempo de consulta: 0.26s
Limitar resultados
Resultados por páxina
10
20
40
60
80
100
Ordenar
Relevancia
Data Descendente
Data Ascendente
Autor
Título
Lista
Cuadrícula
Cargando...
Fundamental Approaches to Software Engineering
Ligazón do recurso
Cargando...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Ligazón do recurso
Cargando...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Ligazón do recurso
Cargando...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Ligazón do recurso
Cargando...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Ligazón do recurso
Cargando...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Ligazón do recurso
Cargando...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Ligazón do recurso
Ferramentas de procura:
RSS
—
Enviar por correo electrónico esta procura
—
Gardar procuras
Atrás
Resultados Agrupados
Institución
DOAB
7
[Excluír]
Colección
Directory of Open Access Books
7
[Excluír]
Formato
Livro
7
[Excluír]
Autor
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]
Máis ...
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]
ver todos ...
menos ...
Assunto
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]
Máis ...
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]
ver todos ...
menos ...
Idioma
Inglês
7
[Excluír]
Ano de Publicación
De:
a:
Ano de Publicación
Limpar
×
Cargando...