Book News 411号
8.計算機科学
254 A.C.M.:
POPL 2007.
(Symposium on Principles of Programming Language, Vol. 34)
May 2007 390 pp.
(A.C.M.) 9781595935755 13,460.
*255 A.C.M.:
SCG ・7: Computational Geometry.
(Computational Geometry, Vol. 23)
June 2007 390 pp.
(A.C.M.) 9781595937056 19,690.
*256 Anai,H./Horimoto,K./Kutsia,T.(eds.):
Algebraic Biology: 2nd AB 2007 Castle of Hagenberg.
(Lecture Notes in Computer Science, Vol. 4545)
July 2007 379 pp.
(Springer) 9783540734321 13,100.
*257 Arge,L./Cachin,C./Jurdzi地ski,T./Tarlecki,A.(eds.):
Automata, Languages and Programming:
34th ICALP 2007, Wroclaw.
(Lecture Notes in Computer Science, Vol. 4596)
July 2007 953 pp.
(Springer) 9783540734192 23,180.
*258 Baader,F.(ed.):
Term Rewriting and Applications: 18th RTA 2007, Paris.
(Lecture Notes in Computer Science, Vol. 4533)
July 2007 419 pp.
(Springer) 9783540734475 14,110.
／注文方法／ボタンの
*259 Clavel,M./Duran,F./Eker,S./Lincoln,P./Marti-Oliet,N./Meseguer,J./Talcott,C.:
All About Maude -A High-Performance Logical Framework:
How to Specify, Program, and Verify Systems in
Rewriting Logic.
(Lecture Notes in Computer Science, Vol. 4350)
Aug. 2007 797 pp.
(Springer) 9783540719403 19,910.
*260 Craig,I.:
Formal Refinement for Operating System Kernels.
Sep. 2007 350 pp.
(Springer) 9781846289668 16,620.
*261 Deza,M./Sikiric,M. :詳報掲載
Geometry of Chemical Graphs: Polycycles and Two-faced Maps.
(Encyclopedia of Mathematics and its Applications, Vol. 119)
Mar. 2008 350 pp.
(Cambridge) 9780521873079 .....
*262 Dress,A./Xu,Y./Zhu,B.(eds.):
Combinatorial Optimization and Application:
1st COCOA 2007, Xi'an.
(Lecture Notes in Computer Science, Vol. 4616)
Aug. 2007 390 pp.
(Springer) 9783540735557 14,110.
*263 Farouki,R.:
Pythagorean-Hodograph Curves:
Algebra and Geometry Inseparable.
(Geometry and Computing, Vol. 1)
Oct. 2007 740 pp.
(Springer) 9783540733973 15,110.
／注文方法／ボタンの
264 Friend,M./Goethe,N./Harizanov,V.(eds.):
Induction, Algorithmic Learning Theory, and Philosophy.
(Logic, Epistemology, and the Unity of Science, Vol. 9 Series)
Aug. 2007 302 pp.
(Springer) 9781402061264 32,750.
*265 Futcher,L./Dodge,R.(eds.):
Fifth World Conference on Information Security Education:
The IFIP TC 11 Wg 11. 8, WISE 5 2007, United
States Military Academy.
July 2007 148 pp.
(Springer) 9780387732688 24,700.
266 Gross,J.:
Combinatorial Methods with Computer Applications.
(Discrete Mathematics and Its Applications)
Nov. 2007 656 pp.
(Chapman & Hall) 9781584887430 16,960.
*267 Huang,S./MacCallum,D./.Du,D.(eds.):
Network Security.
Nov. 2007 370 pp.
(Springer) 9780387738208 25,040.
*268 Jacky,J./Veanes,M./Campbell,C./Schulte,W.:
Model-Based Software Testing and Analysis with C:
A Model-based Approach using SpecExplorer.
Nov. 2007 368 pp.
(Cambridge) 9780521886550 18,220.
／注文方法／ボタンの
*269 Jacky,J./Veanes,M./Campbell,C./Schulte,W.:
Model-Based Software Testing and Analysis with C:
A Model-based Approach using SpecExplorer. (Paper ed.)
Nov. 2007 368 pp.
(Cambridge) 9780521687614 8,280.
*270 Kornai,A.:
Mathematical Linguistics.
(Advanced Information and Knowledge Processing)
Nov. 2007 305 pp.
(Springer) 9781846289859 19,390.
*271 Kucera,L./Kucera,A.(eds.):
Mathematical Foundations of Computer Science 2007:
32nd Int'l Symposium, MFCS 2007 Cesky Krumlov.
(Lecture Notes in Computer Science, Vol. 4708)
Aug. 2007 764 pp.
(Springer) 9783540744559 21,170.
272 Larsen,M.:
Summa Summarum.
Aug. 2007 240 pp.
(A K Peters) 9781568813233 9,020.
*273 Leivant,D./de Queiroz, R.(eds.):
Logic, Language Information and Computation:
14th WoLLIC 2007, Rio de Janeiro.
(Lecture Notes in Computer Science, Vol. 4576)
July 2007 363 pp.
(Springer) 9783540734437 13,100.
／注文方法／ボタンの
274 Li,W.-C.(ed.):詳報掲載
Recent Trends in Coding Theory and Its Applications.
(AMS/IP Studies in Advanced Mathematics, Vol. 41)
Aug. 2007 200 pp.
(A.M.S.) 9780821842980 15,860.
*275 Lin,G.(ed.) :
Computing and Combinatorics: 13th COCOON 2007, Banff.
(Lecture Notes in Computer Science, Vol. 4598)
Aug. 2007 570 pp.
(Springer) 9783540735441 17,140.
*276 Lopez,J./Samarati,P./Ferrer,J.(eds.):
Public Key Infrastructure: 4th EuroPKI 2007,
Palma de Mallorca.
(Lecture Notes in Computer Science, Vol. 4582)
July 2007 375 pp.
(Springer) 9783540734079 13,100.
*277 Masulli,F./Mitra,S./Pasi,G.(eds.):
Applications of Fuzzy Sets Theory: 7th WILF 2007, Camogli.
(Lecture Notes in Computer Science, Vol. 4578)
July 2007 693 pp.
(Springer) 9783540733997 20,160.
*278 Meyer,B./Gurevich,Y.(eds.):
Tests and Proofs: 1st TAP 2007, Zurich.
(Lecture Notes in Computer Science, Vol. 4454)
Aug. 2007 217 pp.
(Springer) 9783540737698 10,580.
／注文方法／ボタンの
*279 Moreno,A./Pavon,J.(eds.):
Issues in Multi-Agent Systems: From Research to Practice.
Jan. 2008 250 pp.
(Springer) 9783764385422 10,050.
*280 Mossakowski,T./Montanari,U./Haveraaen,M.(eds.):
Algebra and Coalgebra in Computer Science:
2nd CALCO 2007, Bergen.
(Lecture Notes in Computer Science, Vol. 4624)
Aug. 2007 460 pp.
(Springer) 9783540738572 15,120.
*281 Neuhaus,M./Bunke,H.:
Bridging The Gap Between Graph
Edit Distance and Kernel Machines.
(Series in Machine Perception and Artificial Intelligence, Vol. 68)
Nov. 2007 230 pp.
(World Sci.) 9789812708175 10,860.
*282 Park,H./Regensburger,G.(eds.):
Grobner Bases in Control Theory and Signal Processing.
(Radon Series on Computational and Applied Mathematics, Vol. 3)
Nov. 2007 200 pp.
(de Gruyter) 9783110193336 29,740.
*283 Pejas,J./Saeed,K.(eds.):
Advances in Information Processing and Protection.
Nov. 2007 460 pp.
(Springer) 9780387731360 32,750.
／注文方法／ボタンの
*284 Perner,P.(ed.):
Advances in Data Mining-Theoretical Aspects and Applications:
7th ICDM 2007m Leipzig.
(Lecture Notes in Computer Science, Vol. 4597)
Aug. 2007 353 pp.
(Springer) 9783540734345 13,100.
*285 Perner,P.(ed.):
Machine Learning and Data Mining in Pattern Recognition:
5th MLDM 2007, Leipzig.
(Lecture Notes in Computer Science, Vol. 4571)
Aug. 2007 913 pp.
(Springer) 9783540734987 23,180.
*286 Pieprzyk,J./Ghodosi,H./Dawson,E.(eds.) :
Information Security and Privacy: 12th ACISP
2007, Townsville.
(Lecture Notes in Computer Science, Vol. 4586)
July 2007 476 pp.
(Springer) 9783540734574 15,120.
*287 Poo,D./Kiong,D./Ashok,S.:
Object-Oriented Programming and Java, 2nd ed.
Oct. 2007 385 pp.
(Springer) 9781846289620 9,060.
*288 Rosenkranz,M./Wang,D.(eds.):
Grobner Bases in Symbolic Analysis.
(Radon Series on Computational and Applied Mathematics, Vol. 2)
Nov. 2007 400 pp.
(de Gruyter) 9783110193237 24,700.
／注文方法／ボタンの
*289 Schneider,K./Brandt,J.(eds.):
Theorem Proving in Higher Order Logics:
20th Int'l Conference, 2007, Kaiserslautern.
(Lecture Notes in Computer Science, Vol. 4732)
Sep. 2007 401 pp.
(Springer) 9783540745907 14,110.
*290 Sendra,J.:詳報掲載
Rational Algebraic Curves: A Computer Algebra Approach.
(Algorithms and Computation in Mathematics, Vol. 22)
Nov. 2007 310 pp.
(Springer) 9783540737247 15,090.
*291 Siarry,P./Michalewicz,Z.(eds.):
Advances in Metaheuristics for Hard Optimization.
(Natural Computing Series)
Oct. 2007 510 pp.
(Springer) 9783540729594 18,890.
*292 Singh,S./Singh,M.(eds.):
Progress in Pattern Recognition.
(Advances in Pattern Recognition)
Sep. 2007 240 pp.
(Springer) 9781846289446 22,670.
*293 Takagi,T./Okamoto,T./Okamoto,E./Okamoto,T.(eds.):
Pairing-Based Cryptography:
1st Int'l Conference, Pairing 2007, Tokyo.
(Lecture Notes in Artificial Intelligence, Vol. 4575)
July 2007 407 pp.
(Springer) 9783540734888 14,110.
／注文方法／ボタンの
*294 Tuyls,P./Skoric,B./Kevenaar,T.(eds.):
Security with Noisy Data:
Private Biometrics, Secure Key Storage
and Anti-Counterfeiting.
Nov. 2007 355 pp.
(Springer) 9781846289835 19,390.
*295 Xiao,Y./Pan,Y.(eds.) :
Security in Distributed and Networking Systems.
(Computer and Network Security, Vol. 1)
Nov. 2007 600 pp.
(World Sci.) 9789812708076 18,400.