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.