Book News 439号
8.計算機科学
248 Arai,T.et al.:
Proceedings of the 10th Asian Logic Conference:
Kobe, Japan, September 2008.
Nov. 2009 360 pp.
(World Sci.) 9789814293013 14,580.
249 Bauer,F.:
Origins and Foundations of Computing.
Nov. 2009 140 pp.
(Springer) 9783642029912 6,650.
250 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 13,280.
*251 Chenm,W.-K.(ed.) :
Computer Aided Design and Design Automation, 3rd ed.
June 2009 422 pp.
(C R C Press) 9781420059182 13,970.
*252 Crama,Y./Hammer,P.(eds.):詳報掲載
Boolean Functions, Vol. 2: Applications.
(Encyclopedia of Mathematics and its Applications, Series)
May 2010 748 pp.
(Cambridge) 9780521847520 17,160.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
253 Cugliandolo,L./Jacobsen,J./Ouvry,S./Pasquier,V./Serban,D.(eds.):
Exact Methods in
Low-Dimensional Statistical Physics and Quantum Computing:
Lecture Notes of the Les Houches Summer School: Volume 89, 2008.
Feb. 2010 664 pp.
(Oxford) 9780199574612 9,160.
*254 Davenport,H.:
On the Integration of Algebraic Functions. (Print on Demand)
(Lecture Notes in Computer Science, Vol. 102)
1981 197 pp.
(Springer) 9783540102908 2,260.
*255 Doberkat,E.-E.:詳報掲載
Stochastic Coalgebric Logic.
(Monographs in Theoretical Computer Science. An EATCS Series)
Nov. 2009 231 pp.
(Springer) 9783642029943 16,150.
*256 Dybvig,K./Flatt,M./Sperber,M./van Straaten,A.(eds.):
Revised [6] Report on the Algorithmic Language Scheme.
Dec. 2009 320 pp.
(Cambridge) 9780521193993 13,070.
257 Engesser,K./Gabbay,D./Lehmann,D.(eds.):
Handbook of Quantum Structures, Vol. 3: Quantum Computing.
May 2010 ....
(North Holland) 9780444528711 29,700.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
258 Gabbay,D./Schlechta,K.:
Logical Tools for Handling Change in Agent-Based Systems.
Dec. 2009 280 pp.
(Springer) 9783642044069 15,140.
*259 Gay,S./Mackie,I.(eds.):
Semantic Techniques in Quantum Computation.
Feb. 2010 496 pp.
(Cambridge) 9780521513746 11,880.
*260 Kaeslin,H.:
Digital Integrated Circuit Desgn:
From VLSI Architectures to CMOS Fabrication.
Apr. 2009 483 pp.
(Cambridge) 9780521882675 12,670.
*261 Kok,P/Lovett,B.:
Introduction to Optical Quantum Information Processing.
Apr. 2010 440 pp.
(Cambridge) 9780521519144 10,560.
262 Kollmitzer,C./Pivk,M.(eds.) :
Applied Quantum Cryptography.
(Lecture Notes in Physics, Vol. 797)
Jan. 2010 230 pp.
(Springer) 9783642048296 12,110.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
*263 Kornerup,P./Matula,D.:
Finite Precision Numbers Systems and Arithmetic.
(Encyclopedia of Mathematics and its Applications, Vol. 133)
Sep. 2010 ....
(Cambridge) 9780521761352 16,500.
*264 Lerman,M.:詳報掲載
A Framework for Priority Arguments.
(Lecture Notes in Logic, Series)
Mar. 2010 176 pp.
(Cambridge) 9780521119696 9,240.
*265 Mista,T.:
Temporal Data Mining.
(Data Mining and Knowledge Discovery)
Feb. 2010 200 pp.
(C R C Press) 9781420089769 11,450.
*266 Nilsson,N.:
The Quest for Artificial Intelligence.
Oct. 2009 584 pp.
(Cambridge) 9780521116398 15,840.
*267 Nilsson,N.:
The Quest for Artificial Intelligence. (Paper ed.)
Oct. 2009 584 pp.
(Cambridge) 9780521122931 5,280.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
268 Paar,C./Pelzl,J.:詳報掲載
Understanding Cryptography:
A Textbook for Students and Practitioners.
Jan. 2010 372 pp.
(Springer) 9783642041006 7,060.
*269 Pole,D./Mackworth,A.:
Artificial Intelligence:
Foundations of Computational Agents.
Mar. 2010 712 pp.
(Cambridge) 9780521519007 11,220.
*270 Schumacher,B./Westmoreland,M.:
Quantum Processes, Systems, and Infromation.
Feb. 2010 440 pp.
(Cambridge) 9780521875349 9,900.
*271 Shen,A.:
Algorithms and Programming: Problems and Solutions, 2nd ed.
(Springer Undergraduate Series in Matehmatics and Technology)
Apr. 2010 285 pp.
(Springer) 9781441917478 10,090.
*272 Sims,C.:詳報掲載
Computation with Finitely Presnted Groups.
(Now in Paperback ed.)
(Encyclopedia of Mathematics and Its Applications, Vol. 48)
May 2011 620 pp.
(Cambridge) 9780521135078 7,920.
／注文方法／ボタンの ／ 目次へ ／ ページトップへ
273 Stanoevska-Slabeva,K./Wozniak,T./Ristol,S.(eds.) :
Grid and Cloud Computing:
A Business Perspective on Technology and Applications.
Nov. 2009 274 pp.
(Springer) 9783642051920 10,090.
*274 Tanaka-Ishii,K.:
Semiotics of Programming.
Feb. 2010 232 pp.
(Springer) 9780521516556 .....
*275 Tanaka-Ishii,K.:
Semiotics of Programming. (Paper ed.)
Feb. 2010 232 pp.
(Cambridge) 9780521736275 .....
*276 Taur,Y./Ning,T.:
Fundamentals of Modern VLSI Devices, 2nd ed.
Aug. 2009 680 pp.
(Cambridge) 9780521832946 11,880.
*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.