Book News 420号
8.計算機科学
*250 Beckert,B./Hahnle,R.(eds.):
Tests and Proofs: 2nd TAP 2008, Prato.
(Lecture Notes in Computer Science, Vol. 4966)
Apr. 2008 193 pp.
(Springer) 9783540791232 10,290.
*251 Bel-Enguix,G.et al.(eds.):
New Developments in Formal Languages and Applications.
(Studies in Computational Intelligence, Vol. 113)
May 2008 276 pp.
(Springer) 9783540782902 24,490.
*252 Berghammer,R./Moller,B./Struth,G.(eds.):
Relations and Kleene Algebra in Computer Science:
10th Int'l Conference on
Relational Methods in Computer Science
and 5th International Conference on Applications
of Kleene Algebra RelMiCS/AKA 2008, Frauenworth.
(Lecture Notes in Computer Science, Vol. 4988)
Apr. 2008 397 pp.
(Springer) 9783540789123 13,720.
253 Biskup,J.:
Security in Computing Systems:
Challenges, Approaches, and Solutions.
June 2008 700 pp.
(Springer) 9783540784418 15,910.
*254 Braverman,M./Yampolsky,M.:
Computability of Julia Sets.
(Algorithms and Computation in Mathematics, Vol. 23)
Aug. 2008 ....
(Springer) 9783540685463 14,690.
／注文方法／ボタンの
*255 Daintith,J./Wright,E.(eds.):
A Dictionary of Computing, 6th ed.
July 2008 608 pp.
(Oxford) 9780199234011 7,770.
*256 Daintith,J./Wright,E.(eds.):
A Dictionary of Computing, 6th ed. (Paper ed.)
July 2008 608 pp.
(Oxford) 9780199234004 3,420.
*257 Demaine,E./O'Rourke,J.:
Geometric Folding Algorithms. (Now in Paperback ed.)
Oct. 2008 496 pp.
(Cambridge) 9780521715225 7,000.
*258 Garrigue,J./Hermenegildo,M.(eds.):
Functional and Logic Programming: 9th FLOPS 2008, Ise.
(Lecture Notes in Computer Science, Vol. 4989)
Apr. 2008 337 pp.
(Springer) 9783540789680 11,760.
*259 Gartner,T.:
Kernels for Structured Data.
(Series in Machine Perception and Artificial Intelligence, Vol. 72)
Nov. 2008 200 pp.
(World Sci.) 9789812814555 8,370.
／注文方法／ボタンの
*260 Gavrillova,M./Tan,C.(eds.):
Transactions on Computational Science, I.
(Lecture Notes in Computer Science, Vol. 4750)
May 2008 181 pp.
(Springer) 9783540792987 12,740.
*261 Goodall,J./Conti,G./Ma,K.(eds.):
VizSEC 2007:
Proceedings of the Workshop on Visualization for Computer Security.
(Mathematics and Visualization)
June 2008 310 pp.
(Springer) 9783540782421 14,690.
262 Goodman,J./Pach,J./Pollack,R.(eds.):詳報掲載
Surveys on Discrete and Computational Geometry:
Twenty Years Later.
(Contemporary Mathematics, Vol. 453)
Mar. 2008 556 pp.
(A.M.S.) 9780821842393 19,990.
263 Hammer,J./Schneider,M.:
Handbook of Database Systems.
Mar. 2009 1280 pp.
(Chapman & Hall) 9781584886204 23,010.
*264 Hazzan,O./DubinskyY.:
Agile Software Engineering.
(Undergraduate Topics in Computer Science)
Sep. 2008 300 pp.
(Springer) 9781848001985 6,600.
／注文方法／ボタンの
265 Hinek,M.:
Cryptanalysis of RSA and Its Variants.
(Chapman & Hall/CRC Cryptography and Network Security Series)
Jan. 2009 256 pp.
(Chapman & Hall) 9781420075182 13,060.
*266 Huang,K./Yang,H./King,I./Lyu,M.:
Machine Learning: Modeling Data Locally and Globally.
June 2008 300 pp.
(Springer) 9783540794516 31,840.
*267 Kim,B.:
Simplicity Theory.
(Oxford Logic Guides, Series)
Sep. 2008 304 pp.
(Oxford) 9780198567387 17,100.
*268 Kutsch,R./Milanovic,M.(eds.) :
Model-Based Software and Data Integration: 1st
MBSDI 2008, Berlin.
(Communications in Computer andInformation Science, Vol. 8)
Apr. 2008 125 pp.
(Springer) 9783540789987 14,210.
*269 Lee,K.:
Programming Languages: An Active Learning Approach.
July 2008 295 pp.
(Springer) 9780387794211 24,340.
／注文方法／ボタンの
*270 Li,T.:
An Approach to Modelling Software Evolution Processes.
Sep. 2008 270 pp.
(Springer) 9783540794639 24,250.
*271 Lindner,C./Rodger,C.:
Design Theory, 2nd Revised ed.
(Discrete Mathematics and Its Applications, Vol. **)
Nov. 2008 ....
(Chapman & Hall) 9781420082968 14,610.
*272 Malkin,T.(ed.):
Topics in Cryptology -CR- Rsa 2008:
The Cryptographer's Track at the RSA Conference
2008, San Francisco.
(Lecture Notes in Computer Science, Vol. 4964)
Apr. 2008 437 pp.
(Springer) 9783540792628 13,720.
*273 Martin,L.:
Introduction to Identity-Based Encryption.
2008 232 pp.
(Artech House) 9781596932388 15,240.
274 Martinez-Moro,E.et al.(eds.):詳報掲載
Advances in Algebraic Geometry Codes.
(Series on Coding Theory and Cryptology)
Nov. 2008 380 pp.
(World Sci.) 9789812794000 15,190.
／注文方法／ボタンの
*275 Monien,B./Schroeder,U.(eds.):
Algorithmic Game Theory: 1st SAGT 2008, Paderborn.
(Lecture Notes in Computer Science, Vol. 4997)
May 2008 363 pp.
(Springer) 9783540793083 12,740.
276 Myasnikov,A./Shpilrain,V./Ushakov,A.:詳報掲載
Group-Based Cryptography.
(Advanced Courses in Mathematics - CRM Barcelona)
June 2008 250 pp.
(Birkhauser) 9783764388263 7,320.
*277 Nakahar Mikio et al. (eds.):
Mathematical Aspects of Quantum Computing 2007.
(Kinki University Series on Quantum Computing, Vol. 1)
Aug. 2008 230 pp.
(World Sci.) 9789812814470 11,470.
*278 Nies,A.:
Computability and Randomness.
Sep. 2008 420 pp.
(Oxford) 9780199230761 15,550.
*279 Pei,D./Yung,M./Lin,D./Wu,C.(eds.):
Information Security and Cryptology:
3rd SKLOIS Conference, Inscrypt 2007,Xining.
(Lecture Notes in Computer Science, Vol. 4990)
May 2008 534 pp.
(Springer) 9783540794981 15,680.
／注文方法／ボタンの
*280 Rosen,K.:
Handbook of Discrete and Combinatorial Mathematics, 2nd ed.
(Discrete Mathematics and Its Applications, Vol. **)
Dec. 2008 ....
(Chapman & Hall) 9781584887805 23,010.
*281 Shoham,Y./Leyton-Brown,K.:詳報掲載
Multiagent Systems:
Algorithmic, Game-Theoretic, and Logical Foundations.
Aug. 2008 480 pp.
(Cambridge) 9780521899437 8,400.
*282 Shoshani,A./Rotem,D.:
Scientific Data Management:
Challenges, Existing Technology, and Deployment.
(Chapman & Hall/CRC Computational Science)
Feb. 2009 300 pp.
(Chapman & Hall) 9781420069808 14,610.
283 Simovici,D./Djeraba,C.:
Mathematical Tools for Data Mining:
Set Theory, Partial Orders, Combinatorics.
July 2008 630 pp.
(Springer) 9781848002005 24,490.
*284 Skiena,S.:
The Algorithm Design Manual, 2nd ed.
Aug. 2008 750 pp.
(Springer) 9781848000698 13,460.
／注文方法／ボタンの
*285 Smart,N.:
Advances in Cryptology -Eurocrypt 2008:
27th Annual Int'l Conference on the Theory
and Applications of Cryptographic Techniques, Istanbul.
(Lecture Notes in Computer Science, Vol. 4965)
Apr. 2008 564 pp.
(Springer) 9783540789666 16,660.
*286 Sottile,M./Rasmussen,C.:
Introduction to Concurrency in Programming Languages.
(Computational Mathematics)
Nov. 2008 350 pp.
(Chapman & Hall) 9781420072136 21,140.
287 Vasco,M./Magliveras,S./Steinwandt,R.:
Group Theoretic Cryptography.
(Chapman & Hall/CRC Cryptography and Network Security Series)
Dec. 2008 320 pp.
(Chapman & Hall) 9781584888369 14,610.
*288 Xue,D./Chen,Y.:
Solving Applied Mathematical Problems with MATLAB.
Oct. 2008 450 pp.
(Chapman & Hall) 9781420082500 10,880.
*289 Yeung,R.:
Information Theory and Network Coding.
Aug. 2008 605 pp.
(Springer) 9780387792330 11,010.
／注文方法／ボタンの