Book News 502号
8.計算機科学



*290  Abraham,E./Bonsangue,M./Johnsen,E.(eds.):
       Theory and Practice of Formal Methods: 
        Essays Dedicated to Frank de Boer on 
         the Occasion of His 60th Birthday. 
           (Lecture Notes in Computer Science, Vol. 9660)
             Apr. 2016	427 pp.
             (Springer)     9783319307336   11,970.
*291  Bezdek,K./Ali Khan,M.:
       Volume Inequalities for Arrangements of Convex Bodies.
             Mar. 2017	304 pp.
             (Chapman & Hall) 9781498743785   11,320.
*292  Bobenko,A.(ed.):
       Advances in Discrete Differential Geometry.
             June 2016	....
             (Springer)     9783662504468    9,350.
*293  Damon,J./Giblin,P./Haslinger,G.:詳報掲載
       Local Features in Natural Images via Singularity Theory.
           (Lecture Notes in Mathematics, Vol. 2165)
             Nov. 2016	....
             (Springer)     9783319414706    8,410.
*294  Demri,S./Goranko,V./Lange,M.:
       Temporal Logics in Computer Science: Finite-State Systems.
           (Cambridge Tracts in Theoretical Computer Science, Vol. 58)
             Sep. 2016	780 pp.
             (Cambridge)    9781107028364   16,520.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*295  Dodos,P./Kanellopoulos,V.:詳報掲載
       Ramsey Theory for Product Spaces.
           (Mathematical Surveys and Monographs, Vol. 212)
             June 2016	245 pp.
             (A.M.S.)       9781470428082   18,170.
*296  El Mrabet,N./Joye,M.:詳報掲載
       Guide to Pairing-Based Cryptography.
             Oct. 2016	350 pp.
             (Chapman & Hall) 9781498729505   14,150.
 297  Hein,J.:
       Discrete Structures, Logic, and Computability, 4th ed.
             Dec. 2015	1040 pp.
             (J & B)        9781284070408   34,970.
*298  Klein,S.:
       Basic Concepts in Data Structures.
             Dec. 2016	....
             (Cambridge)    9781316613849     価格未定
*299  Li,X./Mao,Y.:詳報掲載
       Generalized Connectivity of Graphs.
           (SpringerBriefs in Mathematics)
             Oct. 2016	130 pp.
             (Springer)     9783319338279    9,350.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*300  Probst,C./Hankin,C./Hansen,R.(eds.):
       Semantics, Logics, and Calculi: 
        Essays Dedicated to Hanne Ris Nielson and 
         Flemming Nielson on the Occasion of Their 60th Birthdays. 
             Apr. 2016	345 pp.
             (Springer)     9783319278094   10,470.
*301  Sako Kazue (ed.):
       Topics in Cryptology - CT- RSA 2016: 
        The Cryptographers' s Track at 
         the RSA Conference 2016, San Francisco. 
           (Lecture Notes in Computer Science, Vol. 9610)
             Apr. 2016	465 pp.
             (Springer)     9783319294841   11,970.
*302  Sitharam,M./St.John,A./Sidman,J.:詳報掲載
       Handbook of Geometric Constraint Systems Principles.
             Mar. 2017	600 pp.
             (Chapman & Hall) 9781498738910   26,350.
*303  Traverso,G./Demirel,D./Buchmann,J.:
       Homomorphic Signature Schemes: A Survey.
           (SpringerBriefs in Computer Science)
             May 2016	64 pp.
             (Springer)     9783319321141    9,350.
*304  Wallis,W./George,J.:詳報掲載
       Introduction to Combinatorics, 2nd ed.
           (Discrete Mathematics and Its Applications)
             Oct. 2016	450 pp.
             (Chapman & Hall) 9781498777605   20,010.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*305  Watt,J./Borhani,R./Katsaggelos,A.:
       Machine Learning Refined: 
        Foundations, Algorithms, and Applications. 
             June 2016	300 pp.
             (Cambridge)    9781107123526   14,870.