Book News 434号
8.計算機科学
*265 Abdalla,M./Pointcheval,D./Fouque,P.-A./Vergnaud,D.(eds.) :
Applied Cryptography and Network Security:
7th International Conference, ACNS 2009, Paris-Rocquencourt.
(Lecture Notes in Computer Science, Vol. 5536)
June 2009 535 pp.
(Springer) 9783642019562 13,310.
*266 Apt,K./de Boer,F./Olderog,E.-R.:
Verification of Sequential and Concurrent Programs, 3rd ed.
(Texts in Computer Science)
Nov. 2009 502 pp.
(Springer) 9781848827448 14,340.
*267 Boca,P./Bowen,J./Siddiqi,J.(eds.) :
Formal Methods: State of the Art and New Directions.
Sep. 2009 410 pp.
(Springer) 9781848827356 16,390.
*268 Chee,Y./Li,C./Ling,S./Wang,H./Xing,C.(eds.) :
Coding and Cryptology:
Second International Workshop, IWCC 2009.
(Lecture Notes in Computer Science, Vol. 5557)
June 2009 275 pp.
(Springer) 9783642018138 9,420.
*269 Droste,M./Kuich,W./Vogler,H.(eds.) :詳報掲載
Handbook of Weighted Automata.
(Monographs in Theoretical Computer Science. An EATCS)
July 2009 625 pp.
(Springer) 9783642014918 24,590.
/注文方法/ボタンの / 目次へ / ページトップへ
*270 Gazzaniga,M.(ed.):
The Cognitive Neurosciences, 4th ed.
Oct. 2009 1376 pp.
(M.I.T.) 9780262013413 25,550.
*271 Joux,A.(ed.) :
Advances in Cryptology -EUROCRYPT 2009:
28th Annual International Conference on
the Theory and Applications of
Cryptographic Techniques, Cologne.
(Lecture Notes in Computer Science, Vol. 5479)
May 2009 611 pp.
(Springer) 9783642010002 14,950.
*272 Kocarev,L./Galias,Z./Lian,S.(eds.) :
Intelligent Computing Based on Chaos.
(Studies in Computational Intelligence, Vol. 184)
June 2009 382 pp.
(Springer) 9783540959717 20,490.
*273 Lipshteyn,M./Levit,V./McConnell,R.(eds.) :
Graph Theory, Computational Intelligence and Thought:
Essays Dedicated to Martin Charles Golumbic on
the Occasion of His 60th Birthday.
(Lecture Notes in Computer Science, Vol. 5420)
July 2009 227 pp.
(Springer) 9783642020285 8,800.
*274 Meinhardt,H.:
The Algorithmic Beauty of Sea Shells, 4th ed.
(The Virtual Laboratory)
July 2009 295 pp.
(Springer) 9783540921417 10,240.
/注文方法/ボタンの / 目次へ / ページトップへ
*275 Menezes,R./Fortunato,S./Mangioni,G./Nicosia,V.(eds.) :
Complex Networks:
Results of the 1st Int'l Workshop on Complex Networks (CompleNet 2009).
(Studies in Computational Intelligence)
June 2009 226 pp.
(Springer) 9783642012051 20,490.
*276 Saurland,U./Yatsushiro Kazuko (eds.):
Semantics and Pragmatics: From Experiment to Theory.
(Palgrave Studies in Pragmatics, Language and Cognition)
Aug. 2009 288 pp.
(Palgrave) 9780230579064 13,360.
*277 Sinkov,A.:詳報掲載
Elementary Cryptanalysis, 2nd ed.
(The New Mathematical Library, Series)
Aug. 2009 220 pp.
(M.A.A.) 9780883856475 7,340.
*278 Torsello,A./Escolano Ruiz,F./Brun,L.(eds.):
Graph-Based Representations in Pattern Recognition:
7th IAPR-TC-15 Int'l Workshop, GbRPR 2009, Venice.
(Lecture Notes in Computer Science, Vol. 5534)
June 2009 378 pp.
(Springer) 9783642021237 10,850.
*279 Treinen,R.(ed.) :
Rewriting Techniques and Applications:
20th Int'l Conference, RTA 2009 Brasilia.
(Lecture Notes in Computer Science, Vol. 5595)
July 2009 391 pp.
(Springer) 9783642023477 11,670.
*280 White,N.(ed.):
Matroid Applications. (Now in Paperback ed.)
(Encyclopedia of Mathematics and Its Applications, Vol. 40)
Nov. 2010 376 pp.
(Cambridge) 9780521119672 8,510.