Book News 526号
8. 計 算 機 科 学


*063 Ait-Ameur,Y./Nakajima,S./Mery,D.(eds.): Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of NII Shonan Meetings. Aug. 2020 332 pp. (Springer) 9789811550539 19,580. *064 Blass,A. et al.(eds.): Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. (Lecture Notes in Computer Science, Vol. 12180) May 2020 341 pp. (Springer) 9783030480059 11,750. *065 Carter,N.: Data Science for Mathematicians. July 2020 499 pp. (Chapman & Hall) 9780367027056 18,340. *066 Feldman,M.: Algorithms for Big Data. July 2020 370 pp. (World Sci.) 9789811204739 20,860. *067 Gasieniec,L./Klasing,R./Radzik,T.(eds.): Combinatorial Algorithms: 31st Int'l Workshop, IWOCA 2020, Bordeaux. (Lecture Notes in Computer Science, Vol. 12126) May 2020 424 pp. (Springer) 9783030489656 13,170.
注文方法/ボタンの目次へページトップへ
*068 Guardia,G.: Quantum Error Correction: Symmetric, Asymmetric, Synchronizable, and Convolutional Codes. (Quantum Science and Technology) Aug. 2020 241 pp. (Springer) 9783030485504 13,350. *069 Gupta,S./Tu,P.: What Is Artificial Intelligence?: A Conversation Between An AI Engineer and A Humanities Researcher. Aug. 2020 250 pp. (World Sci.) 9781786348630 14,340. *070 Henning,M./Yeo,A.:詳報掲載 Transversals in Linear Uniform Hypergraphs. (Developments in Mathematics, Vol. 63) July 2020 204 pp. (Springer) 9783030465582 17,800. *071 Martin-Vide,C./Vega-Rodriguez,M./Wheeler,T.(eds.): Algorithms in Computational Biology: 7th Int'l Conference, AlCoB 2020, Missoula. (Lecture Notes in Computer Science, Vol. 12099) Apr. 2020 199 pp. (Springer) 9783030422653 8,900. *072 West,D.:詳報掲載 Combinatorial Mathematics. July 2020 .... (Cambridge) 9781107058583 12,220.
注文方法/ボタンの目次へページトップへ