-
-
Automated Verification of Concurrent Search Structures
Synthesis Lectures on Computer Science
-
Krishna, Siddharth
Patel, Nisarg
Shasha, Dennis
-
出版社：Springer International Publishing Ag
出版年月：2021年 06月
装丁：PAP
言語：ENG
-
税込価格：
13,479円
海外在庫あり
通常２～５週間で出荷
-
-
Sustained Simulation Performance 2014
Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014
-
Herausgegeben von Resch, Michael M.
Bez, Wolfgang
Focht, Erich
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 09月
装丁：PAP
版次：Softcover reprint of the original 1st ed. 2015. 2016. xiii
-
税込価格：
24,510円
海外在庫あり
通常２～５週間で出荷
-
-
Sustained Simulation Performance 2016
Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016
-
Herausgegeben von Resch, Michael M.
Bez, Wolfgang
Focht, Erich
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 11月
装丁：HRD
版次：1st ed. 2016. 2016. viii
-
税込価格：
24,510円
海外在庫あり
通常２～５週間で出荷
-
-
Sustained Simulation Performance 2014
Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2014
-
Herausgegeben von Resch, Michael M.
Patel, Nisarg
Bez, Wolfgang
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2014年 12月
装丁：HRD
版次：2015. 2015. x
-
税込価格：
24,510円
海外在庫あり
通常２～５週間で出荷
