Algoritmi pentru evaluare
|
LDR | 00089nx j2200049 | |
---|---|---|
001 | 102541 | |
250 | $a Algoritmi pentru evaluare | |
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)
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)
Metode de proiectare şi optimizare pentru implementarea hardware a algoritmilor de cifrare a informaţiei în comunicaţiile digitate : Teză de doctorat
de:
Burciu, Paul; Universitatea din Piteşti
(Text tipărit)
Practical model-based testing : A tools approach
de:
Utting, Mark; Legeard, Bruno
(Text tipărit)
Subiecte