Logic, Language, Information, and Computation

19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7456

Ed. by de Queiroz, Ruy Ong, Luke

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2nd ed. 2012. XII

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Lecture Notes in Computer Science .10610

Herausgegeben von Duan, Zhenhua Ong, Luke

出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xvii

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

IFIP Advances in Information and Communication Technology

Ausiello, Giorgio Karhumaki, Juhani Mauri, Giancarlo

出版社：Springer 出版年月：2010年 02月
装丁：PAP 言語：ENG

税込価格：

35,369円

海外在庫あり 通常２～５週間で出荷