Book News 412
8.vZ@Θw
*249 A. C. M.:
PODS 2007:
Symposium on Principles of Database@Systems, Vol. 26.
2007 313 pp.
(A.C.M.) 9781595936851 15,480.
*250 A.C.M.:
STOC-2007: 39th Annual ACM Symposium on Theory of Computing.
2007 735 pp.
(A.C.M.) 9781595936318 22,070.
*251 Altenkirch,T./McBride,C.(eds.):
Types for Proofs and Programs: TYPES 2006, Nottingham.
(Lecture Notes in Computer Science, Vol. 4502)
Sep. 2007 269 pp.
(Springer) 9783540744634 11,340.
*252 Ammann,P./Offutt,J.:
Introduction to Softwaretesting.
Jan. 2008 512 pp.
(Cambridge) 9780521880381 10,620.
*253 Bandyopadhyay,S.:ΪρfΪ
Dissemination of Information in Optical Networks:
From Technology to Algorithms; In Cooperation
with Ralf Klasing.
(Texts in Theoretical Computer Sciences. An EATCS Series)
Nov. 2007 250 pp.
(Springer) 9783540728740 16,370.
^Άϋ@^{^Μ
254 Beck,J.:
Combinatorial Games: Tic-Tac-Toe Theory.
Mar. 2008 700 pp.
(Cambridge) 9780521461009 23,010.
*255 Berndtsson,M./Hansson,J./Olsson,B./Lundell,B.:
Thesis Projects: A Guide for Students
in Computer Science and Information Systems, 2nd ed.
Dec. 2007 190 pp.
(Springer) 9781848000087 10,070.
*256 Bhat,U.:
An Introduction to Queueing Theory:
Modeling and Analysis in Applications.
Feb. 2008 375 pp.
(Birkhauser) 9780817647247 11,130.
*257 Biham,E./Youssef,A.(eds.):
Selected Areas in Cryptography: 13th SAC 2006, Montreal.
(Lecture Notes in Computer Science, Vol. 4356)
Sep. 2007 395 pp.
(Springer) 9783540744610 14,110.
*258 Calisti,M./Meer,S./Strassner,J.(eds.):
Advanced Autonomic Networking and Communication:
Embedding Intelligence into Devices,
Services and Networks.
(Whitestein Series in SoftwareAgent Technologies and Autonomic Computing)
Jan. 2008 190 pp.
(Birkhauser) 9783764385682 8,790.
^Άϋ@^{^Μ
*259 Chen,B./Paterson,M./Zhang,G.(eds.):
Combinatorics, Algorithms,
Probabilistic and Experimental Methodologies:
1st ESCAPE 2007, Hangzhou.
(Lecture Notes in Computer Science, Vol. 4614)
Sep. 2007 530 pp.
(Springer) 9783540744498 16,130.
*260 Chinneck,J.:
Feasibility and Infeasibility in Optimization:
Algorithms and Computational Methods.
Dec. 2007 285 pp.
(Springer) 9780387749310 18,380.
*261 Csuhaj-Varju,E./Esik,Z.(eds.):
Fundamentals of Computation Theory: 16th FCT 2007, Budapest.
(Lecture Notes in Computer Science, Vol. 4639)
Sep. 2007 508 pp.
(Springer) 9783540742395 16,130.
262 Deza,M./Sikiric,M.:ΪρfΪ
Geometry of Chemical Graphs: Polycycles and Two-faced Maps.
(Encyclopedia of Mathematics and its Applications, Vol. 119)
Mar. 2008 350 pp.
(Cambridge) 9780521873079 .....
*263 Diekert,V./Volkov,M./Voronkov,A.(eds.):
Computer Science -Theory and Applications:
2nd CSR 2007, Ekaterinburg.
(Lecture Notes in Computer Science, Vol. 4649)
Sep. 2007 420 pp.
(Springer) 9783540745099 14,110.
^Άϋ@^{^Μ
264 Farouki,R.:
Pythagorean-Hodograph Curves:
Algebra and Geometry Inseparable.
(Geometry and Computing, Vol. 1)
Oct. 2007 740 pp.
(Springer) 9783540733973 14,450.
*265 Featherstone,R.:
Robot Dynamics Algorithms, 2nd ed.
Jan. 2008 350 pp.
(Springer) 9780387743141 25,040.
*266 Filipe,J./Cordeiro,J./Pedrosa,V.(eds.):
Web Information Systems and Technologies:
WEBIST 2005/ WEBIST 2006.
(Lecture Notes in Business Information Processing, Vol. 1)
Sep. 2007 422 pp.
(Springer) 9783540740629 14,110.
*267 Fokkink,W.:ΪρfΪ
Modelling Distributed Systems.
(Texts in Theoretical Computer Sciences. An EATCS Series)
Sep. 2007 155 pp.
(Springer) 9783540739371 12,590.
*268 Gondran,M./Minoux,M.:
Graphs, Dioids and Semirings: New Models and Algorithms.
Jan. 2008 415 pp.
(Springer) 9780387754499 18,380.
^Άϋ@^{^Μ
269 Grune,D./Jacobs,C.:
Parsing Techniques, 2nd ed.
Jan. 2008 660 pp.
(Springer) 9780387202488 14,450.
*270 Helin,H./Klusch,M./Schumacher,M.(eds.):
CASCOM: Intelligent Service Coordination
in The Semantic Web.
(Whitestein Series in SoftwareAgent Technologies and Autonomic Computing)
Jan. 2008 250 pp.
(Birkhauser) 9783764385743 10,050.
*271 Jeyakumar,V./Lu,D.:
Nonsmooth Vector Functions and Continuous Optimization.
Nov. 2007 270 pp.
(Springer) 9780387737164 15,170.
272 Klawonn,F.:
Introduction to Computer Graphics: Using Java 2D and 3D.
Nov. 2007 295 pp.
(Springer) 9781846288470 7,220.
273 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 20,240.
^Άϋ@^{^Μ
*274 Markantonakis,K./Mayes,K.(eds.):
Smart Cards, Tokens, Security and Applications.
Jan. 2008 300 pp.
(Springer) 9780387721972 17,270.
*275 Martin,R./Sabin,M./Winkler,J.(eds.):
Mathematics of Surfaces XII: 12th IMA, Sheffield, 2007.
(Lecture Notes in Computer Science, Vol. 4647)
Sep. 2007 509 pp.
(Springer) 9783540738428 16,130.
*276 Meisels,A.:
Distributed Search by Constrained Agents:
Algorithms, Performance, Communication.
(Advanced Information and Knowledge Processing)
Dec. 2007 230 pp.
(Springer) 9781848000391 15,110.
*277 Menezes,A.(ed.) :
Advances in Cryptology - CRYPTO 2007:
27th Annual Int'l Cryptology Conference, Santa Barbara.
(Lecture Notes in Computer Science, Vol. 4622)
Sep. 2007 631 pp.
(Springer) 9783540741428 18,140.
*278 Muggleton,S.et al.(eds.):
Inductive Logic Programming:
16th ILP 2006, Santiago de Compostela.
(Lecture Notes in Computer Science, Vol. 4455)
Aug. 2007 456 pp.
(Springer) 9783540738466 15,120.
^Άϋ@^{^Μ
*279 Nagel,W./Jager,W./Resch,M.(eds.):
High Performance Computing in Science
and Engineering 07:
Transactions of the High Performance Computing Center,
Stuttgart (HLRS) 2007.
Nov. 2007 700 pp.
(Springer) 9783540747383 24,090.
280 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,440.
281 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 28,440.
*282 Pechoucek,M./Thompson,S./Voos,H.(eds.):
Defence Industry Applications of Autonomous Agent
and Multi-Agent Systems.
(Whitestein Series in SoftwareAgent Technologies and Autonomic Computing)
Jan. 2008 170 pp.
(Birkhauser) 9783764385705 8,790.
283 Pejas,J./Saeed,K.(eds.):
Advances in Information Processing and Protection.
Nov. 2007 460 pp.
(Springer) 9780387731360 31,320.
^Άϋ@^{^Μ
*284 Qin,Z./Xing,J./Zheng,X.:
Software Architecture.
Nov. 2007 400 pp.
(Springer) 9783540743422 32,750.
*285 Resch,M./Roller,S./Lammers,P./Furui,T./Galle,M./Bez,W.(eds.):
High Performance Computing on Vector Systems 2007.
Oct. 2007 310 pp.
(Springer) 9783540743835 19,270.
*286 Rich,E.:
Automata, Computability and Complexity:
Theory and Applications.
Aug. 2007 864 pp.
(Prentice Hall) 9780132288064 17,390.
287 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 13,500.
*288 Wang,Y./Cheung,Y./Liu,H.(eds.):
Computational Intelligence and Security: CIS
2006, Guangzhou.
(Lecture Notes in Computer Science, Vol. 4456)
Sep. 2007 1118 pp.
(Springer) 9783540743767 26,210.
^Άϋ@^{^Μ
*289 Wilks,Y.:
Machine Translation: Its Scope and Limits.
Jan. 2008 250 pp.
(Springer) 9780387727738 24,250.
*290 Zimmermann,A.:
Stochastic Discrete Event Systems:
Modeling, Evaluation, Applications.
Sep. 2007 410 pp.
(Springer) 9783540741725 17,630.
*291 Zimmermann,K.et al.:
DNA Computing Models.
(Advances in Information Security, Vol. 52)
Jan. 2008 300 pp.
(Springer) 9780387736358 24,250.
*292 de Leeuw,K.(ed.) :ΪρfΪ
The History of Information Security:
A Comprehensive Handbook.
Sep. 2007 1007 pp.
(Elsevier) 9780444516084 38,940.