The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computer Hardware,Software Engineering,Logics and Meanings of Programs,Mathematical Logic and Formal » Page 161
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
djvu
Author:
Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Performance Evaluation: Origins and Directions
pdf
Author:
Stephen S. Lavenberg Mark S. Squillante (auth.) Günter Haring Christoph Lindemann Martin Reiser (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
3
0
Read online
SCI: Scalable Coherent Interface: Architecture and Software for High-Performance Compute Clusters
pdf
Author:
Hermann Hellwagner Alexander Reinefeld (auth.) Hermann Hellwagner Alexander Reinefeld (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
1
0
Read online
Formal Hardware Verification: Methods and Systems in Comparison
djvu
Author:
Scott Hazelhurst Carl-Johan H. Seger (auth.) Thomas Kropf (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings
pdf
Author:
Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Artificial life models in hardware
pdf
Author:
James M. Conrad Jonathan W. Mills (auth.) Andrew Adamatzky Maciej Komosinski (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
0
0
Read online
1
...
152
153
154
155
156
157
158
159
160
161
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
