New books / ebooks
Most online resources are only accessible through the UNIGE IT network or off-site by using
Controle103PileTest
Books selection
Ebooks selection
听 |
David Moriarty 2022 |
 |
Gasior, Dariusz 2020 |
 |
Velasco, Carlo 2020 |
 |
Haojun Huang 2020 |
|
Edmund M. Clarke 2018 听 |
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|