Book News 428号
8.計算機科学
*230 Benjamin,W.(ed.) :
Wiley Encyclopedia of Computer Science and
Engineering. 5 Vols. Set Valid until end of Mar.
2009 $1,750
Jan. 2009 4180 pp.
(Wiley) 9780471383932 208,500.
*231 Borger,E./Cisternino,A.(eds.):
Advances in Software Engineering: Lipari Summer
School 2007, Lipari Island.
(Lecture Notes in Computer Science, Vol. 5393)
Jan. 2009 277 pp.
(Springer) 9783540897613 8,030.
*232 Broersma,H./Erlebach,Th./Friedetzky,T./Paulusma,D.(eds.):
Graph-Theoretic Concepts in Computer Science:
34th Int'l Workshop, Wg 2008, Durham.
(Lecture Notes in Computer Science, Vol. 5344)
Dec. 2008 386 pp.
(Springer) 9783540922476 10,650.
*233 Burkard,R./Dell'Amico,M./Martello,S.:
Assignment Problems.
Jan. 2009 372 pp.
(S.I.A.M.) 9780898716634 14,520.
*234 Calmet,J./Geiselmann,W./Muller-Quade,J.(eds.) :
Mathematical Methods in Computer Science:
Essays in Memory of Thomas Beth.
(Lecture Notes in Computer Science, Series)
Jan. 2009 191 pp.
(Springer) 9783540899938 7,470.
／注文方法／ボタンの
235 Chow,T./Isaksen,D.(eds.):詳報掲載
Communicating Mathematics.
(Contemporary Mathematics, Vol. 479)
Mar. 2009 238 pp.
(A.M.S.) 9780821843451 13,760.
*236 Croker,R.:詳報掲載
Quantum Matrix.
Nov. 2008 162 pp.
(C R C Press) 9781420089820 14,340.
237 Cusick,T./Stanica,P.:
Cryptographic Boolean Functions and Applications.
Apr. 2009 406 pp.
(Academic) 9780123748904 8,330.
*238 Desurvire,E.:詳報掲載
Classical and Quantum Information Theory:
An Introduction for The Telecom Scientist.
Feb. 2009 648 pp.
(Cambridge) 9780521881715 10,560.
*239 Dubashi,D./Panconesi,A.:
Concentration of Measure for The Analysis of
Randomized Algorithms.
June 2009 248 pp.
(Cambridge) 9780521884273 9,240.
／注文方法／ボタンの
240 Fisher,M.:
Practical Formal Methods using Temporal Logic.
July 2009 344 pp.
(Wiley) 9780470027882 18,070.
*241 Fitzgerald,J./Larsen,P.:
Modelling Systems:
Practical Tools and Techniques in Software Development, 2nd ed.
May 2009 280 pp.
(Cambridge) 9780521899116 9,900.
242 Harrison,J.:詳報掲載
Handbook of Practical Logic and Automated Reasoning.
Mar. 2009 704 pp.
(Cambridge) 9780521899574 19,800.
*243 Hong,S.-H./Nagamochi,H./Fukunaga,T.(eds.) :
Algorithms and Computation:
19th International Symposium, Isaac 2008, Gold Coast.
(Lecture Notes in Computer Science, Vol. 5369)
Dec. 2008 945 pp.
(Springer) 9783540921813 18,130.
*244 Hromkovic,J.:
Algorithmic Adventures: From Knowledge to Magic.
Jan. 2009 380 pp.
(Springer) 9783540859857 7,470.
／注文方法／ボタンの
*245 Huang,G.-B.:
Extreme Learning Machine.
(Evolutionary Learning and Optimization, Vol. 1)
Apr. 2009 200 pp.
(Springer) 9783540888178 18,690.
*246 Huber,F./Schmidt-Petri,C.(eds.) :
Degrees of Belief.
(Synthese Library, Vol. 342)
Jan. 2009 365 pp.
(Springer) 9781402091971 29,910.
*247 Imre,S./Balazs,F.:
Quantum Computing and Communications:
An Engineering Approach.
2009 314 pp.
(Wiley) 9780470869048 17,370.
*248 Ito,H./Kano,M./Katoh,N./Uno,Y.(eds.) :
Computational Geometry and Graph Theory:
Int'l Conference, KyotoCGGT 2007, Kyoto.
(Lecture Notes in Computer Science, Vol. 4535)
Dec. 2008 237 pp.
(Springer) 9783540895497 8,030.
*249 Jensen,K./Geiselmann,W./Muller-Quade,J.(eds.) :
Transactions on Petri Nets
and Other Models of Concurrency, I.
(Lecture Notes in Computer Science, Vol. 5393)
Jan. 2009 251 pp.
(Springer) 9783540892861 11,400.
／注文方法／ボタンの
*250 Kawano Yasuhito/ Mosca,M.(eds.):
Theory of Quantum Computation,
Communication, and Cryptography: 3rd Workshop, TQC 2008 Tokyo.
(Lecture Notes in Computer Science, Vol. 5106)
Nov. 2008 115 pp.
(Springer) 9783540893035 8,030.
*251 Laski,J./Stanley,W.:
Software Verification and Analysis:
An Integrated, Hands-on Approach.
Apr. 2009 245 pp.
(Springer) 9781848822399 11,770.
*252 Lavrenko,V.:
A Generative Theory of Relevance.
(The Information Retrieval Series, Vol. 26)
Jan. 2009 197 pp.
(Springer) 9783540893639 12,140.
*253 Li,W.:
Mathematical Logic: Basic Principles and Formal Calculus.
(Progress in Computer Science and Applied Logic, Vol. 25)
June 2009 300 pp.
(Birkhauser) 9783764399764 9,330.
*254 Mahdavi,K./Koslover,D.(eds.):詳報掲載
Advances in Quantum Computation.
(Contemporary Mathematics, Vol. 482)
Apr. 2009 240 pp.
(A.M.S.) 9780821846278 10,980.
／注文方法／ボタンの
*255 Mathieu,C.(ed.) :
Proceedings of the Twentieth Annual ACM-SIAM
Symposium on Discrete Algorithms.
Dec. 2008 1284 pp.
(S.I.A.M.) 9780898716740 23,100.
*256 Mazzola,G./Cherlin,P.:
Flow, Gesture, and Spaces in Free Jazz:
Towards a Theory of Collaboration.
(Computational Music Science Series)
Jan. 2009 150 pp.
(Springer) 9783540921943 9,340.
*257 Memon,N./Farley,J./Hicks,D./Rosenorn,T.(eds.) :
Mathematical Methods in Counterterrorism.
Feb. 2009 400 pp.
(Springer) 9783211094419 16,820.
*258 Meyer,B.:
Touch of Class:
Learning to Program Well with Objects and Contracts.
Feb. 2009 700 pp.
(Springer) 9783540921448 9,340.
*259 Munakata Toshinori :
Fundamentals of the New Artificial Intelligence:
Neural, Evolutionary, Fuzzy and More, 2nd ed.
(Texts in Computer Science)
Feb. 2008 260 pp.
(Springer) 9781846288388 10,270.
／注文方法／ボタンの
*260 Nielsen,F.:
A Concise and Practical Introduction to
Programming Algorithms in Java.
(Undergraduate Topics in Computer Science)
Apr. 2009 270 pp.
(Springer) 9781848823389 5,040.
261 Pach,J./Sharir,M.:詳報掲載
Combinatorial Geometry
and Its Algorithmic Applications: The Alcala Lectures.
(Mathematical Surveys and Monographs, Vol. 152)
Jan. 2009 235 pp.
(A.M.S.) 9780821846919 10,420.
*262 Ramalingam,G.(ed.):
Programming Languages and Systems:
6th Asian Symposium, APLAS 2008, Bangalore.
(Lecture Notes in Computer Science, Vol. 5356)
Dec. 2008 343 pp.
(Springer) 9783540893295 9,150.
*263 Reynold,J.:
Theories of Programming Languages. (Now in Paperback ed.)
Apr. 2009 512 pp.
(Cambridge) 9780521106979 7,950.
*264 Roberts,F./Tesman,B.:詳報掲載
Applied Combinatorics, 2nd ed.
Apr. 2009 844 pp.
(Chapman & Hall) 9781420099829 11,180.
／注文方法／ボタンの
*265 Sadri,F./Satoh,K.(eds.):
Computational Logic in Multi-Agent Systems:
8th Int'l Workshop, CLIMA VIII, Porto.
(Lecture Notes in Artificial Intelligence, Vol. 5056)
Nov. 2008 299 pp.
(Springer) 9783540888321 9,150.
266 Schneier,B./Goodrich,M./Tamassia,R.:
Introduction to Security and Applied Cryptography.
Dec. 2009 912 pp.
(Wiley) 9780471703099 9,310.
*267 Schurr,A./Nagl,M./Zundorf,A.(eds.):
Applications of Graph Transformations
with Industrial Relevance:
3rd Int'l Symposium, AGTIVE 2007, Kassel.
(Lecture Notes in Computer Science, Vol. 5088)
Nov. 2008 594 pp.
(Springer) 9783540890195 13,640.
*268 Scott,M.:
Programming Language Pragmatics, 3rd ed.
Mar. 2009 942 pp.
(Academic) 9780123745149 10,420.
*269 Toriwaki Junichiro/Yoshida Hiro :
Fundamentals of Three-dimensional Digital Image Processing.
June 2009 300 pp.
(Springer) 9781848001725 11,770.
／注文方法／ボタンの
*270 van Vliet,J.(ed.):
Text Processing and Document Manipulation.
(British Computer Society Workshop, Series)
May 2009 288 pp.
(Cambridge) 9780521110310 5,280.