Book News 430号
8.計算機科学
*247 Artemov,S./Nerode,A.(eds.):
Logical Foundations of Computer Science: Int'l
Symposium, LFCS 2009, Deerfield Beach.
(Lecture Notes in Computer Science, Vol. 5407)
Jan. 2009 469 pp.
(Springer) 9783540926863 10,860.
*248 Arzhantseva,G./Valette,A.(eds.):
Limits of Graphs in Group Theory and Computer Science.
Feb. 2009 280 pp.
(Chapman & Hall) 9781439804001 11,940.
249 Avis,D./Bremner,D./Deza,A.(eds.):詳報掲載
Polyhedral Computation.
(CRM Proceedings and Lecture Notes, Vol. 48)
Apr. 2009 147 pp.
(A.M.S.) 9780821846339 10,500.
*250 Bennett,C./Di Vincenzo,D./Wootters,W.:
Quantum Information Theory.
(Undergraduate Texts in Contemporary Physics)
June 2009 100 pp.
(Springer) 9780387951584 .....
*251 Chowdhury,D./Vincent,R./Das,A.(eds.):
Progress in Cryptology-INDOCRYPT 2008:
9th Int'l Conference on Cryptology
in India, Kharagpur, 2008.
(Lecture Notes in Computer Science, Vol. 5365)
Dec. 2008 437 pp.
(Springer) 9783540897538 10,860.
／注文方法／ボタンの
252 D'souza,D./Shankar,P.(eds.):
Modern Applications of Automata Theory.
(IISc Research Monographs Series, Vol. 2)
Dec. 2009 200 pp.
(World Sci.) 9789814271042 10,920.
*253 De Rover.W.-P./Engelhardt,K.:
Data Refinement:
Model-Oriented Proof Methods and their Comparison. (Now in Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 47)
Dec. 2008 436 pp.
(Cambridge) 9780521103503 9,900.
*254 Fernandez,M.:
Models of Computation:
An Introruction to Computability Theory.
(Undergraduate Topics in Computer Science)
Apr. 2009 200 pp.
(Springer) 9781848824331 6,260.
*255 Fruhwirth,T.:
Constraint Handling Rules.
July 2009 336 pp.
(Cambridge) 9780521877763 11,220.
*256 Hein,J.:
Discrete Structures, Logic, and Computability, 3rd ed.
Feb. 2009 1024 pp.
(J & B) 9780763772062 18,190.
／注文方法／ボタンの
*257 Jaeger,G.:
Quantum Mechanics and Quantum Information.
(The Frontiers Collection)
Apr. 2009 240 pp.
(Springer) 9783540921271 7,150.
*258 Jensen,K./Kristensen,L.:
Coloured Petri Nets:
Modeling and Validation of Concurrent Systems.
May 2009 380 pp.
(Springer) 9783642002830 9,840.
*259 Kiayias,A./Pehlivanglu,S.:
Encryption Mechanisms for Digital Content Distribution.
June 2009 200 pp.
(Springer) 9781441900432 15,210.
*260 Kopriva,D.:
Implementing Spectral Methods for
Partial Differential Equations:
Algorithms for Scientists and Engineers.
(Scientific Computation)
June 2009 350 pp.
(Springer) 9789048122608 12,520.
261 Li,W.:
Mathematical Logic: Basic Principles and Formal Calculus.
(Progress in Computer Science and Applied Logic, Vol. 25)
June 2009 300 pp.
(Birkhauser) 9783764399764 8,930.
／注文方法／ボタンの
*262 Panigrahi,P.:
Graph Theory: Research Directions.
Apr. 2009 160 pp.
(Alpha) 9788173199974 8,230.
*263 Perrin,D./Berstel,J./Reutenauer,C.:詳報掲載
Codes and Automata.
(Encyclopedia of Mathematics and its Applications, Vol. 129)
Nov. 2009 600 pp.
(Cambridge) 9780521888318 .....
*264 Rahwan,I./Simar,G.(eds.):
Argumentation in Artificial Intelligence.
May 2009 500 pp.
(Springer) 9780387981963 16,640.
*265 Ramanujam,R./Sarukkai,S.(eds.):
Logic and Its Applications: 3rd ICLA 2009, Chennai.
(Lecture Notes in Computer Science, Vol. 5378)
Jan. 2009 269 pp.
(Springer) 9783540927006 8,220.
*266 Rausch,S.:
Macroeconomic Consequences of Demographic Change:
Modeling Issues and Applications.
(Lecture Notes in Economics & Mathematical Systems, Vol. 621)
Apr. 2009 432 pp.
(Springer) 9783642001451 10,730.
／注文方法／ボタンの
267 Ravi,S./Shukla,S.(eds.):
Fundamental Problems in Computing:
Essays in Honor of Professor Daniel J. Rosenkrantz.
Apr. 2009 350 pp.
(Springer) 9781402096877 14,310.
*268 Revesz,G.:
Lambda-calculus Combinators and Functional
Programming. (Now in Paperback ed.)
(Cambridge Tracts in Theoretical Computer Science, Vol. 4)
June 2009 191 pp.
(Cambridge) 9780521114295 5,680.
269 Sala,M./Mora,T./Perret,L./Sakata,S./Traverso,C.(eds.) :詳報掲載
Groebner Bases, Coding, and Cryptography.
Apr. 2009 390 pp.
(Springer) 9783540938057 14,310.
270 Sole,P.(ed.) :
Codes over Rings: Ankara, 2008.
(Series on Coding Theory and Cryptology)
Aug. 2009 200 pp.
(World Sci.) 9789812837684 10,920.
*271 Steinbach,B./Posthoff,C.:
Logic Functions and Equations: Examples and Exercises.
Feb. 2009 234 pp.
(Springer) 9781402095948 14,310.
／注文方法／ボタンの
*272 Watanabe Sumio :詳報掲載
Algebraic Geometry and Statistical Learning Theory.
(Cambridge Monographs on Applied and Computational Mathematics, Vol. 25)
Sep. 2009 288 pp.
(Cambridge) 9780521864671 9,900.
273 Woungang,I./Misra,S./Chandra Misra,S.(eds.):
Selected Topics in Information and Coding Theory.
(Series on Coding Theory and Cryptology)
Nov. 2009 500 pp.
(World Sci.) 9789812837165 16,800.
*274 de la Banda,M./Pontelli,E.(eds.) :
Logic Programming:
24th International Conference, ICLP 2008 Udine.
(Lecture Notes in Computer Science, Vol. 5366)
Dec. 2008 826 pp.
(Springer) 9783540899815 15,740.