Book News 506号
8. 計算機科学



*265  A.A.A.I.(ed.):
       A.A.A.I., I.A.A.I., 2016 Proceedings.   6 Vols/ Set.
           (Proceedings of the National Conference on Artificial intelligence, Vol. 30)
             Dec. 2016	4434 pp.
             (A.A.A.I.)             9781577357605  163,190.
*266  Akiyama Jin /Ito Hiro :
       Discrete and Computational Geometry and Graphs: 
        18th Japan Conference, JCDCGG 2015, Kyoto. 
           (Lecture Notes in Computer Science, Vol. 9943)
             Nov. 2016	....
             (Springer)     9783319485317   10,730.
*267  Asch,M./Bocquet,M.:
       Data Assimilation: Methods, Algorithms, and Applications.
           (SIAM-Society for Industrial and Appled Mathematics)
             Dec. 2016	306 pp.
             (S.I.A.M.)     9781611974539   14,580.
*268  Ayala-Rincon,M./de Moura,F.:
       Applied Logic for Computer Scientists: 
        Computational Deduction and Formal Proofs. 
           (Undergraduate Topics in Computer Science)
             Mar. 2017	173 pp.
             (Springer)     9783319516516    8,320.
*269  Barvinok,A.:
       Combinatorics and Complexity of Partition Functions.
           (Algorithms and Combinatorics, Vol. 30)
             Mar. 2017	138 pp.
             (Springer)     9783319518282   14,240.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*270  Bassa,A./Couvreur,A./Kohel,D.(eds.):詳報掲載
       Arithmetic, Geometry, Cryptography and Coding Theory.
           (Contemporary Mathematics, Vol. 686)
             Apr. 2017	....
             (A.M.S.)       9781470428105   19,270.
*271  Coolen,A./Annibale,A.:
       Generating Random Networks and Graphs.
             Mar. 2017	310 pp.
             (Oxford)       9780198709893   10,160.
*272  Hernandez-Orallo,J.:
       The Measure of All Minds.
             Dec. 2016	558 pp.
             (Cambridge)    9781107153011   15,450.
*273  Kneusel,R.:
       Numbers and Computers, 2nd ed.
             Jan. 2017	....
             (Springer)     9783319505077   12,390.
*274  Kroening,D./Strichman,O.:
       Decision Procedures: An Algorithmic Point of View, 2nd ed.
           (Texts in Theoretical Computer Sciences. An EATCS Series)
             Jan. 2017	356 pp.
             (Springer)     9783662504963   12,460.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*275  Mitzenmacher,M.:
       Probability and Computing, 2nd ed.
             Dec. 2016	480 pp.
             (Cambridge)    9781107154889   12,150.
*276  Muresan,M.:
       Introduction to Mathematica with Applications.
             Mar. 2017	374 pp.
             (Springer)     9783319520025   20,350.
*277  Nishizaki Shin-Ya  et al.(eds.):
       Theory and Practice of Computation: 
        Proceedings of Workshop on Computation: 
         Theory and Practice WCTP 2015. 
             Feb. 2017	300 pp.
             (World  Sci.)  9789813202801   24,010.
*278  Rahman,S.:
       Basic Graph Theory.
           (Undergraduate Topics in Computer Science)
             Jan. 2017	250 pp.
             (Springer)     9783319494746    8,320.
*279  Romisch,W./Zeugmann,T.:
       Mathematical Analysis and the Mathematics of Computation.
             Oct. 2016	....
             (Springer)     9783319427539   12,390.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*280  Toth,C./O'Rourke,J./Goodman,J.:
       Handbook of Discrete and Computational Geometry, 3rd ed.
           (Discrete Mathematics and Its Applications)
             June 2017	....
             (Chapman & Hall) 9781498711395   34,660.
*281  Weyers,B. et al..(eds.):
       The Handbook of 
        Formal Methods in Human-Computer Interaction. 
             Mar. 2017	600 pp.
             (Springer)     9783319518374   20,350.
*282  Zeume,T.(ed.):
       Small Dynamic Complexity Classes: 
        An Investigation Into 
         Dynamic Descriptive Complexity. 
           (Lecture Notes in Computer Science, Vol. 10110)
             Mar. 2017	149 pp.
             (Springer)     9783662543139    7,770.