-
-
情報フロー計量化の科学（テキスト）
The Science of Quantitative Information Flow
Information Security and Cryptography
-
Alvim, Mário S.
Chatzikokolakis, Konstantinos
McIver, Annabelle
-
出版社：Springer
出版年月：2020年 07月
装丁：HRD
-
税込価格：
14,705円
海外在庫あり
通常２～５週間で出荷
-
-
Abstraction, Refinement and Proof for Probabilistic Systems
Monographs in Computer Science
-
McIver, Annabelle
Morgan, Charles Carroll
-
出版社：Springer
出版年月：2010年 02月
装丁：PAP
言語：ENG
-
税込価格：
36,768円
海外在庫あり
通常２～５週間で出荷
-
-
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Lecture Notes in Computer Science .9450
-
Herausgegeben von Davis, Martin
Fehnker, Ansgar
McIver, Annabelle
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2015年 12月
装丁：PAP
言語：ENG
版次：1st ed. 2015. 2015. xv
-
税込価格：
12,252円
海外在庫あり
通常２～５週間で出荷
-
-
プログラミング方法論
Programming Methodology
Monographs in Computer Science
-
Ed. by Annabelle McIver a. Carroll Morgan
-
出版社：Springer, Berlin
出版年月：2003年 00月
装丁：HRD
版次：2003. XVII
-
税込価格：
24,510円
海外在庫あり
通常２～５週間で出荷
-
-
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Lecture Notes in Computer Science 11024
-
Herausgegeben von McIver, Annabelle
Horvath, Andras
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
版次：1st ed. 2018. 2018. xi
-
税込価格：
12,252円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Lecture Notes in Computer Science 11800
-
Herausgegeben von ter Beek, Maurice H.
McIver, Annabelle
Oliveira, José
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. xxi
-
税込価格：
12,252円
海外在庫あり
通常２～５週間で出荷
