1
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
“...Theoretical Computer Science and General Issues ;...”

Full text 
Favorites
Saved in:
2
Rigorous State-Based Methods [E-Book] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
“...Theoretical Computer Science and General Issues ; ;...”

Full text 
Favorites
Saved in:
3
High Performance Computing for Computational Science - VECPAR 2018 [E-Book] : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
“...Theoretical Computer Science and General Issues ;...”

Full text 
Favorites
Saved in:
4
High Performance Computing [E-Book] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
“...Theoretical Computer Science and General Issues ;...”

Full text 
Favorites
Saved in:

Narrow Search Results