-
Aseem (Jan 14, 2024). Proof-Oriented
Programming in F* (PDF). Ahman, Danel;
Hriţcu, Cătălin; Maillard, Kenji; Martínez, Guido; Plotkin, Gordon; Protzenko,...
- the
Wayback Machine, in ODP Do****entation
Hriţcu, C. (April 8, 2005). "Folksonomies vs. Ontologies".
hritcu.wordpress.com.
Archived from the original...
-
Brezoianu as
Chanel Rares Andrici as Manu
Bogdan Farcas as Radu
Nebunu Hritcu Florin as
Pisica Ioan
Tiberiu Dobrica as
Dorel Tartaglione,
Nancy (11 September...
- ed.). Chichester: Wiley. ISBN 978-0-470-68218-0.
Brooks DE,
Haynes CA,
Hritcu D, et al. (June 2000). "Size
exclusion chromatography does not
require pores"...
- chip, and
discovered vulnerabilities. Delaune,
Kremer & Ryan and Backes,
Hritcu &
Maffei formalise and
analyse privacy properties for
electronic voting...
-
eoliene din România vor funcționa la 30% din
puterea instalată".
Mirona Hrițcu (2009-04-29). "Numai
pentru milionarii în euro:
afaceri cu
energie eoliană"...
- & Țârău, p. 272; Moisa, p. 252
Iancu & Țârău, p. 281
Hrițcu, p. 319
Hrițcu, pp. 324, 326
Hrițcu, p. 326
Vasile Valentin, "Supraveghere,
imixtiune și control...
- p. 69. ISBN 1-85065-381-X. OCLC 42214742. Brucan, p.31 Brucan, p.31-32
Hrițcu,
Mirona (5
February 2005). "Silviu
Brucan e gata să-și
ingroape profeția"...
- 9, ISBN 978-1-61197-506-2 Lampropoulos, Leonidas; Gallois-Wong, Diane;
Hriţcu, Cătălin; Hughes, John; Pierce,
Benjamin C.; Xia, Li-yao (2017-01-01). "Beginner's...
- Lupașcu,
party branch leader Alexandru Anop, and
school inspector Petre Hrițcu)
hosted a
ceremonial welcome for the Red Army. On
August 30, 1940, Germany...
