Book News 413号
8.計算機科学
249 A.C.M.:
STOC-2007: 39th Annual Acm Symposium on Theory of Computing.
2007 735 pp.
(A.C.M.) 9781595936318 22,070.
*250 Aldini,A./Gorrieri,R.(eds.):
Foundations of Security Analysis and Design:
OSAD 2006/ 2007 Tutorial Lectures.
(Lecture Notes in Computer Science, Vol. 4677)
Sep. 2007 325 pp.
(Springer) 9783540748090 11,570.
*251 Biryukov,A.(ed.) :
Fast Software Encryption: 14th FSE 2007, Luxembourg.
(Lecture Notes in Computer Science, Vol. 4593)
Sep. 2007 467 pp.
(Springer) 9783540746171 14,460.
*252 Biskup,J./Lopez,J.(eds.):
Computer Security -ESORICS 2007: 12th ESORICS, Dresden.
(Lecture Notes in Computer Science, Vol. 4734)
Oct. 2007 628 pp.
(Springer) 9783540748342 17,350.
*253 Bjorner,D./Henson,M.(eds.):
Logics of Specification Languages.
(Monographs in Theoretical Computer Science. An EATCS Series)
Nov. 2007 640 pp.
(Springer) 9783540741060 21,680.
／注文方法／ボタンの
*254 Bradley,A./Manna,Z.:
The Calculus of Computation:
Decision Procedures with Applications to Verification.
Oct. 2007 366 pp.
(Springer) 9783540741121 8,420.
*255 Dahl,V./Neimela,I.(eds.):
Logic Programming: 23rd ICLP 2007, Porto.
(Lecture Notes in Computer Science, Vol. 4670)
Sep. 2007 470 pp.
(Springer) 9783540746089 14,460.
*256 Danvy,O.et al.(eds.):
Automatic Program Development: A Tribute to Robert Paige.
Oct. 2007 300 pp.
(Springer) 9781402065842 19,270.
257 Deza,M./Sikiric,M.:詳報掲載
Geometry of Chemical Graphs: Polycycles and Two-faced Maps.
(Encyclopedia of Mathematics and its Applications, Vol. 119)
Mar. 2008 350 pp.
(Cambridge) 9780521873079 .....
*258 Dimitrakos,T.et al.(eds.):
Formal Aspects in Security and Trust:
4th FAST 2006, Hamilton.
(Lecture Notes in Computer Science, Vol. 4691)
Oct. 2007 285 pp.
(Springer) 9783540752264 10,840.
／注文方法／ボタンの
*259 Duparc,J./Henzinger,T.(eds.):
Computer Science Logic: 21 CSL 2007/16th EACSL, Lausanne.
(Lecture Notes in Computer Science, Vol. 4646)
Sep. 2007 600 pp.
(Springer) 9783540749141 17,350.
*260 Euzenat,J./Shvaiko,P:
Ontology Matching.
2007 333 pp.
(Springer) 9783540496113 14,450.
*261 Fan,L./Cruickshank,H./Sun,Z.(eds.):
IP Networking over
Next-Generation Satellite Systems, Budapest, 2007.
Feb. 2008 350 pp.
(Springer) 9780387754277 25,910.
*262 Goldreich,O.:
Computational Complexity.
Apr. 2008 500 pp.
(Cambridge) 9780521884730 .....
*263 Gorodetsky,V./Kotenko,I./Skormin,V.(eds.):
Computer Network Security:
4th MMM-ACNS 2007, St. Petersburg, 2007.
Sep. 2007 416 pp.
(Springer) 9783540739852 13,550.
／注文方法／ボタンの
*264 Hromiovic,J.et al.(eds.):
Stochastic Algorithms:
Foundations and Applications: 4th SAGA 2007, Zurich.
(Lecture Notes in Computer Science, Vol. 4665)
Oct. 2007 167 pp.
(Springer) 9783540748700 10,160.
*265 Italiano,G./Moggi,E./Laura,L.(eds.):
Theoretical Computer Science:
Proceedings of the 10th Italian Conference on ICTCS '07Rome.
Nov. 2007 350 pp.
(World Sci.) 9789812770981 17,350.
*266 Jones,C./Liu,Z./Woodcock.J.(eds.):
Theoretical Aspects of Computing -ICTAC 2007:
4th Int'l Colloquium, Macau.
(Lecture Notes in Computer Science, Vol. 4711)
Oct. 2007 483 pp.
(Springer) 9783540752905 14,520.
*267 Kao,M.(ed.) :詳報掲載
Encyclopedia of Algorithms. (eReference)
June 2008 ....
(Springer) 9780387301624 74,780.
*268 Kirsch,A./Grinberg,N.:
The Factorization Methods for Inverse Problems.
(Lecture Series in Mathematics & Applications, Vol. 36)
Dec. 2007 216 pp.
(Oxford) 9780199213535 15,930.
／注文方法／ボタンの
*269 Knowles,J./Corne,D./Deb,K.(eds.):
Multiobjective Problem Solving From Nature:
From Concepts to Applications.
(Natural Computing)
Dec. 2007 300 pp.
(Springer) 9783540729631 15,720.
*270 Kok,J.et al.(eds.):
Machine Learning: ECML 2007: 18th ECML, Warsaw.
(Lecture Notes in Computer Science, Vol. 4701)
Oct. 2007 809 pp.
(Springer) 9783540749578 21,050.
*271 Kraus,J./Margenov,S.:
Robust Algebraic Multilevel Methods and Algorithms.
(Radon Series on Computational & Applied Mathematics, Vol. 5)
Nov. 2008 280 pp.
(de Gruyter) 9783110193657 16,460.
*272 Morvan,J.-M.:
Generalized Curvatures.
(Geometry and Computing, Vol. 2)
Dec. 2007 ....
(Springer) 9783540737919 .....
*273 Paillier,P./Verbauwhede,I.(eds.):
Cryptographic Hardware and Embedded Systems -CHES
2007: 9th Int'l Workshop, Vienna.
(Lecture Notes in Computer Science, Vol. 4727)
Sep. 2007 468 pp.
(Springer) 9783540747345 14,520.
／注文方法／ボタンの
*274 Papazoglou,M.:
Web Services.
Sep. 2007 784 pp.
(Prentice Hall) 9780321155559 9,190.
275 Park,H./Regensburger,G.(eds.):
Grobner Bases in Control Theory and Signal Processing.
(Radon Series on Computational and Applied Mathematics, Vol. 3)
Nov. 2007 200 pp.
(de Gruyter) 9783110193336 28,560.
276 Rich,E.:
Automata, Computability and Complexity:
Theory and Applications.
Aug. 2007 864 pp.
(Prentice Hall) 9780132288064 19,420.
*277 Romero,J./Machado,P.(eds.):
The Art of Artificial Evolution:
A Handbook on Evolutionary Art and Music.
(Natural Computing)
Oct. 2007 440 pp.
(Springer) 9783540728764 20,560.
278 Rosenkranz,M./Wang,D.(eds.):
Grobner Bases in Symbolic Analysis.
(Radon Series on Computational and Applied Mathematics, Vol. 2)
Nov. 2007 400 pp.
(de Gruyter) 9783110193237 23,720.
／注文方法／ボタンの
*279 Salomon,D.:
A Concise Introduction to Data Compression.
(Undergraduate Topics in Computer Science)
Feb. 2008 325 pp.
(Springer) 9781848000711 7,250.
*280 Takahashi,S./Sallach,D./Rouchier,J.(eds.):
Advancing Social Simulation: The First World Congress.
Sep. 2007 360 pp.
(Springer) 9784431731504 21,770.
*281 Yu,T./Jajodia,S.(ed.):
Secure Data Management in Decentralized Systems.
Jan. 2007 462 pp.
(Springer) 9780387276946 22,490.
*282 Zhang,J.:
Visualization for Information Retrieval.
(The Information Retrieval Series, Vol. 23)
Nov. 2007 310 pp.
(Springer) 9783540751472 16,930.
*283 ten Cate,B./Zeevat,H.(eds.):
Logic, Language, and Computation:
6th Int'l Tbilisi Symposium, Batumi, 2005.
(Lecture Notes in Computer Science, Vol. 4363)
Oct. 2007 281 pp.
(Springer) 9783540751434 10,890.
／注文方法／ボタンの