Home Advanced Search
Advanced Search - Page 1
Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
- English
- Year: 2022
- Author: Dana Fisman, Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022 Proceedings
- English
- Year: 2022
- Author: Dana Fisman, Grigore Rosu
Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
- English
- Year: 2021
- Author: Dana Fisman (editor); Lu Feng (editor)
Elective Monarchy in Transylvania and Poland-Lithuania, 1569-1587
- English
- Year: 2018
- Author: Felicia Rosu
Conștiință și cunoaștere. Volumul II - Publicistica
- Romanian
- Year: 2010
- Author: Grigore T. Popa; Dana Baran (Ed.)
Conștiință și cunoaștere. Volumul I - Lucrări științifice
- Romanian
- Year: 2010
- Author: Grigore T. Popa; Dana Baran (Ed.)
I monumenti funerari romani della Dacia inferiore
- Italian
- Year: 1942
- Author: Grigore Florescu
Crimele Revoluției. Sângeroasa diversiune a KGB-iștilor din FSN
- Romanian
- Year: 2010
- Author: Grigore Cartianu
Sfârșitul Ceaușeștilor. Să mori împușcat ca un animal sălbatic
- Romanian
- Year: 2010
- Author: Grigore Cartianu