Book News 464号
8.計算機科学



*232  A.A.A.I.:
       AAAI-11: IAAI-11, EAAI 11: Proceedings.   2 Vols. Set
           (Proceedings of the National Conference on Artificial intelligence, Vol. 25)
             Dec. 2011	1898 pp.
             (AAAI Press)   9781577355076   39,900.
*233  Biemann,C.:
       Structure Discovery in Natural Language.
           (Theory and Applications of Natural Language Processing)
             Dec. 2011	179 pp.
             (Springer)     9783642259227   12,470.
*234  Blum,E./Aho,A.(eds.):
       Computer Science: The Hardware, Software and Heart of It.
             Dec. 2011	426 pp.
             (Springer)     9781461411673   12,470.
 235  Cao,Z.:
       New Directions of Modern Cryptography.
             Nov. 2012	260 pp.
             (Chapman & Hall) 9781466501386   12,030.
 236  Galbraith,S.:
       The Mathematics of Public Key Cryptography.
             Jan. 2012<(Cambridge)    9781107013926    7,280.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 237  Gordon,G./Mcnulty,J.:詳報掲載
       Matroids: A Geometric Introduction.
             Aug. 2012	250 pp.
             (Cambridge)    9780521767248     .....
 238  Gordon,G./Mcnulty,J.:
       Matroids: A Geometric Introduction.  (Paper ed.)
             Aug. 2012	250 pp.
             (Cambridge)    9780521145688     .....
*239  Kaufmann,M./Paulson,L.(eds.):
       Interactive Theorem Proving: 
        First Int'l Conference, ITP 2010 Edinburgh. 
           (Lecture Notes in Computer Science, Vol. 6172)
             2010	495 pp.
             (Springer)     9783642140518   10,920.
*240  Laub,A.:
       Computational Matrix Analysis.
             Apr. 2012	156 pp.
             (S.I.A.M.)     9781611972207     .....
*241  Li,X./Sun,Y.:
       Rainbow Connections of Graphs.
           (SpringerBriefs in Mathematics)
             Apr. 2012	99 pp.
             (Springer)     9781461431183    7,790.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*242  Naumann,U.:
       The Art of Differentiating Computer Programs.
             Dec. 2011	340 pp.
             (S.I.A.M.)     9781611972061    9,860.
*243  Nesetril,J./OssonadeMendez,P.:
       Sparsity: Graphs, Structures, and Algorithms.
           (Algorithms and Combinatorics, Vol. 28)
             Apr. 2012	466 pp.
             (Springer)     9783642278747   14,030.
*244  Preneel,B./TakagiTsuyoshi(eds.):
       Cryptographic Hardware and Embedded Systems 
        ---CHES 2011: 13th Int'l Workshop, Nara. 
           (Lecture Notes in Computer Science, Vol. 6917)
             Nov. 2011	524 pp.
             (Springer)     9783642239502   10,920.
*245  Schreck,P./Narboux,J./Richter-Gebert,J.(eds.):
       Automated Deduction in Geometry: 
        8th Int'l Workshop, ADG 2010, Munich. 
           (Lecture Notes in Artificial Intelligence, Vol. 6877)
             Dec. 2011	259 pp.
             (Springer)     9783642250699    7,180.
*246  Shapira,Y.:
       Solving Pdes in C++: 
        Numerical Methods in a Unified Object-Oriented Approach, 2nd ed. 
             June 2012	765 pp.
             (S.I.A.M.)     9781611972160     .....
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

*247  Simari,G./Parsons,S.:
       Markov Decision Processes and the 
        Belief-Desire-Intention Model: 
         Bridging the Gap for Autonomous Agents. 
           (SpringerBriefs in Computer Science)
             Nov. 2011	63 pp.
             (Springer)     9781461414711    6,230.
 248  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,150.
*249  VanEekelen,M./Geuvers,H./Schmaltz,J./Wiedijk,F.(eds.):
       Interactive Theorem Proving: 
        Second Int'l Conference, ITP 2010 Edinburgh. 
           (Lecture Notes in Computer Science, Vol. 6898)
             2011	383 pp.
             (Springer)     9783642228629    8,420.
*250  Walsh,T.(ed.):
       International Joint Conference on 
        Artificial Intelligence, 22: IJCAI -11.        3 Vols. Set 
           (International Joint Conference on Artificial intelligence, Vol. 22)
             Dec. 2011	2888 pp.
             (IJCAI)        9781577355120   57,050.
*251  Yang,X./Yang,J.:
       Incomplete Information System and Rough Set Theory: 
        Models and Attribute Reductions.  
             Feb. 2012	225 pp.
             (Springer)     9783642259340   12,470.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ

 252  Zhang,C.-Q.:
       Circuit Double Cover of Graphs.
           (London Mathematical Society Lecture Note Series, Vol. 399)
             Apr. 2012	375 pp.
             (Cambridge)    9780521282352    7,490.