A mostrar
1 - 20
resultados de
56
para a pesquisa '
Synthesis Lectures on Computer Architecture
'
Ir para o conteúdo
VuFind
A sua conta
Sair
Entrar
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
Resultados da pesquisa - Synthesis Lectures on Computer Architecture
A mostrar
1 - 20
resultados de
56
para a pesquisa '
Synthesis Lectures on Computer Architecture
'
, tempo de pesquisa: 0.34seg
Refinar resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Autor
Título
Lista
Grid
A carregar...
Model driven
architecture
- foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 : proceedings /
Obter o texto integral
A carregar...
FSTTCS 2006: foundations of software technology and theoretical
computer
science 26th International...
Obter o texto integral
A carregar...
Handbook of Digital 3D Reconstruction of Historical
Architecture
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Architecture
of
computing
systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008 : proceedings /
Obter o texto integral
A carregar...
The Datacenter as a
Computer
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Computer
Aided Verification
Obter o texto integral
A carregar...
Transactions on
computational
science I
Obter o texto integral
A carregar...
Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of
Computer
, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011...
Obter o texto integral
A carregar...
Advances in Electrical Engineering and
Computational
Science
Obter o texto integral
A carregar...
Advances in
computational
algorithms and data analysis
Obter o texto integral
A carregar...
Advances in
computation
and intelligence 4th International Symposium on Intelligence
Computation
...
Obter o texto integral
A carregar...
Software
architecture
first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /
Obter o texto integral
1
2
3
Seguinte
[3]
Ferramentas de pesquisa:
Obter Feed RSS
—
Enviar pesquisa por email
—
Guardar a pesquisa
Voltar
Refinar a Pesquisa
Recursos
UFRJ
43
[excluír]
DOAB
13
[excluír]
Coleção
Minerva
43
[excluír]
Directory of Open Access Books
13
[excluír]
Formato
Livro
56
[excluír]
Autor
Enea, Constantin
3
[excluír]
Lal, Akash
3
[excluír]
Lahiri, Shuvendu K.
2
[excluír]
Leino, K. Rustan M.
2
[excluír]
Oquendo, Flavio
2
[excluír]
Shoham, Sharon
2
[excluír]
Mais ...
Silva, Alexandra
2
[excluír]
Vizel, Yakir
2
[excluír]
Wang, Chao
2
[excluír]
ARCS (Conferência)
1
[excluír]
ATVA 2005
1
[excluír]
Agre, Gennady
1
[excluír]
Aichernig, Bernhard K.
1
[excluír]
Ajmone Marsan, M
1
[excluír]
Almási, Gheorghe
1
[excluír]
Ao, Sio-Iong
1
[excluír]
Apollonio, Fabrizio Ivan
1
[excluír]
Arun-Kumar, S.
1
[excluír]
Australian Conference on Artificial Life
1
[excluír]
Balasubramaniam, Dharini
1
[excluír]
Barroso, Luiz André
1
[excluír]
Bernardo, Marco
1
[excluír]
Bluemel, Ina
1
[excluír]
Boer, Frank S. de
1
[excluír]
Bonsangue, Marcello M.
1
[excluír]
Borrione, Dominique
1
[excluír]
Brim, Lubos
1
[excluír]
Brinkschulte, Uwe
1
[excluír]
Börger, E.
1
[excluír]
CBSE 2005
1
[excluír]
Ver todos ...
menos ...
Assunto
artificial intelligence
9
[excluír]
formal logic
9
[excluír]
model checking
9
[excluír]
software quality
9
[excluír]
computer programming
8
[excluír]
distributed computer systems
8
[excluír]
Mais ...
embedded systems
8
[excluír]
software architecture
8
[excluír]
software design
8
[excluír]
architecture verification and validation
7
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
7
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
7
[excluír]
software engineering
6
[excluír]
computer systems
5
[excluír]
distributed systems
5
[excluír]
programming languages
5
[excluír]
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
4
[excluír]
Artificial intelligence
3
[excluír]
Computer science
3
[excluír]
Open Access
3
[excluír]
formal languages
3
[excluír]
linguistics
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
3
[excluír]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
3
[excluír]
verification and validation
3
[excluír]
Artificial Intelligence
2
[excluír]
Computer Engineering and Networks
2
[excluír]
Ver todos ...
menos ...
Idioma
Inglês
56
[excluír]
Ano da publicação
De:
Até:
Ano da publicação
Clear
×
A carregar...