Mostrando
1 - 7
resultados de
7
para a busca '
'
Pular para o conteúdo
VuFind
A sua conta
Sair
Login 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 do Periódico
Assunto
ISBN/ISSN
Tag
Buscar
Avançada
Redefinir Filtros
Assunto:
computer software selection and evaluation
Redefinir Filtros
Mostrar filtros (1)
Assunto:
computer software selection and evaluation
Resultados da busca
Mostrando
1 - 7
resultados de
7
para a busca '
'
, tempo de busca: 0.17s
Refinar Resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Autor
Título
Lista
Grid
Carregando...
Fundamental Approaches to Software Engineering
Obter o texto integral
Carregando...
Fundamental Approaches to Software Engineering: 21st International Conference, F...
Obter o texto integral
Carregando...
Principles of Security and Trust: 7th International Conference, POST 2018, Held...
Obter o texto integral
Carregando...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP...
Obter o texto integral
Carregando...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Obter o texto integral
Carregando...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Obter o texto integral
Carregando...
Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat...
Obter o texto integral
Ferramentas de busca:
Obter Feed RSS
—
Enviar busca por e-mail
—
Salvar a busca
Voltar
Refinar a Busca
Recursos
DOAB
7
[excluir]
Coleção
Directory of Open Access Books
7
[excluir]
Formato
Livro
7
[excluir]
Autor
Beyer, Dirk
2
[excluir]
Huisman, Marieke
2
[excluir]
Alessandra Russo
1
[excluir]
Amal Ahmed
1
[excluir]
Andy Schürr
1
[excluir]
Bauer, Lujo
1
[excluir]
Mais ...
Dirk Beyer
1
[excluir]
Küsters, Ralf
1
[excluir]
Marieke Huisman
1
[excluir]
Russo, Alessandra
1
[excluir]
Schürr, Andy
1
[excluir]
Ver todos ...
menos ...
Assunto
computer software selection and evaluation
formal logic
7
[excluir]
semantics
7
[excluir]
formal methods
6
[excluir]
programming languages
6
[excluir]
software engineering
6
[excluir]
Mais ...
verification
6
[excluir]
program compilers
5
[excluir]
specifications
5
[excluir]
formal specification
4
[excluir]
thema EDItEUR::U Computing and Information Technology::UY Computer science
4
[excluir]
QA75.5-76.95
3
[excluir]
bic Book Industry Communication::U Computing & information technology::UY Computer science
3
[excluir]
computer architecture
3
[excluir]
model checking
3
[excluir]
separation logic
3
[excluir]
authentication
2
[excluir]
computer science
2
[excluir]
computer software maintenance
2
[excluir]
cryptography
2
[excluir]
data privacy
2
[excluir]
internet
2
[excluir]
model checker
2
[excluir]
multi core processors
2
[excluir]
privacy
2
[excluir]
security systems
2
[excluir]
state space
2
[excluir]
world wide web
2
[excluir]
artificial intelligence
1
[excluir]
distributed computer systems
1
[excluir]
Ver todos ...
menos ...
Idioma
Inglês
7
[excluir]
Ano da publicação
De:
Até:
Ano da publicação
Limpar
×
Carregando...