Book News 427号
8.計算機科学



 282  Bard,G.:詳報掲載
       Algebraic Cryptanalysis.
             Apr. 2009	280 pp.
             (Springer)     9780387887562   14,950.
*283  Bhattacharya,B./Sur-Kolay,S./Nabdy,S./Bagchi,A.(eds.):
       Algorithms, Architectures and Information Systems Security.
             Nov. 2008	384 pp.
             (World Sci.)   9789812836236   15,430.
*284  Buchmann,J./Ding,J.(eds.):
       Post-Quantum Cryptography: 
        2nd Int'l Workshop, PQCrypto 2008 Cincinnati. 
           (Lecture Notes in Computer Science, Vol. 5299)
             Nov. 2008	231 pp.
             (Springer)     9783540884026    8,030.
*285  Chan,C.-C./Grzymala-Busse,J./Ziarko,W.(eds.) :
       Rough Sets and Current Trends in Computing: 
        6th Int'l Conference RSCTC 2008 Akron. 
           (Lecture Notes in Artificial Intelligence, Vol. 5306)
             Nov. 2008	532 pp.
             (Springer)     9783540884231   12,140.
*286  Chow,T./Isaksen,D.(eds.):詳報掲載
       Communicating Mathematics.
           (Contemporary Mathematics, Vol. 479)
             Mar. 2009	238 pp.
             (A.M.S.)       9780821843451   14,550.
／注文方法／ボタンの

*287  Cusick,T./Stanica,P.:
       Cryptographic Boolean Functions and Applications.
             Apr. 2009	406 pp.
             (Academic)     9780123748904    8,810.
*288  Fisher,M.:
       Practical Formal Methods using Temporal Logic.
             July 2009	344 pp.
             (Wiley)        9780470027882   19,110.
 289  Grabisch,M./Marichal,J.-L./Mesiar,R./Pap,E.:詳報掲載
       Aggregation Functions.
           (Encyclopedia of Mathematics and its Applications, Vol. 127)
             Aug. 2009	450 pp.
             (Cambridge)    9780521519267   15,840.
*290  Harrison,J.:詳報掲載
       Handbook of Practical Logic and Automated Reasoning.
             Mar. 2009	704 pp.
             (Cambridge)    9780521899574   19,800.
*291  Lucks,S./Sadeghi,A./Wolf,C.(eds.) :
       Research in Cryptology: 
        2nd Western European Workshop, WEWoRC 2007, Bochum. 
           (Lecture Notes in Computer Science, Vol. 4945)
             Nov. 2008	153 pp.
             (Springer)     9783540883524    8,030.
／注文方法／ボタンの

*292  Martin-Vide,C./Otto,F./Fernau,H.(eds.) :
       Language and Automata Theory and Applications: 
        2nd Int'l Conference, LATA 2008, Tarragona. 
           (Lecture Notes in Computer Science, Vol. 5196)
             Nov. 2008	500 pp.
             (Springer)     9783540882817   12,140.
 293  Mezard,M./Montanari,A.:
       Information, Physics, and Computation.
           (Oxford Graduate Texts)
             Jan. 2009	560 pp.
             (Oxford)       9780198570837   11,390.
*294  Schneier,B./Goodrich,M./Tamassia,R.:
       Introduction to Security and Applied Cryptography.
             Dec. 2009	912 pp.
             (Wiley)        9780471703099    9,840.
*295  Takayanagi,H./Nitta,J./Nakano,H.(eds.):
       Controllable Quantum States: Mesoscopic 
        Superconductivity and Spintronics (Ms+s2006); 
         Proceedings of the International Symposium, 
          NTT Basic Research Laboratories. 
             Oct. 2008	432 pp.
             (World Sci.)   9789812814616   29,110.
*296  Theodoridis,S./Koutroumbas,K.:
       Pattern Recognition, 4th ed.
             Oct. 2008	900 pp.
             (Academic)     9781597492720   14,690.
／注文方法／ボタンの