A mostrar
41 - 56
resultados de
56
para a pesquisa '
Synthesis Lectures on Computer Architecture
'
Ir para o conteúdo
VuFind
我的帳戶
退出
登錄
語言
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
हिंदी
全文檢索
作者
題名
期刊標題
主題
ISBN/ISSN
標簽
檢索
高級檢索
檢索結果 - Synthesis Lectures on Computer Architecture
A mostrar
41 - 56
resultados de
56
para a pesquisa '
Synthesis Lectures on Computer Architecture
'
, 查詢時間: 0.08seg
Refinar resultados
結果/頁
10
20
40
60
80
100
排序
相關性排序
日期遞增
日期遞增
作者排序
標題
清單
網格
載入...
Quality of service in multiservice IP networks Third International Workshop, QoS...
獲取全文
載入...
Automated technology for verification and analysis Third International Symposium...
獲取全文
載入...
Formal methods applications and technology : 11th International Workshop on Form...
獲取全文
載入...
Applications and theory of Petri nets 29th International Conference, PETRI NETS...
獲取全文
載入...
FM 2005: Formal methods : International Symposium of Formal Methods Europe, Newc...
獲取全文
載入...
Web services and formal methods 4th International Workshop, WS-FM 2007, Brisbane...
獲取全文
載入...
Formal methods for components and objects 9th International Symposium, FMCO 2010...
獲取全文
載入...
Formal methods in software and systems modeling essays dedicated to Hartmut Ehri...
獲取全文
載入...
Component-based software engineering 11th International Symposium, CBSE 2008, Ka...
獲取全文
載入...
Advances in databases and information systems : proceedings of the 9th East Euro...
獲取全文
載入...
Analysis and modeling of faces and gestures third international workshop, AMFG 2...
獲取全文
載入...
Automated reasoning with analytic tableaux and related methods 18th internationa...
獲取全文
載入...
Artificial intelligence Methodology, Systems, and Applications : 15th Internatio...
獲取全文
載入...
Complex sciences First International Conference, Complex 2009, Shanghai, China,...
獲取全文
載入...
Artificial life borrowing from biology, 4th Australian conference, ACAL 2009, Me...
獲取全文
載入...
Advances in design methods from modeling languages for embedded systems and SoC'...
獲取全文
[1]
前一個
1
2
3
檢索工具:
得到RSS訂閱
—
推薦此搜索
—
保存搜索
Voltar
縮小搜索
機構
UFRJ
43
[excluír]
DOAB
13
[excluír]
Coleção
Minerva
43
[excluír]
Directory of Open Access Books
13
[excluír]
格式
Livro
56
[excluír]
作者
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]
更多 ...
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]
查看所有 ...
少 ...
主題
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]
更多 ...
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]
查看所有 ...
少 ...
語言
Inglês
56
[excluír]
出版年
來自:
到:
出版年
Clear
×
載入...