Book News 510号
8. 計算機科学



*291  Boldo,S./Melquiond,G:
       Computer Arithmetic and Formal Proofs: 
        Verifying Floating-Point Algorithms with the Coq System. 
             Dec. 2017	340 pp.
             (North Holland) 9781785481123   25,200.
*292  Cangiani,A./Dong,Z.:
       hp-Version Discontinuous Galerkin Methods on 
        Polygonal and Polyhedral Meshes. 
           (SpringerBriefs in Mathematics)
             Nov. 2017	135 pp.
             (Springer)     9783319676715   10,000.
*293  Cenzer,D./Porter,C.:
       Computability, Forcing and Descriptive Set Theory.
             Apr. 2018	200 pp.
             (World Sci.)   9789813228221   16,460.
*294  Costa,S./Oggier,F.:詳報掲載
       Lattices Applied to 
        Coding for Reliable and Secure Communications. 
           (SpringerBriefs in Mathematics)
             Dec. 2017	90 pp.
             (Springer)     9783319678818   12,000.
*295  Howe,E./Lauter,K./Walker,J.(eds.):
       Algebraic Geometry for Coding Theory and Cryptography:
        IPAM, Los Angeles, 2016. 
           (Association for Women in Mathematics Series)
             Oct. 2017	144 pp.
             (Springer)     9783319639307   24,000.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 296  Pellikaan,R./Wu,X.-W./Bulygin,S./Jurrius,R.:
       Codes, Cryptology and 
        Curves with Computer Algebra: Volume 1. 
             <(Cambridge)    9780521817110   26,820.
 297  Pellikaan,R./Wu,X.-W./Bulygin,S./Jurrius,R.:
       Codes, Cryptology and 
        Curves with Computer Algebra, Vol. 1. (Paper ed.) 
             Dec. 2017	600 pp.
             (Cambridge)    9780521520362   10,890.
*298  Platzer,A.:
       Logical Foundations of Cyber-Physical Systems.
             June 2018	....
             (Springer)     9783319635873    9,000.
*299  Saoub,K.:詳報掲載
       A Tour Through Graph Theory.
           (Textbooks in Mathematics)
             Oct. 2017	304 pp.
             (Chapman & Hall) 9781138070844   26,330.
*300  Schaefer,M.:詳報掲載
       Crossing Numbers of Graphs.
           (Discrete Mathematics and Its Applications)
             Dec. 2017	353 pp.
             (C R C Press)  9781498750493   17,480.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*301  Sheu,P.(ed.):
       Semantic Computing.
             Oct. 2017	252 pp.
             (World Sci.)   9789813227910   19,820.
*302  Szegedy,M./Newman,I./Lee,T.:
       Query Complexity.
             June 2018	200 pp.
             (World Sci.)   9789813223202   14,450.
*303  Wootton,A./Lee,C.(eds.):
       A Primer for Undergraduate Research: 
        From Groups and Tiles to Frames and Vaccines. 
           (Foundations for Undergraduate Research in Mathematics)
             Oct. 2017	192 pp.
             (Birkhauser)   9783319660646   15,400.