Book News 414号
8.計算機科学
詳報内のコンテンツ等は、出版時に予告なく変更される場合がございます。
*254 Aguzzoli,S./Ciabattoni,A./Gerla,B./Manara,C./Marra,V.(eds.):
Algebraic and Proof-Theoretic Aspects of
Non-Classical Logics: Papers in Honor of Daniele
Mundici in the Occasion of His 60th Birthday.
(Lecture Notes in Computer Science, Vol. 4460)
Nov. 2007 309 pp.
(Springer) 9783540759386 11,950.
*255 Arge,L./Hoffmann,M./Welzl,E.(eds.):
Algorithms-ESA 2007: 15th Annual European
Symposium, Eilat,2007.
(Lecture Notes in Computer Science, Vol. 4698)
Oct. 2007 769 pp.
(Springer) 9783540755197 20,920.
256 Bjorner,D./Henson,M.(eds.):
Logics of Specification Languages.
(Monographs in Theoretical Computer Science. An EATCS)
Nov. 2007 640 pp.
(Springer) 9783540741060 22,400.
*257 Braz,J./Ranchordas,A.et al.(eds.):
Advances in Computer Graphics and Computer
Vision: International Conferences VISAPP and
GRAPP 2006, Setubal.
(Communications in Computer and Information Science, Vol. 4)
Nov. 2007 407 pp.
(Springer) 9783540752721 16,430.
*258 De Micheli,G./Mir,S./Reis,R.(eds.) :
VLSI-SoC: Research Trends in VLSI and Systems on
Chip: Fourteenth Int'l Conference on Very Large
Scale Integration of System on Chip
(VLSI-SoC2006), Nice.
(IFIP International Federation for Information Processing, Vol. 249)
Dec. 2007 410 pp.
(Springer) 9780387749082 31,870.
／注文方法／ボタンの
259 Ericsson,M.(ed.) :詳報掲載
Quantum Information and Many Body Quantum Systems.
(Publications of the Scuola Normale Superiore/CRM Seris, Vol. 5)
Jan. 2008 400 pp.
(S.N.S.) 9788876423079 6,220.
*260 Ferris,M./Mangasarian,O./Wright,S.:
Linear Programming with MATLAB.
(MPS/SIAM Series on Optimization, Vol. 7)
Nov. 2007 266 pp.
(S.I.A.M.) 9780898716436 7,870.
*261 Garay,J./Lenstra,A.et al.(eds.):
Information Security Conference: 10th ISC 2007, Valparaiso.
(Lecture Notes in Computer Science, Vol. 4779)
Oct. 2007 437 pp.
(Springer) 9783540754954 13,940.
262 Goldreich,O.:詳報掲載
Computational Complexity.
Apr. 2008 500 pp.
(Cambridge) 9780521884730 11,060.
*263 Greene,D./Knuth, D.:詳報掲載
Mathematics for The Analysis of Algorithms, 3rd
ed. 2008 Printing (Originally published as volume
1 in the series: Progress in Computer Science and
Applied Logic (PCS))
(Modern Birkhauser Classics)
Nov. 2007 132 pp.
(Birkhauser) 9780817647285 8,690.
／注文方法／ボタンの
*264 Herik,H.et al.(eds.):
Computers and Games: 5th Int'l Conference CG 2006, Turin.
(Lecture Notes in Computer Science, Vol. 4630)
Oct. 2007 283 pp.
(Springer) 9783540755371 11,200.
*265 Mellouli,K.(eds.) :
Symbolic and Quantitative Approaches to Reasoning
with Uncertainty: 9th European Conference,
ECSQARU 2007, Hammamet.
(Lecture Notes in Computer Science, Vol. 4724)
Oct. 2007 914 pp.
(Springer) 9783540752554 23,160.
*266 Meng,K./Fengming,D./Guan,T.:
Introduction to Graph Theory: Solutions Manual.
Oct. 2007 260 pp.
(World Sci.) 9789812771759 8,700.
*267 Miyaji,A./Kikuchi,H./Rannenberg,K.(eds.):
Advances in Information and Computer Security:
2nd Int'l Workshop on Security, IWSEC 2007, Nara.
(Lecture Notes in Computer Science, Vol. 4752)
Nov. 2007 460 pp.
(Springer) 9783540756507 14,940.
*268 Ralyte,J.et al.(eds.) :
Situational Method Engineering: Fundamentals and
Experiences: Proceedings of the IFIP WG 8.1
Working Conference, 2007, Geneva.
Oct. 2007 368 pp.
(Springer) 9780387739465 31,870.
／注文方法／ボタンの
*269 Riolo,R./Soule,T./Worzel,B.(eds.):
Genetic Programming Theory and Practice V.
(Genetic and Evolutionary Computation)
Feb. 2008 300 pp.
(Springer) 9780387763071 21,150.
*270 Spink,A./Zimmer,M.(eds.):
Web Search: Multidisciplinary Perspectives.
Jan. 2008 440 pp.
(Springer) 9783540758280 22,400.
*271 Susilo,W./Liu,J./Mu,Y.(eds.):
Provable Security: 1st Int'l Conference, ProvSec
2007, Wollongong.
(Lecture Notes in Computer Science, Vol. 4784)
Nov. 2007 237 pp.
(Springer) 9783540756699 10,460.
*272 Swartzlander,E./Lemonds,C.(eds.):
Computer Arithmetic: A Complete Reference.
Feb. 2008 1100 pp.
(Springer) 9780387748832 47,930.
*273 Van Harmelen,F.et al.(eds.):
Handbook of Knowledge Representation.
Jan. 2008 820 pp.
(North Holland) 9780444522115 36,750.
／注文方法／ボタンの