Automated Verification of Concurrent Search Structures
Autor Siddharth Krishna et al.
iun 2021
Paperback
Preț: 403.71 lei
6-8 săpt.
Synthesis Lectures on Computer Science
Storing Clocked Programs Inside DNA
Autor Jessica Chang et al.
21 apr 2011
Paperback
Preț: 185.88 lei
6-8 săpt.