A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
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
Reset Filters
Assunto:
design and analysis of algorithms
Reset Filters
Show filters (1)
Assunto:
design and analysis of algorithms
Resultados da pesquisa
A mostrar
1 - 2
resultados de
2
para a pesquisa '
'
, tempo de pesquisa: 0.08seg
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...
Formal Methods
Publicado no
Lecture Notes in Computer Science
(2025)
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
2
A carregar...
Formal Methods
Publicado no
Lecture Notes in Computer Science
(2025)
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
2
[excluír]
Coleção
Directory of Open Access Books
2
[excluír]
Formato
Livro
2
[excluír]
Autor
Pradella, Matteo
2
[excluír]
Rossi, Matteo
2
[excluír]
Rozier, Kristin Yvonne
2
[excluír]
Platzer, Andre
1
[excluír]
Platzer, André
1
[excluír]
Assunto
architecture verification and validation
2
[excluír]
artificial intelligence
2
[excluír]
computational complexity and cryptography
2
[excluír]
design and analysis of algorithms
embedded systems
2
[excluír]
formal languages and automata theory
2
[excluír]
Mais ...
formal logic
2
[excluír]
formal methods
2
[excluír]
machine learning
2
[excluír]
model checking
2
[excluír]
models of computation
2
[excluír]
semantics and reasoning
2
[excluír]
software engineering
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
2
[excluír]
theory and algorithms for application domains
2
[excluír]
Ver todos ...
menos ...
Idioma
Inglês
2
[excluír]
Ano da publicação
De:
Até:
Ano da publicação
Clear
×
A carregar...