Book News 450号
8.計算機科学



*262  A.A.A.I.:
       AAAI -2010.   3 Vols.  Set
           (Proceedings of the National Conference on Artificial intelligence, Vol. 24)
             Oct. 2010	2016 pp.
             (AAAI Press)   9781577354635   36,000.
 263  Almeida,J./Frade,M./Pinto,J./Melo de Sousa,S.:
       Rigorous Software Development: 
        An Introduction to Program Verification. 
           (Undergraduate Topics in Computer Science)
             Dec. 2010	307 pp.
             (Springer)     9780857290175    6,050.
 264  Dowek,G./Levy,J. :
       Introduction to the Theory of Programming Languages.
           (Undergraduate Topics in Computer Science)
             Jan. 2011	118 pp.
             (Springer)     9780857290755    6,050.
*265  Fomin,F.V./Kratsch,D:
       Exact Exponential Algorithms.
           (Texts in Theoretical Computer Sciences. An EATCS Series)
             2010	204 pp.
             (Springer)     9783642165320    9,510.
 266  Foresti,S. :
       Preserving Privacy in Data Outsourcing.
           (Advances in Information Security, Vol. 51)
             Dec. 2010	200 pp.
             (Springer)     9781441976581   12,970.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*267  Gallier,J. :
       Discrete Mathematics.
           (Universitext)
             Mar. 2011	490 pp.
             (Springer)     9781441980465   10,370.
*268  Gilbert,G./Hamrick,M./Weinstein,Y.:詳報掲載
       Quantum Cryptography.
             Apr. 2011	250 pp.
             (World Sci.)   9789812839343   10,910.
*269  Maitra,S. :
       Boolean Functions: 
        Cryptographic and Combinatorial Properties. 
           (Series on Coding Theory and Cryptology)
             Apr. 2011	420 pp.
             (World Sci.)   9789814327138   12,150.
 270  Marti,R./Reinelt,G.:詳報掲載
       The Linear Ordering Problem: 
        Exact and Heuristic Methods in Combinatorial Optimization. 
           (Applied Mathematical Sciences, Vol. 175)
             Feb. 2011	170 pp.
             (Springer)     9783642167287   13,830.
*271  Szeliski,R. :
       Computer Vison: Algorithms and Applications.
           (Texts in Computer Science)
             Nov. 2010	812 pp.
             (Springer)     9781848829343   12,970.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*272  Thomas,G./Jeyanthi,A.:
       Cryptography, Automata and Learning Theory.
             Dec. 2010	300 pp.
             (Narosa)       9788184870497   12,270.
 273  Yan,S.:
       Quantum attacks on Publick-Key Cryptosystems.
             Dec. 2010	215 pp.
             (Springer)     9781441977212   12,700.