Autor(i)
Ovidiu Predescu
Ovidiu Predescu is a Romanian computer scientist known for his work in formal methods, software verification, and automata theory. He is a professor at the University of Bucharest, where he leads research in model checking and related areas. Predescu's contributions have significantly advanced the field of dependable software systems.
10 products available
Se afișează 1-10 din 10 produse
Drepturile omului si ordinea mondiala. Cum sa traim, intr-o lume a schimbarilor exceptionale
26.97 RON29 RON
Criză și democrație
47.57 RON
Criza si democratie - Ovidiu Predescu
38.06 RON
Academia de Stiinte Juridice din Romania - Ovidiu Predescu, Bogdan Liviu Ciuca
123.69 RON
Parchetul European. Reglementare. Controverse. Explicatii - Adrian Sandru, Mihai Morar, Dorel Herinean, Ovidiu Predescu
94.19 RON
Drepturile omului si ordinea mondiala. Cum sa traim, intr-o lume a schimbarilor exceptionale, ed. a II-a, revazuta si adaugita - Ovidiu Predescu
37.11 RON
Lucrarile conferintei nationale cu participare internationala. Devianta si criminalitate. Evolutie, Tendinte si Perspective. Editia a IV-a 2018 Bacau
52.34 RON
Dialogul continuu. Editia a II-a - Ovidiu Predescu
16.07 RON
Actualitatea si perspectivele interdependentelor dreptului Uniunii Europene cu dreptul intern al statelor membre - Ovidiu Predescu, Augustin Fuerea, A
44.72 RON
Inteligenta artificiala azi. O perspectiva a dreptului, a drepturilor omului, a eticii si nu numai, editia a 2-a, revazuta si adaugita - Ovidiu Predes
33.16 Lei36.89 Lei