Book News 431号
8. 計算機科学
*251 Albert,M.:
Games of No Chance 3.
(Mathematical Science Research Institute Publications, Series)
June 2009 576 pp.
(Cambridge) 9780521861342 13,270.
*252 Albert,R.:
Games of No Chance 3. (Paper ed.)
June 2009 576 pp.
(Cambridge) 9780521678544 5,360.
*253 Baeten,J./Basten,T./Reniers,M.:詳報掲載
Process Algebra:
Equational Thories of Communicating Processes.
(Cambridge Tracts in Theoretical Computer Science, Vol. 50)
Sep. 2009 440 pp.
(Cambridge) 9780521820493 10,720.
254 Bollobas,B./Kozma,R./Miklos,D.(eds.):詳報掲載
Handbook of Large-Scale Random Networks.
(Bolyai Society Mathematical Studies, Vol. 18)
Mar. 2009 600 pp.
(Springer) 9783540693949 25,210.
*255 Chen,Z.:
Mathematical Objects in C++:
Computational Tools in A Unified Object-Oriented Approach.
July 2009 636 pp.
(C R C Press) 9781439811474 13,760.
／注文方法／ボタンの
*256 Cucker,F.Pinkus,A./Todd,M.(eds.):詳報掲載
Foundations of Computational Mathematics, Hong Kong 2008.
(London Mathematical Society Lecture Note Series, Vol. 363)
July 2009 296 pp.
(Cambridge) 9780521739702 9,380.
*257 Dehmer,M.(ed.):
Structural Analysis of Complex Networks.
July 2009 505 pp.
(Birkhauser) 9780817647889 25,210.
*258 Engquist,B./Fokas,A./Hairer,E./Iserles,A.(eds.):詳報掲載
Highly Oscillatory Problems.
(London Mathematical Society Lecture Note Series, Vol. 366)
July 2009 256 pp.
(Cambridge) 9780521134439 8,040.
*259 Geiser,J.:詳報掲載
Decomposition Methods for Differential Equations:
Theory and Applications.
(Chapman & Hall/CRC Numerical Analysis and Scientific Computer, Vol. 7)
May 2009 304 pp.
(Chapman & Hall) 9781439810965 11,820.
*260 Goldberg,L.:詳報掲載
Efficient Algorithms for
Listing Combinatorial Structures. (Now in Paperback ed.)
(Distinguished Dissertations in Computer Science, Vol. 5)
July 2009 176 pp.
(Cambridge) 9780521117883 5,360.
／注文方法／ボタンの
*261 Gossett,E.:詳報掲載
Discrete Mathematics with Proof, 2nd ed.
July 2009 928 pp.
(Wiley) 9780470457931 19,240.
*262 Helham,T.:
Higher Order Logic and Hardware Verification.
(Now in Paperback ed.)
July 2009 179 pp.
(Cambridge) 9780521115322 5,760.
*263 Huczynska,S./Mitchell,J./Roney-Dougal,C.(eds.):詳報掲載
Surveys in Combinatorics 2009.
(London Mathematical Society Lecture Note Series, Vol. 365)
July 2009 336 pp.
(Cambridge) 9780521741736 9,380.
264 Jensen,K./Kristensen,L.:
Coloured Petri Nets: Modeling and Validation of
Concurrent Systems.
May 2009 380 pp.
(Springer) 9783642002830 10,660.
*265 Joye,M./Neven,G.(ed.):
Identity-Based Cryptography.
(Cryptology and Information Security Series, Vol. 2)
Jan. 2009 272 pp.
(IOS Press) 9781586039479 19,400.
／注文方法／ボタンの
*266 Katz,J.:
Digital Signatures.
May 2009 170 pp.
(Springer) 9780387277110 12,600.
*267 Long,B./Zhang,Z./Yu,P.:
Relational Data Clustering:
Models, Algorithms, and Applications.
July 2009 350 pp.
(Chapman & Hall) 9781420072617 10,530.
268 Perrin,D./Berstel,J./Reutenauer,C.:詳報掲載
Codes and Automata.
(Encyclopedia of Mathematics and its Applications, Vol. 129)
Nov. 2009 600 pp.
(Cambridge) 9780521888318 16,080.
*269 Saad,D.(ed.) :
On-Line Learning in Neural Netwrks. (Now in Paperback ed.)
(Publications of the Newton Institute, Vol. 17)
July 2009 408 pp.
(Cambridge) 9780521117913 7,100.
*270 Shonkwiler,R./Mendivil,F.:詳報掲載
Explorations in Monte Carlo Methods.
(Undergraduate Texts in Mathematics)
Aug. 2009 250 pp.
(Springer) 9780387878362 7,750.
／注文方法／ボタンの
*271 Singh,A.:
Elements of Computation Theory.
(Texts in Computer Science)
July 2009 405 pp.
(Springer) 9781848824966 13,570.
*272 Sommaruga,G.(ed.):
Formal Theories of Information:
From Shannon to Semantic Information Theory
and General Concepts of Information.
(Lecture Notes in Computer Science, Vol. 5363)
Apr. 2009 275 pp.
(Springer) 9783642006586 8,330.
273 Thulasiraman,K./Nishizeki,T./Xue,G.:
The Handbook of Graph Algorithms and Applications, Vol. 1.
(Computer and Information Sciences)
July 2010 1216 pp.
(Chapman & Hall) 9781584885955 16,980.
*274 Tse,T.:詳報掲載
A Unifying Framework for
Structured Analysis and Design Models:
An Approach Using Initial Algebra Semantics
and Category Theory. (Now in Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 11)
July 2009 191 pp.
(Cambridge) 9780521117876 3,750.
275 Watanabe Sumio :詳報掲載
Algebraic Geometry and Statistical Learning Theory.
(Cambridge Monographs on Applied and Computational Mathematics, Vol. 25)
Sep. 2009 288 pp.
(Cambridge) 9780521864671 10,050.
／注文方法／ボタンの
*276 Wickham,H.:
ggplot2: Elegant Graphics for Data Analysis.
(Use R)
Aug. 2009 210 pp.
(Springer) 9780387981406 9,690.
*277 Wolfram,D.:
The Clausal Theory of Types. (Now in Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 21)
July 2009 132 pp.
(Cambridge) 9780521117906 3,620.