Book News 410号
8.計算機科学
*250 Abdennahder,N./Kordon,F.(eds.):
Reliable Software Technologies -Ada- Europe 2007:
12th -Ada- Europe, Geneva.
(Lecture Notes in Computer Science, Vol. 4498)
July 2007 247 pp.
(Springer) 9783540732297 11,200.
*251 Acharya,B./Arumugam,S./Rao,S.:
Labelings of Discrete Structures and Its Applications.
Dec. 2008 200 pp.
(Narosa) 9788173198601 14,380.
252 Andre,M.et al.(eds.):
Semigroups and Formal Languages
Proceedings of the International Conference
Centro de Algebra da Universidade de Lisboa (CAUL), 2005.
June 2007 288 pp.
(World Sci.) 9789812707383 15,720.
*253 Bandara,A./Burgess,M.(eds.):
Inter-Domain Management: 1st AIMS 2007, Oslo.
(Lecture Notes in Computer Science, Vol. 4543)
July 2007 237 pp.
(Springer) 9783540729853 10,460.
254 Blackedge,J.:
Cryptography: Chaos and Fractals.
June 2007 250 pp.
(Horwood) 9781904275220 10,020.
／注文方法／ボタンの
*255 Bshoutl,N./Gentile,C.(eds.):
Learning Theory 20th Annual Conference on Learning Theory:
COLT 2007, San Diego.
(Lecture Notes in Computer Science, Vol. 4539)
June 2007 634 pp.
(Springer) 9783540729259 17,930.
*256 Burger,W./Burge,M.:
Digital Image Processing:
An Algorithmic Introduction using Java.
(Texts in Computer Science)
Nov. 2007 592 pp.
(Springer) 9781846283796 13,680.
*257 Carlet,C./Sunar,B.(eds.):
Arithmetic of Finite Fields: 1st WAIFI 2007, Madrid.
(Lecture Notes in Computer Science, Vol. 4547)
July 2007 355 pp.
(Springer) 9783540730736 12,950.
*258 Comon-Lundh,H.et al.(eds.):
Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud
on the Occasion of his 60th Birthday.
(Lecture Notes in Computer Science, Vol. 4600)
July 2007 273 pp.
(Springer) 9783540731467 11,200.
*259 Cooper,S./Lowe,B./Sorbi,A.(eds.):
Computation and Logic in The Real World:
3rd CiE2007, Siena.
(Lecture Notes in Computer Science, Vol. 4497)
July 2007 826 pp.
(Springer) 9783540730002 21,410.
／注文方法／ボタンの
*260 Crescenzi,P./Prencipe,G./Pucci,G.(eds.):
Fun with Algorithms: 4th FUN 2007, Castiglioncello.
(Lecture Notes in Computer Science, Vol. 4475)
June 2007 273 pp.
(Springer) 9783540729136 11,200.
261 Ericsson,M.(ed.):詳報掲載
Quantum Information and Many Body Quantum Systems.
(Publications of the Scuola Normale Superiore/CRM Series, Vol. 5)
Jan. 2008 400 pp.
(S.N.S.) 9788876423079 6,220.
*262 Fernandes-Manjon,B.et al.(eds.):
Computers and Education:
E-learning, From Theory to Practice.
Aug. 2007 250 pp.
(Springer) 9781402049132 23,650.
*263 Gilmore,R.:詳報掲載
Lie Groups, Physics, and Geometry:
An Introduction for Physicists, Engineers and Chemists.
Aug. 2007 650 pp.
(Cambridge) 9780521884006 14,800.
*264 Gorodetsky,V.et al.(eds.):
Autonomous Intelligent Systems:
2nd AIS-ADM 2007, St.Petersburg.
(Lecture Notes in Computer Science, Vol. 4476)
June 2007 323 pp.
(Springer) 9783540728382 11,950.
／注文方法／ボタンの
*265 Hecht-Nielsen,R.:
Confabulation Theory: The Mechanism of Thought.
Aug. 2007 245 pp.
(Springer) 9783540496038 .....
266 Jungnickel,D.:詳報掲載
Graphs, Networks and Algorithms, 3rd ed.
(Algorithms and Computation in Mathematics, Vol. 5)
July 2007 665 pp.
(Springer) 9783540727798 16,170.
*267 Katz,J./Yung,M.(eds.):
Applied Cryptography and Network Security:
5th ACNS 2007, Zhuhai.
(Lecture Notes in Computer Science, Vol. 4521)
June 2007 498 pp.
(Springer) 9783540727378 15,940.
*268 Kauers,M.et al.(eds.):
Towards Mechanized Mathematical Assistants:
14th Calculemus 2007, 6th MKM 2007 Hagenberg.
(Lecture Notes in Computer Science, Vol. 4573)
July 2007 407 pp.
(Springer) 9783540730835 13,940.
*269 Knapp,G.et al.(eds.):
Advances in Information Systems Development, Vol. 1.
Aug. 2007 530 pp.
(Springer) 9780387707600 38,580.
／注文方法／ボタンの
*270 Knapp,G.et al.(eds.):
Advances in Information Systems Development, Vol. 2.
Aug. 2007 500 pp.
(Springer) 9780387708010 38,580.
*271 Larsen,M.:
Summa Summarum.
Aug. 2007 240 pp.
(A K Peters) 9781568813233 9,060.
*272 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 10,910.
*273 Marchiori,M.et al.(eds.):
Web Reasoning and Rule Systems: 1st RR 2007, Insbruck.
(Lecture Notes in Computer Science, Vol. 4524)
June 2007 382 pp.
(Springer) 9783540729815 12,950.
274 Mihailescu,P.:
Primes and The Beauty of Algorithms.
(Discrete Mathematics and Its Applications)
Apr. 2008 256 pp.
(Chapman & Hall) 9781584886570 14,470.
／注文方法／ボタンの
*275 Nguyen,N.et al.(eds.):
Agent and Multi-Agent Systems:
First KES Int'l Symposium, KES-AMSTA 2007, Wroclaw.
(Lecture Notes in Computer Science, Vol. 4496)
June 2007 1046 pp.
(Springer) 9783540728290 24,900.
*276 Okadome,T.et al.(eds.):
Pervasive Computing for Quality of Life Enhancement:
5th Int'l Conference on Smart Homes
and Health Telematics, OST 2007, Nara.
(Lecture Notes in Computer Science, Vol. 4541)
July 2007 248 pp.
(Springer) 9783540730347 11,110.
*277 Okuno,H./Ali,M.(eds.):
New Trends in Applied Artificial Intelligence:
20th Int'l Conference on Industrial and
Engineering Applications of
Artificial Intelligence and Expert Systems,
IEA/AIE 2007, Kyoto.
(Lecture Notes in Computer Science, Vol. 4570)
July 2007 1194 pp.
(Springer) 9783540733225 26,890.
*278 Olivetti,N.:
Automated Reasoning
with Analytic Tableaux and Related Methods:
16th Tableaux 2007, Aix en Provence.
(Lecture Notes in Computer Science, Vol. 4548)
July 2007 245 pp.
(Springer) 9783540730989 11,200.
*279 Ronchi Della Rocca,S.(ed.):
Typed Lambda Calculi and Applications: 8th TLCA 2007, Paris.
(Lecture Notes in Computer Science, Vol. 4583)
July 2007 397 pp.
(Springer) 9783540732273 13,940.
／注文方法／ボタンの
*280 Sgallari,F./Murli,A./Paragios, N.(eds.):
Scale Space and Variational Methods in Computer Vision:
1st SSVM 2007, Ischia.
(Lecture Notes in Computer Science, Vol. 4485)
June 2007 931 pp.
(Springer) 9783540728221 22,970.
*281 Zukowski,M./Kilin,S./Kowalik,J.(eds.):詳報掲載
Quantum Communication and Security.
(NATO Science for Peace and Security, Vol. 11)
June 2007 248 pp.
(IOS Press) 9781586037499 28,630.