-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science Vol.9035
-
Herausgegeben von Baier, Christel
Tinelli, Cesare
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2015年 04月
装丁：PAP
版次：2015. 2015. xviii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Immersion dans l'écosystème des PME et de l'artisanat au Congo
-
BAYONNE, Christel
-
出版社：Omniscriptum; Éditions Universitaires Européen
出版年月：2024年 00月
装丁：PAP
版次：2024. 120 S. 220 mm
-
税込価格：
15,270円
海外在庫あり
通常２～４週間で出荷
-
-
Validation of Stochastic Systems
A Guide to Current Research
Lecture Notes in Computer Science Vol.2925
-
Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.
-
出版社：Springer, Berlin
出版年月：2004年 00月
装丁：PAP
版次：2004. VIII
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science 10803
-
Herausgegeben von Baier, Christel
Dal Lago, Ugo
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
版次：1st ed. 2018. 2018. xv
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Lecture Notes in Computer Science .10139
-
Herausgegeben von Steffen, Bernhard
Baier, Christel
van den Brand, Mark
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2017年 00月
装丁：PAP
版次：1st ed. 2017. 2017. xviii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science .10854
-
Herausgegeben:Baier, Christel
Caires, Luí
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xi
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
