Limba:
Română
English
Ajutor
Intră în cont
UNSTPB - Biblioteca Centrului Universitar Pitești
Limba
Engleză
(4)
Română
(1)
Coperţi
Circuite de prelucrare
Etichetat
Afişează MARC
Subiect Tematic
:
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
Teză de doctorat
Structura calculatoarelor
Cibernetică matematică
Unităţi de prelucrare
Modele matematice pentru cercetare operaţională
Algoritmi pentru evaluare
Circuite de prelucrare
Verificarea modelelor formale
Automate
Domeniul de doctorat: Inginerie electronică și telecomunicații
Teze de doctorat digitizate (loading)
Bibliografie master FECC - Inginerie electronică și sisteme inteligente
Se procesează
...
Vă rugăm să schimbaţi parola
