Book News 451号
8.計算機科学



*255  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,500.
*256  Bidgoli,H.(ed.) :
       The Handbook of Technology Management.  3 Vols. Set
             Jan. 2010	3008 pp.
             (Wiley)        9780470249505  112,500.
*257  Chakraborty,S./Sarkar,B.:
       Discrete Mathematics.
             Mar. 2011	552 pp.
             (Oxford)       9780198065432    3,060.
*258  Cremers,C./Mauw,S. :
       Operational Semantics 
        and Verification of Security Protocols. 
           (Information Security and Cryptography)
             Feb. 2011	200 pp.
             (Springer)     9783540786351    9,400.
 259  Dowek,G./Levy,J. :
       Introduction to the Theory of Programming Languages.
           (Undergraduate Topics in Computer Science)
             Jan. 2011	118 pp.
             (Springer)     9780857290755    5,980.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*260  Engels,G./Lewerentz,C./Schafer,W./Schurr,A./Westfechtel,B.(eds.):
       Graph Transformations 
        and Model-Driven Engineering: 
         Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. 
           (Lecture Notes in Computer Science, Vol. 5765)
             Nov. 2010	768 pp.
             (Springer)     9783642173219   14,880.
 261  Gilbert,G./Hamrick,M./Weinstein,Y.:詳報掲載
       Quantum Cryptography.
             Apr. 2011	250 pp.
             (World Sci.)   9789812839343   11,000.
*262  Goldman,R.:
       Rethinking Quaternions: Theory and Practice.
           (Synthesis Lectures on Computer Graphics and Animation)
             Oct. 2010	100 pp.
             (Morgan & Claypool) 9781608454204    5,620.
*263  Jansen,T. :
       Analyzing Evolutionary Algoritms: 
        The Computer Science Perspective. 
           (Natural Computing Series)
             Apr. 2011	240 pp.
             (Springer)     9783642173387    9,400.
*264  Japkowicz,N./Shah,M.:詳報掲載
       Evaluating Learning Algorithms: A Classifiction Perspective.
             Dec. 2010	432 pp.
             (Cambridge)    9780521196000   10,170.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*265  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,960.
*266  Kaci,S.:
       Working with Preferences: Less Is More.
           (Cognitive Technologies)
             Mar. 2011	190 pp.
             (Springer)     9783642172793   13,670.
*267  Knudsen,L./Robshaw,M.:
       The Block Cipher Companion.
           (Information Security and Cryptography)
             Apr. 2011	280 pp.
             (Springer)     9783642173417    9,400.
*268  Kopetz,H. :
       Real-Time Systems: 
        Design Principles for Distributed Embedded Applications, 2nd ed. 
           (Real-Time Systems Series, Vol. 25)
             Mar. 2011	390 pp.
             (Springer)     9781441982360   11,450.
*269  Koshy,T.:
       Triangular Arrays with Applications.
             Mar. 2011	408 pp.
             (Oxford)       9780199742943   16,320.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*270  Lavington,S. :
       Moving Targets: 
        Elliott-Automation and the Dawn of the Computer Age in Britain, 1947 -67. 
           (History of Computing)
             Feb. 2011	300 pp.
             (Springer)     9781848829329   13,670.
*271  Mahdavi,K./Koslover,D./Brown,III, L.(eds.):詳報掲載
       Cross Disciplinary Advances in Quantum Computing.
           (Contemporary Mathematics, Vol. 536)
             Mar. 2011	152 pp.
             (A.M.S.)       9780821849750    7,370.
*272  Mansourov,N./Campara,D.:
       System Assurance: Beyond Detecting Vulnerabilities.
           (The MK/OMG Press, Series)
             Dec. 2010	368 pp.
             (Kaufmann)     9780123814142    7,500.
*273  Mazzola,G. :
       Musical Performance: A Comprehensive Approach; 
        Theory, Analytical Tools, and Case Studies. 
           (Computational Music Science)
             Nov. 2010	278 pp.
             (Springer)     9783642118371   13,670.
*274  Nielsen,M./Chuang,I.:
       Quantum Computation and Quantum Information: 
        10th Anniversary Edition. 
             Jan. 2011	708 pp.
             (Cambridge)    9781107002173    8,470.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 275  Olive,J./Christianson,C./McCary,J.(eds.):
       Handbook of 
        Natural Language Processing and Machine Translations: 
         DARPA Global Autonomous Language Exploitation. 
             Dec. 2010	900 pp.
             (Springer)     9781441977120   25,640.
*276  Sannella,D./Tarlecki,A.:詳報掲載
       Foundations of Algebraic Specification 
        and Formal Software Development. 
           (Monographs in Theoretical Computer Science. An EATCS Series)
             Mar. 2011	480 pp.
             (Springer)     9783642173356   17,090.
*277  Sarbo,J./Farkas,J./van Breemen,A.:
       Knowledge in Formation: 
        A Computational Theory of Interpretation. 
           (Cognitive Technologies)
             Feb. 2011	220 pp.
             (Springer)     9783642170881   13,670.
*278  Stephens,C./Poli,R.:
       Taming the Complexity of Evolutionary Dynamics: 
        From Microscopic Models to 
         Schema Theory and Beyond. 
             Apr. 2011	480 pp.
             (Springer)     9783642173608   11,960.
 279  Thomas,G./Jeyanthi,A.:
       Cryptography, Automata and Learning Theory.
             Dec. 2010	300 pp.
             (Narosa)       9788184870497   12,370.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 280  Yan,S.:
       Quantum attacks on Publick-Key Cryptosystems.
             Dec. 2010	215 pp.
             (Springer)     9781441977212   12,550.