Culegere de texte pentru istoria universală : epoca modernă

Fiscalitatea şi politica fiscală în România la început de mileniu : evoluţii şi perspective

von Enea, Constantin
Veröffentlicht 2007

Culegere de texte pentru istoria universală

von Enea, Constantin
Veröffentlicht 1973

Culegere de texte pentru istoria universală

von Enea, Constantin
Veröffentlicht 1974

Starea social-economică şi lupta muncitorimii din Maramureş şi Crişana, 1914-1918

von Enea, Constantin
Veröffentlicht in Universitatea Babeş-Bolyai Studia Universitatis Babeş-Bolyai / Historia (1969)

Checking Robustness Between Weak Transactional Consistency Models

von Beillahi, Sidi Mohamed
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Quorum Tree Abstractions of Consensus Protocols

von Cirisci, Berk
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Verification, model checking, and abstract interpretation : 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings

Veröffentlicht 2019

Verifying Visibility-Based Weak Consistency

von Krishna, Siddharth
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Root Causing Linearizability Violations

von Cirisci, Berk
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

A Pragmatic Approach to Stateful Partial Order Reduction

von Cirisci, Berk
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)

Automated Synthesis of Asynchronizations

von Beillahi, Sidi Mohamed
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

Verifying non-blocking data structures with manual memory management

von Wolff, Sebastian
Veröffentlicht 2021

Formalizing and Checking Multilevel Consistency

von Bouajjani, Ahmed
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Computer aided verification

Veröffentlicht 2023

Computer aided verification

Veröffentlicht 2023

Computer aided verification : 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings

Computer aided verification

Veröffentlicht 2023

Boosting Sequential Consistency Checking Using Saturation

von Zennou, Rachid
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Networked systems : 12th international conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024 : proceedings

Veröffentlicht 2024