Book News 516号
8. 計 算 機 科 学



*252  Cha,S./Taylor,R.(eds.):
       Handbook of Software Engineering.
             Nov. 2018	540 pp.
             (Springer)     9783030002619   29,700.
 253  Fine,B./Gaglione,A.:詳報掲載
       Geometry and Discrete Mathemattics: 
        A Selection of Highlights. 
           (de Gruyter Textbook)
             Oct. 2018	300 pp.
             (de  Gruyter)  9783110521450    7,910.
 254  Gassiat,E.:詳報掲載
       Universal Coding and Order Identification by 
        Model Selection Methods. 
           (Springer Monographs in Mathematics)
             Sep. 2018	131 pp.
             (Springer)     9783319962610   21,780.
 255  Gera,R./Haynes,T./Hedetniemi,S.(eds.):詳報掲載
       Graph Theory: 
        Favorite Conjectures and Open Problems -2.
           (Problem Books in Mathematics)
             Oct. 2018	284 pp.
             (Springer)     9783319976846   11,880.
*256  Gopalakrishnan,G.:
       Specification and Analysis of Discrete Systems: 
        A Programmer's Perspective. 
             Mar. 2019	400 pp.
             (Chapman & Hall) 9781138556669   15,750.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 257  Grigor'yan,A.:詳報掲載
       Introduction to Analysis on Graphs.
           (University Lecture Series, Vol. 71)
             Sep. 2018	168 pp.
             (A.M.S.)       9781470443979    8,300.
 258  Gross,J./Anderson,M.:詳報掲載
       Graph Theory and Its Applications, 3rd ed.
           (Textbooks in Mathematics)
             Nov. 2018	575 pp.
             (Chapman & Hall) 9781482249484   14,400.
*259  Klivans,C.:詳報掲載
       The Mathematics of Chip-Firing.
           (Discrete Mathematics and Its Applications)
             Nov. 2018	312 pp.
             (Chapman & Hall) 9781138070820   26,100.
*260  Redko,I./Morvant,E.:
       Domain Adaptation Theory: 
        Available Theoretical Results.
             Dec. 2018	250 pp.
             (Academic)     9781785482366   20,280.
*261  Schultz,P./Spivak,D.:
       Temporal Type Theory: 
        A Topos-Theoretic Approach to Systems and Behavior. 
           (Progress in Computer Science and Applied Logic, Vol. 29)
             Nov. 2018	205 pp.
             (Birkhauser)   9783030007034   16,830.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*262  Skansi,S.:
       Introduction to Deep Learning.
             Feb. 2018	191 pp.
             (Springer)     9783319730035    8,910.
 263  Wasilewska,A.:
       Logics for Computer Science: 
        Classical and Non-Classical.
             Aug. 2018	540 pp.
             (Springer)     9783319925905   19,800.
*264  Wagner,S./Wang,H.:
       Introduction to Chemical Graph Theory.
           (Discrete Mathematics and Its Applications)
             Sep. 2018	259 pp.
             (Chapman & Hall) 9781138325081   22,270.
*265  Xu,X./Liang,M.:詳報掲載
       Ramsey Theory: 
        Unsolved Problems and Results.
             Aug. 2018	178 pp.
             (de  Gruyter)  9783110576511   18,800.
*266  Zygelman,B.:詳報掲載
       A First Introduction to 
        Quantum Computing and Information.
             Dec. 2018	233 pp.
             (Springer)     9783319916286    9,900.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ