Book News 453号
8.計算機科学



*268  Alagar,V./Periyasamy,K.:
       Specification of Software Systems, 2nd ed.
           (Texts in Computer Science)
             Mar. 2011	698 pp.
             (Springer)     9780857292766   13,430.
*269  Applebaum,B.:
       Cryptography in Constant Parallell Time.
           (Information Security and Cryptography)
             May 2011 	200 pp.
             (Springer)     9783642173660   13,430.
 270  Auger,A./Doerr,B.(eds.):
       Theory of Randomized Search Heuristics: 
        Foundations and Recent Developments. 
           (Series on Theoretical Computer Science, Vol. 1)
             Feb. 2011 	360.25 pp.
             (World Sci.)   9789814282666   12,250.
*271  Chowdhury,A./Bhandarkar,S.:
       Computer Vision-Guided Virtual Craniofacial Surgery: 
        A Graph-Theoretic and Statistical Perspective. 
           (Advances in Pattern Recognition)
             Apr. 2011	190 pp.
             (Springer)     9780857292957   13,430.
*272  Cicalese,F.:
       Fault-Tolerant Search Algorithms: 
        Reliable Computation with Unreliable Information. 
           (Monographs in Theoretical Computer Science. An EATCS Series)
             Mar. 2011	190 pp.
             (Springer)     9783642173264   13,430.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 273  Cohen,H./ et al.:詳報掲載
       Handbook of 
        Elliptic and Hyperelliptic Curve Cryptography, 2nd ed. 
             June 2011	1024 pp.
             (Chapman & Hall) 9781439840009   14,340.
*274  Dowek,G.:
       Proofs and Algorithms: 
        An Introduction to Logic and Computability. 
           (Undergraduate Topics in Computer Science)
             Feb. 2011	195 pp.
             (Springer)     9780857291202    5,870.
*275  Ertel,W.:
       Introduction to Artificial Intelligence.
           (Undergraduate Topics in Computer Science)
             Apr. 2011	324 pp.
             (Springer)     9780857292988    5,870.
 276  Gallier,J.:詳報掲載
       Discrete Mathematics.
           (Universitext)
             Mar. 2011	490 pp.
             (Springer)     9781441980465   10,070.
*277  Kauers,M./Paule,P.:
       The Concrete Tetrahedron: 
        Symbolic Sums, Recurrence Equations, 
         Generating Functions, Asymptotic Estimates. 
           (Texts and Monographs in Symbolic Computation)
             Jan. 2011	203 pp.
             (Springer)     9783709104446    8,390.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 278  Marinescu,D.:詳報掲載
       Classical and Quantum Information.
             Feb. 2011	704 pp.
             (Academic)     9780123838742   10,610.
*279  Shi,Z.:
       Advanced Artificial Intelligence.
           (Series on Intelligence Science, Vol. 1)
             Apr. 2011	660 pp.
             (World Sci.)   9789814291347   19,750.