Book News 424号
8.計算機科学
*258 Ait Mohamed,O./Munoz,C./Tahar,S.(eds.) :
Theorem Proving in Higher Order Logics: 21st
Int'l Conference, TPHOLs 2008, Montreal.
(Lecture Notes in Computer Science, Vol. 5170)
Aug. 2008 321 pp.
(Springer) 9783540710653 11,900.
*259 Audebaud,P./Paulin-Mohring,C.(eds.):
Mathematics of Program Construction: 9th Int'l
Conference, MPC2008 Marseille.
(Lecture Notes in Computer Science, Vol. 5133)
Aug. 2008 423 pp.
(Springer) 9783540705932 13,880.
*260 Baldoni,M./Ciliberto,C./Cattaneo,G.:
Elementary Number Theory, Cryptography and Codes.
(Universitext)
Nov. 2008 600 pp.
(Springer) 9783540691990 14,860.
261 Bang-Jensen,J./Gutin,G.:詳報掲載
Digraphs: Theory, Algorithms and Applications, 2nd ed.
(Springer Monographs in Mathematics)
May 2009 810 pp.
(Springer) 9781848009974 23,310.
*262 Boolos,G.:
The Unprovability of Consistency: An Essay in
Modal Logic. (Now in Paperback ed.)
Aug. 2009 192 pp.
() 9780521092975 4,470.
／注文方法／ボタンの
263 Buhler,J./Stevenhagen,P.:
Algorithmic Number Theory: Lattices, Number
Fields, Curves and Cryptography.
(Mathematical Science Research Institute Publications, Vol. 44)
Oct. 2008 320.664 pp.
(Cambridge) 9780521808545 14,750.
*264 Calude,C./Costa,J./Freund,R./Oswald,M./Rozenberg,G.(eds.):
Unconventional Computation: 7th Int'l Conference,
UC 2008, Vienna.
(Lecture Notes in Computer Science, Vol. 5204)
Aug. 2008 259 pp.
(Springer) 9783540851936 11,160.
265 Chiswell,I.:詳報掲載
A Course in Formal Languages, Automata and Groups.
(Universitext)
Nov. 2008 170 pp.
(Springer) 9781848009394 7,940.
*266 Della Riccia,G./Dubois,G./Lenz,H./Kruse,R.(eds.) :
Preferences and Similarities.
(CISM Int'l Centre for Mechanical Sciences, Vol. 504)
Sep. 2008 330 pp.
(Springer/Wien) 9783211854310 36,950.
*267 Dube,R.:
Hardware-Based Computer Security
Techniques to Defeat Hackers:
From Biometrics to Quantum Cryptography.
Sep. 2008 256 pp.
(Wiley) 9780470193396 14,840.
／注文方法／ボタンの
*268 Emmert-Streib,F/Dehmer,M.(eds.):
Information Theory and Statistical Learning.
Nov. 2008 405 pp.
(Springer) 9780387848150 21,560.
*269 Fitzgerald,J./Haxthausen,A./Yenigun,H.(eds.):
Theoretical Aspects of Computing -ICTAC 2008:
5th Int'l Colloquium, Istanbul.
(Lecture Notes in Computer Science, Vol. 5160)
Aug. 2008 455 pp.
(Springer) 9783540857617 15,110.
270 Flajolet,P./Sedgewick,R.:詳報掲載
Analytic Combinatorics.
Nov. 2008 825 pp.
(Cambridge) 9780521898065 13,410.
*271 Galbraith,S./Paterson,K.(eds.):
Pairing-Based Cryptography -Pairing 2008:
Second Int'l Conference, London.
(Lecture Notes in Computer Science, Vol. 5209)
Sep. 2008 390 pp.
(Springer) 9783540855033 12,890.
*272 Gawiejnowicz,S.:
Time-Dependent Scheduling.
(Monographs in Theoretical Computer Science. An EATCS Series)
Sep. 2008 375 pp.
(Springer) 9783540694458 17,340.
／注文方法／ボタンの
*273 Goodman,J./Pach,J./Pollack,R.(eds.):
Twentieth Anniversary Volume:
Discrete and Computational Geometry.
Dec. 2008 212 pp.
(Springer) 9780387873626 15,610.
274 Grumbeg,Q./Veith,H.(eds.):
25 Years of Model Checking:
History, Achievements, Perspectives.
(Lecture Notes in Computer Science, Vol. 5000)
July 2008 231 pp.
(Springer) 9783540698494 6,190.
*275 Gu,X./Yau,S.-T.(eds.):詳報掲載
Computational Conformal Geometry. (DVD Included)
(Advanced Lectures in Mathematics,Vol. 3)
July 2008 295 pp.
(Int'l Press) 9781571461711 14,680.
*276 Hameurlain,A.(ed.):
Data Management in Grid and Peer-To-Peer Systems:
First Int'l Conference, Globe 2008,Turin.
(Lecture Notes in Computer Science, Vol. 5187)
Aug. 2008 121 pp.
(Springer) 9783540851752 9,420.
*277 Hardy,Y./Tan,K./Steeb,W.-H.:
Computer Algebra with Symbolic C++.
Sep. 2008 600 pp.
(World Sci.) 9789812833600 15,670.
／注文方法／ボタンの
*278 Hardy,Y./Tan,K./Steeb,W.-H.:
Computer Algebra with Symbolic C++. (Paper ed.)
Sep. 2008 600 pp.
(World Sci.) 9789812833617 8,580.
*279 Horimoto,K./Regensburger,G./Rosenkranz,M./Yoshida,H.(eds.):
Algebraic Biology: Third Int'l Conference, AB
2008, Castle of Hagenberg.
(Lecture Notes in Computer Science, Vol. 5147)
Aug. 2008 245 pp.
(Springer) 9783540851004 11,160.
*280 Jain,A./Ross,A.:
Introduction to Biometrics.
Mar. 2009 350 pp.
(Springer) 9780387773254 11,140.
*281 Jamali,N./Scerri, P./Sugawara,T.(eds.):
Massively Multi-Agent Technology: AAMAS
Workshops, MMAS 2006, LSMAS2006, and CCMMS 2007
Hakodate/Honolulu, 2007.
(Lecture Notes in Computer Science, Vol. 5043)
Aug. 2008 191 pp.
(Springer) 9783540854487 10,410.
282 Kappe,L.-C./Magidin,A./Morse,R.(eds.):詳報掲載
Computational Group Theory and the Theory of Groups.
(Contemporary Mathematics, Vol. 470)
Nov. 2008 286 pp.
(A.M.S.) 9780821843659 13,030.
／注文方法／ボタンの
*283 Kilford,L.:詳報掲載
Modular Forms: A Classical and Computational Introduction.
Aug. 2008 236 pp.
() 9781848162136 8,910.
284 Li,S.:
Markov Random Field Modeling in Image Analysis, 3rd ed.
(Advances in Pattern Recognition)
Nov. 2008 385 pp.
(Springer) 9781848002784 14,870.
*285 Lindstrom,S./Palmgren,E./Segerberg,K./Stoltenberg-Hansen,V.(eds.):
Logicism, Intuitionism, and Formalism:
What Has Become of Them?.
(Synthese Library, Vol. 341)
Jan. 2009 400 pp.
(Springer) 9781402089251 35,950.
*286 Marsland,S.:
Introduction to Machine Learning.
Nov. 2008 300 pp.
(CRC Press) 9780420067187 9,480.
*287 Mauw,S./Veltink,G.(eds.):
Algebraic Specification of
Communication Protocols. (Now in Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 36)
Dec. 2008 209 pp.
(Cambridge) 9780521088121 6,400.
／注文方法／ボタンの
*288 Meseguer,J./Rosu,G.(eds.):
Algebraic Methodology and Software Technology:
12th Int'l Conference, AMAST2008 Urbana.
(Lecture Notes in Computer Science, Vol. 5140)
Aug. 2008 432 pp.
(Springer) 9783540799795 13,880.
*289 Oswald,E./Rohatgi,P.(eds.):
Cryptographic Hardware and Embedded Systems
- CHES 2008: 10th Int'l Workshop, Washington.
(Lecture Notes in Computer Science, Vol. 5154)
Aug. 2008 445 pp.
(Springer) 9783540850526 14,880.
*290 Ranta,A./Nordstrom,B.(eds.):
Advances in Natural Language Processing:
6th Int'l Conference, GoTAL 2008, Gothenburg.
(Lecture Notes in Computer Science, Vol. 5221)
Aug. 2008 512 pp.
(Springer) 9783540852865 15,870.
*291 Schroeder,M.:詳報掲載
Number Theory in Science and Communication: with
Applications in Cryptography, Physics, Digital
Information, Computing, and Self-Similarity, 5th ed.
Oct. 2008 370 pp.
(Springer) 9783540852971 16,100.
*292 Stolze,J./Suter,D.:
Quantum Computing, 2nd ed.
Aug. 2008 286 pp.
(Wiley-VCH) 9783527407873 13,200.
／注文方法／ボタンの
*293 Tsudik,G.(ed.):
Financial Cryptography and Data Security: 12th
Int'l Conference, FC 2008, Cozumel.
(Lecture Notes in Computer Science, Vol. 5143)
Aug. 2008 326 pp.
(Springer) 9783540852292 11,900.
*294 Wagner,D.(ed.):
Advances in Cryptology -CRYPTO 2008: 28th Annual
Int'l Cryptology Conference, Santa Barbara.
(Lecture Notes in Computer Science, Vol. 5157)
Aug. 2008 594 pp.
(Springer) 9783540851738 17,850.