Book News 440号
8.計算機科学
*261 Ahson,S./Ilyas,M.:
Cloud Computing and Software Services.
Mar. 2010 400 pp.
(C R C Press) 9781439803158 14,330.
*262 Anshakov,O./Gergely,T.:
Cognitive Reasoning: A Formal Approach.
(Cognitive Technologies)
Jan. 2010 433 pp.
(Springer) 9783540430582 19,890.
263 Arai,T./Brendle,J./Kikyo,H./Chong,C./Downey,R./Feng,Q./Ono,H.:
Proceedings of the 10th Asian Logic Conference:
Kobe, Japan, September 2008.
Nov. 2009 360 pp.
(World Sci.) 9789814293013 14,690.
*264 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.
265 Bremner,M.:詳報掲載
Lattice Basis Reduction:
An Introduction to the LLL Algorithm and Its Applications.
(Pure and Applied Mathematics, Vol. ***)
Dec. 2010 250 pp.
(C R C Press) 9781439807026 12,990.
/注文方法/ボタンの / 目次へ / ページトップへ
*266 Cao,L./Yu,P./Zhang,C./Zhao,Y.:
Domain Driven Data Mining.
Feb. 2010 248 pp.
(Springer) 9781441957368 15,910.
267 Crama,Y./Hammer,P.(eds.):詳報掲載
Boolean Functions, Vol. 2: Applications.
(Encyclopedia of Mathematics and its Applications, Vol. ***)
May 2010 748 pp.
(Cambridge) 9780521847520 17,160.
*268 Dignum,F./Bradshaw,J./Silverman,B./van Doesburg,W.(eds.):
Agents for Games and Simulations:
Trends in Techniques, Concepts and Design.
(Lecture Notes in Computer Science, Vol. 5920)
Jan. 2010 273 pp.
(Springer) 9783642111976 9,150.
269 Doberkat,E.-E.:詳報掲載
Stochastic Coalgebric Logic.
(Monographs in Theoretical Computer Science. An EATCS Series)
Nov. 2009 231 pp.
(Springer) 9783642029943 15,910.
270 Gabbay,D./Schlechta,K.:
Logical Tools for Handling Change in Agent-Based Systems.
Nov. 2009 369 pp.
(Springer) 9783642044069 14,910.
/注文方法/ボタンの / 目次へ / ページトップへ
*271 Gabbrielli,M./Martini,S.:
Programming Languages.
(Undergraduate Topics in Computer Science)
Feb. 2010 450 pp.
(Springer) 9781848829138 6,950.
272 Gay,S./Mackie,I.(eds.):
Semantic Techniques in Quantum Computation.
Feb. 2010 496 pp.
(Cambridge) 9780521513746 11,880.
273 Kornerup,P./Matula,D.:詳報掲載
Finite Precision Numbers Systems and Arithmetic.
(Encyclopedia of Mathematics and its Applications, Vol. 133)
Sep. 2010 700 pp.
(Cambridge) 9780521761352 16,500.
*274 Ling,S./Wang,H./Xing,C.:
Algebraic Geometry in Cryptography.
(Discrete Mathematics and Its Applications)
Apr. 2010 356 pp.
(Chapman & Hall) 9781420079463 11,190.
*275 Parker,M.(ed.):
Cryptography and Coding:
12th 12th IMA Int'l Conference, IMACC 2009, Cirencester.
(Lecture Notes in Computer Science, Vol. 5921)
Dec. 2009 495 pp.
(Springer) 9783642108679 13,930.
/注文方法/ボタンの / 目次へ / ページトップへ
*276 Roy,B./Sendrier,N.(eds.) :
Progress in Cryptology-Indocrypt 2009:
10th Int'l Conference on Cryptology in India, New Delhi.
(Lecture Notes in Computer Science, Vol. 5922)
Dec. 2009 443 pp.
(Springer) 9783642106279 12,240.
277 Todorcevic,S.:詳報掲載
Introduction to Ramsey Spaces.
(Annals of Mathematics Studies, Vol. 174)
July 2010 296 pp.
(Princeton Univ.) 9780691145419 8,880.
278 Todorcevic,S.:詳報掲載
Introduction to Ramsey Spaces. (Paper ed.)
(Annals of Mathematics Studies, Vol. 174)
July 2010 296 pp.
(Princeton Univ.) 9780691145426 4,460.
*279 Zeng,G.:
Quantum Private Communication.
(Jointly published with Higher Education Press)
Feb. 2010 380 pp.
(Springer) 9783642032950 17,900.