Book News 443号
8.計算機科学



*260  Bayro-Corrochano,E./Scheuermann,G.(eds.):
       Geometric Algebra Computing: 
        In Engineering and Computer Science. 
             June 2010	540 pp.
             (Springer)     9781849961073   22,430.
*261  Blume,M./Kobayashi Naoki/Vidal,G.(eds.):
       Functional and Logic Programming: 
        10th Int'l Symposium, FLOPS 2010, Sendai. 
           (Lecture Notes in Computer Science, Vol. 6009)
             Mar. 2010	355 pp.
             (Springer)     9783642122507   10,100.
 262  Cliff,S./Drysdale,R.:
       Discrete Mathematics for Computer Science.
             Mar. 2010	648 pp.
             (Prentice Hall) 9780132122719   13,180.
 263  Cooper,B.:
       Computability Theory, 2nd ed.
           (Chapman Hall /CRC Mathematics Series)
             Nov. 2010	506 pp.
             (Chapman & Hall) 9781439838433    7,380.
*264  Escobar,S.(ed.) :
       Functional and Constraint Logic Programming: 
        18th Int'l Workshop, WFLP 2009, Brasilia. 
           (Lecture Notes in Computer Science, Vol. 5979)
             Apr. 2010	179 pp.
             (Springer)     9783642119989    8,600.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*265  Falmagne,J.-C./Doignon,J.-P.:
       Learning Spaces: Interdisciplinary Applied Mathematics.
             June 2010	400 pp.
             (Springer)     9783642010385   18,690.
*266  Fornasier,M.:
       Theoretical Foundations 
        and Numerical Methods for Sparse Revovery. 
           (Radon Series on Computational & Applied Mathematics, Vol. 9)
             July 2010	450 pp.
             (de Gruyter)   9783110226140   26,170.
*267  Grillmeyer,O.:
       Exploring Computer Science with Scheme, 2nd ed.
             June 2010	580 pp.
             (Springer)     9780387766249   11,520.
*268  Kilmer,M./O'Leary,D.(eds.):詳報掲載
       G.W.Stewart: Selected Works with Commentaries.
           (Contemporary Matheamticians)
             July 2010	760 pp.
             (Birkhauser)   9780817649678   28,970.
*269  Loera,J./Rambau,J./Santos Leal,F.:
       Triangulations: Structures for Algorithms and Applications.
           (Algorithms and Computation in Mathematics, Vol. 25)
             Aug. 2010	500 pp.
             (Springer)     9783642129704   28,040.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*270  Maimon,O./Rokach,L.(eds.):
       Data Mining and Knowledge Discovery Handbook.
             Apr. 2010	1000 pp.
             (Springer)     9780387098227   38,740.
*271  Pieprzyk,J.(ed.) :
       Topics in Cryptology -CT-RSA 2010: 
        The 10th Cryptographers's Track at  
         the RSA Conference 2010, San Francisco. 
           (Lecture Notes in Computer Science, Vol. 5985)
             Feb. 2010	397 pp.
             (Springer)     9783642119248   11,590.
*272  Roscoe,A.:
       Understanding Concurrent Systems.
           (Texts in Computer Science)
             May 2010	450 pp.
             (Springer)     9781848822573    9,340.
*273  Roscoe,A./Jones,C./Wood,K.(eds.):
       Reflections on the Work of C. A. R. Hoare.
           (History of Computing)
             July 2010	444 pp.
             (Springer)     9781848829114   18,690.
 274  Stankovic,R./Astola,J.:
       From Boolean Logic to 
        Switching Circuits and Automata:  
	  Towards Modern Information Technology. 
           (Studies in Computational Intelligence, Vol. 278)
             May 2010	150 pp.
             (Springer)     9783642116810   18,690.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*275  Wang,Z.:詳報掲載
       Topological Quantum Computation.
           (CBMS Regional Conference Series in Mathematics, Vol. 112)
             May 2010	115 pp.
             (A.M.S.)       9780821849309    4,660.
*276  Williams,C.:
       Explorations in Quatum Computing, 2nd ed.
           (Texts in Computer Science)
             May 2010	693 pp.
             (Springer)     9781846288869   14,950.