Kirjat Nisarg Patel
Automated Verification of Concurrent Search Structures
Nisarg Patel, Thomas Wies, Siddharth Krishna, Dennis Shasha
-25% koodilla BOOKS
Toimittajalla varastossa
Sustained Simulation Performance 2016 Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016
Michael M. Resch, Wolfgang Bez, Erich Focht, Nisarg Patel, Hiroaki Kobayashi
-25% koodilla BOOKS
Toimittajalla varastossa