A mostrar
1 - 1
resultados de
1
para a pesquisa '
Marieke Huisman
'
Ir 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
हिंदी
Palavra solta
Autor
Título
Título do Periódico
Assunto
ISBN/ISSN
Tag
Pesquisar
Avançada
Autor
Marieke Huisman
A mostrar
1 - 1
resultados de
1
para a pesquisa '
Marieke Huisman
'
, tempo de pesquisa: 0.03seg
Refinar resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Autor
Título
Lista
Grid
1
A carregar...
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Por
Dirk Beyer
,
Marieke
Huisman
Publicado no
Theoretical Computer Science and General Issues
(2018)
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
Ferramentas de pesquisa:
Obter Feed RSS
—
Enviar pesquisa por email
—
Guardar a pesquisa
Voltar
Refinar a Pesquisa
Recursos
DOAB
1
[excluír]
Coleção
Directory of Open Access Books
1
[excluír]
Formato
Livro
1
[excluír]
Autor
Dirk Beyer
1
[excluír]
Marieke Huisman
1
[excluír]
Assunto
QA75.5-76.95
1
[excluír]
bic Book Industry Communication::U Computing & information technology::UY Computer science
1
[excluír]
computer architecture
1
[excluír]
computer software selection and evaluation
1
[excluír]
formal logic
1
[excluír]
formal methods
1
[excluír]
Mais ...
model checker
1
[excluír]
model checking
1
[excluír]
multi core processors
1
[excluír]
program compilers
1
[excluír]
programming languages
1
[excluír]
semantics
1
[excluír]
software engineering
1
[excluír]
specifications
1
[excluír]
state space
1
[excluír]
verification
1
[excluír]
Ver todos ...
menos ...
Idioma
Inglês
1
[excluír]
Ano da publicação
De:
Até:
Assuntos relacionados
QA75.5-76.95
bic Book Industry Communication::U Computing & information technology::UY Computer science
computer architecture
computer software selection and evaluation
formal logic
formal methods
model checker
model checking
multi core processors
program compilers
programming languages
semantics
software engineering
specifications
state space
verification
×
A carregar...