Toon
1 - 20
resultaten van
56
Voor zoekopdracht '
Synthesis Lectures on Computer Architecture
'
Ga door naar de inhoud
VuFind
Jouw account
Uitloggen
Aanmelden
Taal
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
हिंदी
Alle velden
Auteur
Titel
Titel tijdschrift
Onderwerp
ISBN/ISSN
Tag
Zoek
Geavanceerd
Zoekresultaten - Synthesis Lectures on Computer Architecture
Toon
1 - 20
resultaten van
56
Voor zoekopdracht '
Synthesis Lectures on Computer Architecture
'
, zoektijd: 0,17s
Verfijn jouw resultaten
Resultaten per pagina
10
20
40
60
80
100
Sorteren
Relevantie
Datum Aflopend
Datum Oplopend
Auteur
Titel
Lijst
Tegels
Wordt geladen...
Model driven
architecture
- foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 : proceedings /
Volledige tekst
Wordt geladen...
FSTTCS 2006: foundations of software technology and theoretical
computer
science 26th International...
Volledige tekst
Wordt geladen...
Handbook of Digital 3D Reconstruction of Historical
Architecture
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Architecture
of
computing
systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008 : proceedings /
Volledige tekst
Wordt geladen...
The Datacenter as a
Computer
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Computer
Aided Verification
Volledige tekst
Wordt geladen...
Transactions on
computational
science I
Volledige tekst
Wordt geladen...
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...
Volledige tekst
Wordt geladen...
Advances in Electrical Engineering and
Computational
Science
Volledige tekst
Wordt geladen...
Advances in
computational
algorithms and data analysis
Volledige tekst
Wordt geladen...
Advances in
computation
and intelligence 4th International Symposium on Intelligence
Computation
...
Volledige tekst
Wordt geladen...
Software
architecture
first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /
Volledige tekst
1
2
3
Volgende
[3]
Zoekinstrumenten:
Abonneren op RSS-datastromen
—
Zoekopdracht versturen
—
Sla zoekopdracht op
Terug
Verfijnd zoeken
Instelling
UFRJ
43
[uitsluiten]
DOAB
13
[uitsluiten]
Collectie
Minerva
43
[uitsluiten]
Directory of Open Access Books
13
[uitsluiten]
Formaat
Livro
56
[uitsluiten]
Auteur
Enea, Constantin
3
[uitsluiten]
Lal, Akash
3
[uitsluiten]
Lahiri, Shuvendu K.
2
[uitsluiten]
Leino, K. Rustan M.
2
[uitsluiten]
Oquendo, Flavio
2
[uitsluiten]
Shoham, Sharon
2
[uitsluiten]
meer ...
Silva, Alexandra
2
[uitsluiten]
Vizel, Yakir
2
[uitsluiten]
Wang, Chao
2
[uitsluiten]
ARCS (Conferência)
1
[uitsluiten]
ATVA 2005
1
[uitsluiten]
Agre, Gennady
1
[uitsluiten]
Aichernig, Bernhard K.
1
[uitsluiten]
Ajmone Marsan, M
1
[uitsluiten]
Almási, Gheorghe
1
[uitsluiten]
Ao, Sio-Iong
1
[uitsluiten]
Apollonio, Fabrizio Ivan
1
[uitsluiten]
Arun-Kumar, S.
1
[uitsluiten]
Australian Conference on Artificial Life
1
[uitsluiten]
Balasubramaniam, Dharini
1
[uitsluiten]
Barroso, Luiz André
1
[uitsluiten]
Bernardo, Marco
1
[uitsluiten]
Bluemel, Ina
1
[uitsluiten]
Boer, Frank S. de
1
[uitsluiten]
Bonsangue, Marcello M.
1
[uitsluiten]
Borrione, Dominique
1
[uitsluiten]
Brim, Lubos
1
[uitsluiten]
Brinkschulte, Uwe
1
[uitsluiten]
Börger, E.
1
[uitsluiten]
CBSE 2005
1
[uitsluiten]
Bekijk alles ...
minder ...
Onderwerp
artificial intelligence
9
[uitsluiten]
formal logic
9
[uitsluiten]
model checking
9
[uitsluiten]
software quality
9
[uitsluiten]
computer programming
8
[uitsluiten]
distributed computer systems
8
[uitsluiten]
meer ...
embedded systems
8
[uitsluiten]
software architecture
8
[uitsluiten]
software design
8
[uitsluiten]
architecture verification and validation
7
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
7
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
7
[uitsluiten]
software engineering
6
[uitsluiten]
computer systems
5
[uitsluiten]
distributed systems
5
[uitsluiten]
programming languages
5
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
4
[uitsluiten]
Artificial intelligence
3
[uitsluiten]
Computer science
3
[uitsluiten]
Open Access
3
[uitsluiten]
formal languages
3
[uitsluiten]
linguistics
3
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
3
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UY Computer science
3
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
3
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
3
[uitsluiten]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
3
[uitsluiten]
verification and validation
3
[uitsluiten]
Artificial Intelligence
2
[uitsluiten]
Computer Engineering and Networks
2
[uitsluiten]
Bekijk alles ...
minder ...
Taal
Inglês
56
[uitsluiten]
Publicatiejaar
Van:
Tot:
Publicatiejaar
Wissen
×
Wordt geladen...