A mostrar
1 - 3
resultados de
3
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:
rewriting theory
Reset Filters
Show filters (1)
Assunto:
rewriting theory
Resultados da pesquisa
A mostrar
1 - 3
resultados de
3
para a pesquisa '
'
, tempo de pesquisa: 0.12seg
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...
Foundations of Software Science and Computation Structures
Publicado no
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
2
A carregar...
Foundations of Software Science and Computation Structures
Publicado no
Lecture Notes in Computer Science
(2022)
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
3
A carregar...
Foundations of Software Science and Computation Structures
Publicado no
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
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
3
[excluír]
Coleção
Directory of Open Access Books
3
[excluír]
Formato
Livro
3
[excluír]
Autor
Bouyer, Patricia
1
[excluír]
Goubault-Larrecq, Jean
1
[excluír]
Kiefer, Stefan
1
[excluír]
König, Barbara
1
[excluír]
Schröder, Lutz
1
[excluír]
Tasson, Christine
1
[excluír]
Assunto
concurrency theory and process calculi
3
[excluír]
language theory, automata, and games
3
[excluír]
logics of programming
3
[excluír]
modal, spatial, and temporal logics
3
[excluír]
models of software security
3
[excluír]
rewriting theory
Mais ...
type theory and proof theory
3
[excluír]
Computer programming / software engineering
2
[excluír]
Programming Techniques
2
[excluír]
categorical models and logics
2
[excluír]
emerging models of computation
2
[excluír]
formal logic
2
[excluír]
logical aspects of computational complexity
2
[excluír]
logical foundations of data bases
2
[excluír]
semantics of programming languages
2
[excluír]
software specification and refinement
2
[excluír]
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
2
[excluír]
Artificial intelligence
1
[excluír]
Categorical models and logics
1
[excluír]
Compilers & interpreters
1
[excluír]
Computer Systems Organization and Communication Networks
1
[excluír]
Computer networking & communications
1
[excluír]
Computer science
1
[excluír]
Database Management
1
[excluír]
Database programming
1
[excluír]
Discrete Mathematics in Computer Science
1
[excluír]
Discrete mathematics
1
[excluír]
Ver todos ...
menos ...
Idioma
Inglês
3
[excluír]
Ano da publicação
De:
Até:
Ano da publicação
Clear
×
A carregar...
