Book News 495号
8.計算機科学



*272  Ballet,S./Perret,M./Zaytsev,A.(eds.):詳報掲載
       Algorithmic Arithmetic, 
        Geometry, and Coding Theory.
           (Contemporary Mathematics, Vol. 637)
             May 2015	306 pp.
             (A.M.S.)       9781470414610   19,110.
*273  Baumslag,G./Fine,B./Kreuzer,M./Rosenberger,G.:詳報掲載
       A Course in Mathematical Cryptography.
           (de Gruyter Textbook)
             May 2015	388 pp.
             (de Gruyter)   9783110372762    9,890.
*274  Dodis,Y./Nielsen,J.(eds.):
       Theory of Cryptography: 
        12th Conference, TCC 2015, Warsaw, Part I. 
           (Lecture Notes in Computer Science, Vol. 9014)
             Apr. 2015	660 pp.
             (Springer)     9783662464939   17,420.
*275  Dodis,Y./Nielsen,J.(eds.):
       Theory of Cryptography: 
        12th TCC 2015, Warsaw, Part II.
           (Lecture Notes in Computer Science, Vol. 9015)
             Apr. 2015	700 pp.
             (Springer)     9783662464960   17,420.
*276  Eisenbarth,T./Ozturk,E.(eds.):
       Lightweight Cryptography for Security and Privacy: 
        3rd Int'l Workshop, LightSec 2014. 
           (Lecture Notes in Computer Science, Vol. 8898)
             Apr. 2015	171 pp.
             (Springer)     9783319163628    7,920.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*277  Garg,V.:
       Introduction to 
        Lattice Theory with Computer Science Applications. 
             July 2015	240 pp.
             (Wiley)        9781118914373   17,290.
*278  Katz,J.(ed.) :
       Public-Key Cryptography ---　PKC 2015: 
        18th IACR Int'l Conference on 
         Practice and Theory in Public-Key Cryptography, Gaithersburg. 
           (Lecture Notes in Computer Science, Vol. 9020)
             Apr. 2015	810 pp.
             (Springer)     9783662464465   19,010.
*279  Marino,A.:
       Analysis and Enumeration: 
        Algorithms for Biological Graphs.
           (Atlantis Studies in Computing, Vol. 6)
             May 2015	200 pp.
             (Atlantis)             9789462390966   13,860.
*280  Schneier,B.:
       Applied Cryptography: 
        Protocols, Algorithms and Source Code in C, 20th Anniversary Edition. 
             Mar. 2015	784 pp.
             (Wiley)        9781119096726   12,740.
*281  Seligman,E.:
       Formal Verification: 
        An Essential Toolkit for Modern VLSI Design. 
             June 2015	352 pp.
             (M. Kaufman)   9780128007273   18,190.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*282  Swartzlander,E.:
       Computer Arithmetic.
             Apr. 2015	420 pp.
             (World Sci.)   9789814651561   25,120.
*283  Swartzlsnder/Lemonds,C.:
       Computer Arithmetic, Vol. III.
             Apr. 2015	468 pp.
             (World Sci.)   9789814651134   25,120.
*284  Thalheim,B. et al.(eds.):
       Correct Software in Web Applications and Web Services.
           (Texts & Monographs in Symbolic Computation)
             June 2015	297 pp.
             (Springer)     9783319171111   18,810.