New Books in June 2016 
8.計算機科学



*153  Abraham,E. et al.(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   12,220.
*154  Bezdek,K./Ali Khan,M.:
       Volume Inequalities for Arrangements of Convex Bodies.
             Mar. 2017	304 pp.
             (Chapman & Hall) 9781498743785   11,460.
*155  Bobenko,A.(ed.):
       Advances in Discrete Differential Geometry.
             June 2016	....
             (Springer)     9783662504468    9,550.
*156  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,620.
*157  Dodos,P./Kanellopoulos,V.:詳報掲載
       Ramsey Theory for Product Spaces.
           (Mathematical Surveys and Monographs, Vol. 212)
             June 2016	245 pp.
             (A.M.S.)       9781470428082   12,870.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*158  El Mrabet,N./Joye,M.:詳報掲載
       Guide to Pairing-Based Cryptography.
             Oct. 2016	350 pp.
             (Chapman & Hall) 9781498729505   14,320.
*159  Li,X./Mao,Y.:詳報掲載
       Generalized Connectivity of Graphs.
           (SpringerBriefs in Mathematics)
             June 2016	130 pp.
             (Springer)     9783319338279    9,550.
*160  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,700.
*161  Sako Kazue (ed.):
       Topics in Cryptology -　CT-　RSA 2016: 
        The Cryptographers' Track at 
         the RSA Conference 2016, San Francisco. 
           (Lecture Notes in Computer Science, Vol. 9610)
             Apr. 2016	465 pp.
             (Springer)     9783319294841   12,220.
*162  Sitharam,M./St. John,A./Sidman,J.:詳報掲載
       Handbook of Geometric Constraint Systems Principles.
             Mar. 2017	600 pp.
             (Chapman & Hall) 9781498738910   29,590.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*163  Traverso,G./Demirel,D./Buchmann,J.:
       Homomorphic Signature Schemes: A Survey.
           (SpringerBriefs in Computer Science)
             May 2016	64 pp.
             (Springer)     9783319321141    9,550.