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.
/注文方法/ボタンの / 目次へ / ページトップへ