A mostrar
1 - 20
resultados de
56
para a pesquisa '
Synthesis Lectures on Computer Architecture
'
Saltar ao contenido
VuFind
A sua conta
Saír
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
हिंदी
Todos os campos
Autor
Título
Título de Revista
Assunto
ISBN/ISSN
Tag
Buscar
Avanzado
Resultados de procura - Synthesis Lectures on Computer Architecture
A mostrar
1 - 20
resultados de
56
para a pesquisa '
Synthesis Lectures on Computer Architecture
'
, tempo de consulta: 0.15s
Limitar resultados
Resultados por páxina
10
20
40
60
80
100
Ordenar
Relevancia
Data Descendente
Data Ascendente
Autor
Título
Lista
Cuadrícula
Cargando...
Model driven
architecture
- foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 : proceedings /
Ligazón do recurso
Cargando...
FSTTCS 2006: foundations of software technology and theoretical
computer
science 26th International...
Ligazón do recurso
Cargando...
Handbook of Digital 3D Reconstruction of Historical
Architecture
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Architecture
of
computing
systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008 : proceedings /
Ligazón do recurso
Cargando...
The Datacenter as a
Computer
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Computer
Aided Verification
Ligazón do recurso
Cargando...
Transactions on
computational
science I
Ligazón do recurso
Cargando...
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...
Ligazón do recurso
Cargando...
Advances in Electrical Engineering and
Computational
Science
Ligazón do recurso
Cargando...
Advances in
computational
algorithms and data analysis
Ligazón do recurso
Cargando...
Advances in
computation
and intelligence 4th International Symposium on Intelligence
Computation
...
Ligazón do recurso
Cargando...
Software
architecture
first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /
Ligazón do recurso
1
2
3
Seguinte
[3]
Ferramentas de procura:
RSS
—
Enviar por correo electrónico esta procura
—
Gardar procuras
Atrás
Resultados Agrupados
Institución
UFRJ
43
[Excluír]
DOAB
13
[Excluír]
Colección
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]
Máis ...
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]
Máis ...
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 de Publicación
De:
a:
Ano de Publicación
Limpar
×
Cargando...