Book News 441号
8.計算機科学



*208  Abrial,J./Glasser,U.(eds.):
       Rigorous Methods for 
        Software Construction and Analysis: 
         Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday. 
           (Lecture Notes in Computer Science, Vol. 5115)
             22002	235 pp.
             (Springer)     9783642114465    9,110.
*209  Accardi,J./Freudenberg,W./Ohya Masanori (eds.):
       Quantum Bio-Informatics III: 
        From Quantum Information to Bio-Informatics, 
         Tokyo University of Science, 2009. 
           (QP-PQ: Quantum Probability and White Noise Analysis, Vol. 26)
             Jan. 2010	512 pp.
             (World Sci.)   9789814304054   21,800.
 210  Anshakov,O./Gergely,T.:
       Cognitive Reasoning: A Formal Approach.
           (Cognitive Technologies)
             Jan. 2010	433 pp.
             (Springer)     9783540430582    9,790.
 211  Berthe,V./Rigo,M.(eds.):詳報掲載
       Combinatorics, Automata, and Number Theory.
           (Encyclopedia of Mathematics and its Applications, Vol. 135)
             Aug. 2010	550 pp.
             (Cambridge)    9780521515979   14,780.
*212  Bokulich,A.(ed.):
       Philosophy of Quantum Information and Entaglement.
             Feb. 2010	352 pp.
             (Cambridge)    9780521898768   12,540.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 213  Crama,Y./Hammer,P.(eds.):詳報掲載
       Boolean Functions, Vol. 2: Applications.
           (Encyclopedia of Mathematics and its Applications, Vol. 134)
             May 2010	748 pp.
             (Cambridge)    9780521847520   17,160.
 214  Doberkat,E.-E.:詳報掲載
       Stochastic Coalgebric Logic.
           (Monographs in Theoretical Computer Science. An EATCS)
             Nov. 2009	231 pp.
             (Springer)     9783642029943   15,830.
 215  Gabbrielli,M./Martini,S.:
       Programming Languages.
           (Undergraduate Topics in Computer Science)
             Feb. 2010	450 pp.
             (Springer)     9781848829138    6,920.
*216  I.E.E.E.:
       LICS 2009: Annual Symposium on Logic in Computer Science.
           (Annual Symposium on Logic in Computer Science, Vol. 24)
             Jan. 2010	438 pp.
             (I.E.E.E.)     9781424446452   29,870.
 217  Ling,S./Wang,H./Xing,C.:
       Algebraic Geometry in Cryptography.
           (Discrete Mathematics and Its Applications)
             Apr. 2010	356 pp.
             (Chapman & Hall) 9781420079463   13,340.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 218  Todorcevic,S.:詳報掲載
       Introduction to Ramsey Spaces.
           (Annals of Mathematics Studies, Vol. 174)
             July 2010	296 pp.
             (Princeton Univ.) 9780691145419    9,080.
 219  Todorcevic,S.:詳報掲載
       Introduction to Ramsey Spaces.  (Paper ed.)
           (Annals of Mathematics Studies, Vol. 174)
             July 2010	296 pp.
             (Princeton Univ.) 9780691145426    4,560.
*220  Wolter,K.:
       Stochastic Models for Fault Tolerance: 
        Restart, Rejuvenation and Checkpointing. 
             Feb. 2010	220 pp.
             (Springer)     9783642112560   15,830.
*221  Youm,H./Yung,M.(ed.):
       Informaion Security Applications: 
        10th International Workshop, WISA 2009, Busan, 2009. 
           (Lecture Notes in Computer Science, Vol. 5932)
             Jan. 2010	386 pp.
             (Springer)     9783642108372   12,280.