Book News 499号
8.計算機科学


*239 Badouel,E./Bernardinello,L./Darondeau,P.: Petrinet Synthesis. (Texts in Theoretical Computer Sciences. An EATCS Series) Nov. 2015 339 pp. (Springer) 9783662479667 12,000. *240 Brenner,M./Christin,N./Johnson,B./Rohloff,K.(eds.): Financial Cryptography and Data Security: FC 2015 Int'l Workshops, BITCOIN, 2015. (Lecture Notes in Computer Science, Vol. 8976) Nov. 2015 309 pp. (Springer) 9783662480502 11,210. *241 Chakraborty,R./Schwabe,P./Solworth,J.(eds.): Security, Privacy, and Applied Cryptography Engineering: 5th Int'l Conference, SPACE 2015. (Lecture Notes in Computer Science, Vol. 9354) Dec. 2015 373 pp. (Springer) 9783319241258 12,800. *242 Dehmer,M./Shi,Y./Gutman,I./Li,X.:詳報掲載 Graph Polynomials. (Discrete Mathematics and Its Applications) Sep. 2016 450 pp. (Chapman & Hall) 9781498755900 27,170. 243 Derksen,H./Kemper,G.:詳報掲載 Computational Invariant Theory. (Encyclopaedia of Mathematical Sciences, Series) Nov. 2015 320 pp. (Springer) 9783662484203 24,000.
注文方法/ボタンの目次へページトップへ
*244 Ellis-Monaghan,J./Moffatt,I.(eds.):詳報掲載 Handbook of the Tutte Polynomial. Aug. 2016 550 pp. (Chapman & Hall) 9781482240627 30,890. *245 Flannery,D./Detinko,A.: Linear Groups and Computation. Oct. 2016 304 pp. (Chapman & Hall) 9781498700825 14,300. *246 Gander,W.: Learning MATLAB: A Problem Solving Approach. (UNITEXT) Dec. 2015 142 pp. (Springer) 9783319253268 8,000. *247 Gratzer,G.: More Math Into LaTeX, 5th ed. Dec. 2015 576 pp. (Springer) 9783319237954 14,000. *248 Italiano,G./Pighizzini,G./Sannella,D.(eds.): Mathematical Foundations of Computer Science 2015: 40th Int'l Symposium, MFCS 2015. Part I. (Lecture Notes in Computer Science, Vol. 9234) Oct. 2015 459 pp. (Springer) 9783662480564 12,800.
注文方法/ボタンの目次へページトップへ
*249 Italiano,G./Pighizzini,G./Sannella,D.(eds.): Mathematical Foundations of Computer Science 2015: 40th Int'l Symposium, MFCS 2015. Part II. (Lecture Notes in Computer Science, Vol. 9235) Oct. 2015 615 pp. (Springer) 9783662480533 14,400. *250 Kitaev,S./Lozin,V.:詳報掲載 Words and Graphs. (Monographs in Theoretical Computer Science. An EATCS Series) Nov. 2015 265 pp. (Springer) 9783319258577 17,000. *251 Krivelevich,M. et al.:詳報掲載 Random Graphs, Geometry and Asymptotic Structure. (London Mathematical Society Student Texts, Vol. 84) Apr. 2016 .... (Cambridge) 9781107136571 価格未定 *252 Krivelevich,M. et al.:詳報掲載 Random Graphs, Geometry and Asymptotic Structure. (Paper ed.) (London Mathematical Society Student Texts, Vol. 84) Apr. 2016 .... (Cambridge) 9781316501917 価格未定 *253 Lewis,R.: A Guide to Graph Colouring: Algorithms and Applications. Nov. 2015 255 pp. (Springer) 9783319257280 17,000.
注文方法/ボタンの目次へページトップへ
*254 Probst,D./Schuster,P.: Concepts of Proof in Mathematics, Philosophy, and Computer Science. (Ontos Mathematical Logic, Vol. 6) June 2016 500 pp. (de Gruyter) 9781501510809 21,990. *255 Shen,W.: An Introduction to Numerical Computation. Dec. 2015 268 pp. (World Sci.) 9789814730068 14,430. *256 Wu,C.-K./Feng,D.: Boolean Functions and Their Applications in Cryptography. Jan. 2016 306 pp. (Springer) 9783662488638 19,000. *257 Yan,S.:詳報掲載 Quantum Computational Number Theory. Nov. 2015 260 pp. (Springer) 9783319258218 17,000.