A mostrar
1 - 5
resultados de
5
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:
programming language
Reset Filters
Show filters (1)
Assunto:
programming language
Resultados da pesquisa
A mostrar
1 - 5
resultados de
5
para a pesquisa '
'
, tempo de pesquisa: 3.39seg
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...
Architecture of Advanced Numerical Analysis Systems
Por
Wang, Liang
,
Zhao, Jianxin
Publicado em 2023
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
2
A carregar...
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Publicado no
Theoretical Computer Science and General Issues
(2018)
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
3
A carregar...
The Informatics of Time and Events
Por
Gérard Berry
Publicado em 2015
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
4
A carregar...
Plato and the Nerd
Por
Lee, Edward Ashford
Publicado no
The MIT Press
(2017)
Obter o texto integral
Livro
Adic. favoritos
Na minha lista:
5
A carregar...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Por
Amal Ahmed
Publicado no
Theoretical Computer Science and General Issues Series
(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
5
[excluír]
Coleção
Directory of Open Access Books
5
[excluír]
Formato
Livro
5
[excluír]
Autor
Amal Ahmed
1
[excluír]
Baier, Christel
1
[excluír]
Dal Lago, Ugo
1
[excluír]
Gérard Berry
1
[excluír]
Lee, Edward Ashford
1
[excluír]
Wang, Liang
1
[excluír]
Mais ...
Zhao, Jianxin
1
[excluír]
Ver todos ...
menos ...
Assunto
programming language
semantics
3
[excluír]
artificial intelligence
2
[excluír]
engineering
2
[excluír]
formal logic
2
[excluír]
open source
2
[excluír]
Mais ...
program compilers
2
[excluír]
separation logic
2
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
2
[excluír]
theorem proving
2
[excluír]
AI
1
[excluír]
Aristotle
1
[excluír]
Bekenstein
1
[excluír]
Bell Labs
1
[excluír]
Berners-Lee
1
[excluír]
Bohr
1
[excluír]
Boltzmann
1
[excluír]
Boyle's law
1
[excluír]
Cantor
1
[excluír]
Charles' law
1
[excluír]
Edsger Dijkstra
1
[excluír]
Einstein
1
[excluír]
Facebook
1
[excluír]
Golomb
1
[excluír]
Google
1
[excluír]
Go¨ del
1
[excluír]
Heisenberg
1
[excluír]
Kuhn
1
[excluír]
OCaml
1
[excluír]
Penrose
1
[excluír]
Ver todos ...
menos ...
Idioma
Inglês
5
[excluír]
Ano da publicação
De:
Até:
Ano da publicação
Clear
×
A carregar...
