Book News 418号
8.計算機科学
*231 Aczel,P./Simmons,H./Wainer,S.:
Proof Theory
A selection of papers from the Leeds Proof Theory
Programme 1990.
(Now in Paperback ed.)
June 2008 316 pp.
(Cambridge) 9780521054164 7,590.
*232 Ahlswede,R./Blinovsky,V.:詳報掲載
Lectures on Advances in Combinatorics.
(Universitext)
June 2008 310 pp.
(Springer) 9783540786016 9,590.
*233 Bennedsen,J./Caspersen,M./Kolling,M.(eds.):
Reflections on the Teaching of Programming.
(Lecture Notes in Computer Science, Vol. 4821)
Mar. 2008 295 pp.
(Springer) 9783540779339 9,480.
*234 Chaumine,J./Hirschfeld,J./Rolland,R.(eds.):詳報掲載
Algebraic Geometry and Its Applications
Dedicated to Gilles Lachaud on His 60th Birthday.
(Series on Number Theory and Its Applications, Vol. 5)
Aug. 2008 520 pp.
(World Sci.) 9789812793423 24,300.
*235 Chong,C.et al.(eds.):詳報掲載
Computational Prospects of Infinity, Part I: Tutorials.
(Lecture Notes Series, Insititute for Mathematical Sciences,
National University of Singapore, Vol. 14)
Nov. 2008 250 pp.
(World Sci.) 9789812796530 12,640.
／注文方法／ボタンの
*236 Chong,C.et al.(eds.):
Computational Prospects of Infinity, Part II:
Presented Talks.
(Lecture Notes Series, Insititute for Mathematical Sciences,
National University of Singapore, Vol. 15)
Nov. 2008 400 pp.
(World Sci.) 9789812796547 15,880.
*237 Diederich,J.(ed.):
Rule Extraction From Support Vector Machines.
(Studies in Computational Intelligence, Vol. 80)
Jan. 2008 262 pp.
(Springer) 9783540753896 23,990.
238 Esparza,J./Heljanko,K.:
Unfoldings: A Partial-Order Approach to Model Checking.
(Monographs in Theoretical Computer Science. An EATCS Series)
Mar. 2008 172 pp.
(Springer) 9783540774259 13,190.
*239 Furht,B.(ed.):
Encyclopedia of Multimedia, 2nd ed.
Sep. 2008 1010 pp.
(Springer) 9780387747248 95,760.
*240 Hammer,B./Hitzler, P.(eds.):
Perspectives of Neural-Symbolic Integration.
(Studies in Computational Intelligence, Vol. 77)
Jan. 2008 320 pp.
(Springer) 9783540739531 31,190.
／注文方法／ボタンの
*241 Hoffstein,J./Pipher,J./Silverman,.J.:
An Introduction to Mathematical Cryptography.
(Undergraduate Texts in Mathematics)
Aug. 2008 550 pp.
(Springer) 9780387779935 9,240.
*242 Johnson,J.:詳報掲載
Probability and Statistics for Computer Sceince.
May 2008 760 pp.
(Wiley) 9780470383421 15,380.
243 Kroening,D./Strichman,O.:
Decision Procedures: An Algorithmic Point of View.
(Texts in Theoretical Computer Sciences. An EATCS Series)
Feb. 2008 335 pp.
(Springer) 9783540741046 11,990.
*244 Matousek,J./Nesetril,J.:詳報掲載
An Invitation to Discrete Mathematics.
June 2008 456 pp.
(Oxford) 9780198570431 24,150.
*245 Matousek,J./Nesetril,J.:詳報掲載
An Invitation to Discrete Mathematics. (Paper ed.)
June 2008 456 pp.
(Oxford) 9780198570424 10,950.
／注文方法／ボタンの
*246 Medina,R./Obiedkov,S.(eds.):
Formal Concept Analysis: 6th ICFCA 2008, Montreal.
(Lecture Notes in Computer Science, Vol. 4933)
Mar. 2008 325 pp.
(Springer) 9783540781363 11,520.
247 Nagamochi Hiroshi /Ibaraki Toshihide:詳報掲載
Algorithmic Aspects of Graph Connectivities.
(Encyclopedia of Mathematics and its Applications, Vol. 123)
July 2008 352 pp.
(Cambridge) 9780521878647 .....
248 Nakahara Mikio/Ohmi Tetsuo:
Quantum Computing
From Linear Algebra to Physical Realizations.
Mar 2008 440 pp.
(I.O.P.) 9780750309837 13,520.
*249 Popescu-Belis,A./Renals,S./Bourlard,H.(eds.):
Machine Learning for Multimodal Interaction
4th MLMI 2007, Brno.
(Lecture Notes in Computer Science, Vol. 4892)
Mar. 2008 308 pp.
(Springer) 9783540781547 11,520.
*250 Preisach,C.et al.(eds.):詳報掲載
Data Analysis, Machine Learning and Applications
Proceedings of the Annual Conference.
(Studies in Classification, Data Anaqlysis, and Knowledge Organization)
Apr. 2008 750 pp.
(Springer) 9783540782391 31,190.
／注文方法／ボタンの
251 Richardson,T./Urbanke,R.:
Modern Coding Theory.
Mar. 2008 560 pp.
(Cambridge) 9780521852296 12,410.
*252 Satoh,K./Inokuchi,A./Nagano,K./Kawamura,T.(eds.):
New Frontiers in Artificial Intelligence
JSAI 2007 Conference and Workshops, Miyazaki.
(Lecture Notes in Computer Science, Vol. 4914)
Mar. 2008 404 pp.
(Springer) 9783540781967 13,440.
253 Song,X./Osterwiel,L.:
Software Design Methods: Analysis and Reasoning.
Mar. 2008 256 pp.
(Oxford/USA) 9780195103366 7,290.
*254 Stoltenberg-Hansen,V./Lindstrom,I./Griffor,E.:
Mathematical Theory of Domains. (Now in Paperbac ed.)
June 2008 361 pp.
(Cambridge) 9780521064798 8,760.
*255 Tao,R.:
Finite Automata and Application to Cryptography.
June 2008 350 pp.
(Springer) 9783540782568 38,160.
／注文方法／ボタンの
*256 Tokunaga,T./Ortega,A.(eds.):
Large-Scale Knowledge Resources: 3rd LKR 2008, Tokyo.
(Lecture Notes in Computer Science, Vol. 4938)
Mar. 2008 367 pp.
(Springer) 9783540781585 12,480.
257 Vince,J.:詳報掲載
Geometric Algebra for Computer Graphics.
Apr. 2008 345 pp.
(Springer) 9781846289965 16,790.
258 Washington,L.:詳報掲載
Elliptic Curves: Number Theory and Cryptography, 2nd ed.
(Discrete Mathematics and Its ApplicationsVol. 50)
Apr. 2008 536 pp.
(Chapman & Hall) 9781420071467 16,100.
259 Yanofsky,N./Mannucci,M.:
Quantum Computing for Computer Scientists.
June 2008 ....
(Cambridge) 9780521879965 10,220.
*260 de Berg,M.et al.:
Computational Geometry: Algorithms and Applications, 3rd ed.
Mar. 2008 380 pp.
(Springer) 9783540779735 8,390.
／注文方法／ボタンの