Book News 462号
8.計算機科学



*245  Brunnler,K./Metcalfe,G.:
       Automated Reasoning with 
        Analytic Tableaux and Related Methods: 
         20th Int'l Conference, TABLEAUX 2011, Bern. 
           (Lecture Notes in Artificial Intelligence, Vol. 6793)
             Nov. 2011	279 pp.
             (Springer)     9783642221187    7,360.
*246  Dong,L./Chen,K.:
       Cryptographic Protocol: 
        Security Analysis Based on Trusted Freshness. 
             Jan. 2012	250 pp.
             (Springer)     9783642240720   19,190.
 247  Escalante,R./Raydan,M.:
       Alternating Projection Methods.
           (Fundamentals of Algorithms)
             Dec. 2011	140 pp.
             (Cambridge)    9781611971934    6,300.
 248  Jukna,S.:詳報掲載
       Boolean Function Complexity: Advances and Frontiers.
           (Algorithms and Combinatorics, Vol. 27)
             Dec. 2011 << Jan. 2012	621 pp.
             (Springer)     9783642245077   10,390.
 249  Loginov,O./Salnikov,A./Yashchenko,V.:詳報掲載
       Boolean Functions in Coding Theory and Cryptography.
           (Translations of Mathematical Monographs, Vol. 241)
             Feb. 2012	335 pp.
             (A.M.S.)       9780821846803   14,960.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 250  Ludge,K./Schuster,G.:
       Nonlinear Laser Dynamics: From Quantum Dots to Cryptography.
           (Annual Reviews of Nonlinear Dynamics and Complexity)
             Dec. 2011	412 pp.
             (Wiley-VCH)    9783527411009   15,660.
*251  Meyers,R.(ed.):詳報掲載
       Computational Complexity: 
        Theory, Techniques, and Applications. 5 Vols. Set 
             Nov. 2011	3492 pp.
             (Springer)     9781461417996  177,600.
 252  Plotz,T./Fink,G.:
       Markov Models for Handwriting Recognition.
           (SpringerBries in Computer Sciences)
             Sep. 2011	78 pp.
             (Springer)     9781447121879    6,390.
*253  Rogaway,P.(ed.):
       Advances in Cryptology -- CRYPTO 2011:
        31st Annual Cryptology Conference, Santa Barbara, 2011. 
           (Lecture Notes in Computer Science, Vol. 6841)
             Oct. 2011	782 pp.
             (Springer)     9783642227912   13,920.
*254  Sangiorgi,D./Rutten,J.(eds.):
       Advanced Topics in Bisimulation and Coinduction.
           (Cambridge Tracts in Theoretical Computer Science, Vol. 52)
             Oct. 2011	326 pp.
             (Cambridge)    9781107004979   10,390.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 255  Smith,S.-M.:
       Discrete Mathematics with Ducks.
             July 2012	500 pp.
             (C R C Press)  9781466504998    7,470.
*256  Stix,J.(ed.):
       The Arithmetic of Fundamental Groups: PIA 2010.
           (Contributions in Mathematical and Computational Sciences, Vol. 2)
             Dec. 2011	380 pp.
             (Springer)     9783642239045   17,590.
*257  vanDongen,M.:
       LaTeX and Friends.
             Feb. 2012	330 pp.
             (Springer)     9783642238154    7,990.