Book News 452†
8.ŒvŽZ‹@‰ΘŠw



 256  Achary,B./Katona,G./Nesetril,J.(eds.):
       Advances in 
        Discrete Mathematics and Applications: 
         Proceedings of the Int'l Conference on Discrete Mathematics 
          held at Univ. Mysore, 2008. 
           (RMS Lecture Notes Series in Mathematics, Vol. 13)
             Jan. 2011	270 pp.
             (R.M.S.)       9789380416038    7,620.
*257  Biere,A./Heule,M./van Maaren,H./Walsh,T.:
       Handbook of Satisfiability.
           (Frontiers in Artificial Intelligence and Applications, Vol. 185)
             Sep. 2011	980 pp.
             (IOS Press)    9781586039295   25,200.
*258  Buhler,J./Stevenhagen,P.(eds.) :
       Algorithmic Number Theory: 
        Lattices, Number Fields, Curves and Cryptography. 
         (Now in Paperback ed.) 
           (Mathematical Science Research Institute Publications, Vol. 44)
             Mar. 2011	662 pp.
             (Cambridge)    9780521208338    6,840.
*259  Devadoss,S./O’Rourke,J.:Ϊ•ρŒfΪ
       Discrete and Computational Geometry.
             May 2011	280 pp.
             (Princeton Univ.) 9780691145532    4,600.
*260  Embley,D./Thalheim,B.(eds.):
       Handbook of Conceptual Modeling: 
        Theory, Practice, and Research Challenges. 
             Jan. 2011	490 pp.
             (Springer)     9783642158643   16,790.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ ^ –ΪŽŸ‚Φ ^ ƒy[ƒWƒgƒbƒv‚Φ

 261  Gallier,J.:Ϊ•ρŒfΪ
       Discrete Mathematics.
           (Universitext)
             Mar. 2011	490 pp.
             (Springer)     9781441980465   10,070.
*262  Hull,M.E./Jackson,K./Dick,J.:
       Requirements Engineering, 3rd ed.
             Jan. 2011	207 pp.
             (Springer)     9781849964043   10,070.
 263  Jansen,T.:
       Analyzing Evolutionary Algoritms: 
        The Computer Science Perspective. 
           (Natural Computing Series)
             Apr. 2011	240 pp.
             (Springer)     9783642173387    9,230.
 264  Jukna,S.:
       Extremal Combinatorics: 
        With Applications in Computer Science, 2nd ed. 
           (Texts in Theoretical Computer Sciences. An EATCS Series)
             Jan. 2011	401 pp.
             (Springer)     9783642173639   11,750.
 265  Knudsen,L./Robshaw,M.:
       The Block Cipher Companion.
           (Information Security and Cryptography)
             Apr. 2011	280 pp.
             (Springer)     9783642173417    9,230.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ ^ –ΪŽŸ‚Φ ^ ƒy[ƒWƒgƒbƒv‚Φ

*266  Korb,K./Nicholson,A.:
       Bayesian Artificial Intelligence, 2nd ed.
           (Chapman & Hall/CRC Computer Science & Data Analysis)
             Dec. 2010	491 pp.
             (C R C Press)  9781439815915   11,650.
 267  Mahdavi,K./KOslover,D./Brown,III, L.(eds.):Ϊ•ρŒfΪ
       Cross Disciplinary Advances in Quantum Computing.
           (Contemporary Mathematics, Vol. 536)
             Mar. 2011	152 pp.
             (A.M.S.)       9780821849750    7,490.
*268  Marinescu,D.:Ϊ•ρŒfΪ
       Classical and Quantum Information.
             Feb. 2011	704 pp.
             (Academic)     9780123838742   10,770.
 269  Nielsen,M./Chuang,I.:
       Quantum Computation and Quantum Information: 
        10th Anniversary Edition. 
             Jan. 2011	708 pp.
             (Cambridge)    9781107002173    8,550.
 270  Sannella,D./Tarlecki,A.:Ϊ•ρŒfΪ
       Foundations of 
        Algebraic Specification and Formal Software Development. 
           (Monographs in Theoretical Computer Science. An EATCS Series)
             Mar. 2011	480 pp.
             (Springer)     9783642173356   16,790.
^’•Ά•ϋ–@^ƒ{ƒ^ƒ“‚Μ ^ –ΪŽŸ‚Φ ^ ƒy[ƒWƒgƒbƒv‚Φ

*271  Tucker,W.:
       Validated Numerics: 
        A Short Introduction to Rigorous Computations. 
             July 2011	240 pp.
             (Princeton Univ.) 9780691147819    4,180.