Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Lecture Notes in Computer Science .9537

Herausgegeben von Artemov, Sergei Nerode, Anil

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 12月
装丁：PAP 版次：1st ed. 2016. 2016. x

税込価格：

11,787円

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

Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings

Lecture Notes in Computer Science .10703

Herausgegeben von Artemov, Sergei Nerode, Anil

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

税込価格：

11,787円

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

Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

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

Herausgegeben von Artemov, Sergei Nerode, Anil

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. X

税込価格：

11,787円

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

Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings

Lecture Notes in Computer Science 11972

Herausgegeben von Artemov, Sergei Nerode, Anil

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

税込価格：

11,787円

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