Circuite de prelucrare
|
LDR | 00086nx j2200049 | |
---|---|---|
001 | 102827 | |
250 | $a Circuite de prelucrare | |
901 | $a a $b a |
Lucrări:
5 lucrari in 5 publicatii in 2 limbi
5 records Page 1 of 1
- 1
25 Years of Model Checking : History, Achievements, Perspectives
de:
(Text tipărit)
Proiectarea şi analiza automatelor celulare pentru prelucrarea informaţiei : Teză de doctorat
de:
Anghelescu, Petre; Universitatea din Piteşti
(Text tipărit)
Principles of Model Checking
de:
Baier, Christel; Katoen, Joost-Pieter
(Text tipărit)
Model Checking
de:
Clarke, Edmund M., Jr.; Grumberg, Orna; Peled, Doron A.
(Text tipărit)
Practical model-based testing : A tools approach
de:
Utting, Mark; Legeard, Bruno
(Text tipărit)
Subiecte
Calculatoare
Algoritmi pentru evaluare
Automate
Teză de doctorat
Cibernetică matematică
Verificarea modelelor formale
Domeniul de doctorat: Inginerie electronică și telecomunicații
Circuite de prelucrare
Unităţi de prelucrare
Bibliografie master FECC - Inginerie electronică și sisteme inteligente
Modele matematice pentru cercetare operaţională
Teze de doctorat digitizate (loading)
Structura calculatoarelor