Book News 422号
8.計算機科学
*234 A.C.M.:
POPL '08:
35th Symposium on Principles of Programming Language.
(Symposium on Principles of Programming Language, Vol. 35)
June 2008 435 pp.
(A.C.M.) 9781595936899 12,870.
*235 Beckmann,A.et al.(eds.):
Logic and Theory of Algorithms:
4th Conference on Computability in Europe, CiE 2008 Athens.
(Lecture Notes in Computer Science, Vol. 5028)
July 2008 596 pp.
(Springer) 9783540694052 18,140.
*236 Bellovin,S.et al.(eds.):
Applied Cryptography and Network Security:
6th International Conference, ACNS 2008, New York.
(Lecture Notes in Computer Science, Vol. 5037)
June 2008 508 pp.
(Springer) 9783540689133 16,130.
*237 Bergler,S.(ed.) :
Advances in Artificial Intelligence:
21st Conference of the Canadian Society for
Computational Studies
of Intelligence, Canadian AI 2008, Windsor.
(Lecture Notes in Computer Science, Vol. 5032)
June 2008 382 pp.
(Springer) 9783540688211 13,100.
238 Bollobas,B./Kozma,R./Miklos,D.(eds.) :詳報掲載
Handbook of Large-Scale Random Networks:
Mathematical Studies.
(Bolyai Society Mathematical Studies, Vol. 18)
July 2008 600 pp.
(Springer) 9783540693949 32,750.
／注文方法／ボタンの
239 Burger,W./Nurge,M.:詳報掲載
Principles of Image Processing -Fundamental Techniques.
(Undergraduate Topics in Computer Science)
Feb. 2009 280 pp.
(Springer) 9781848001909 6,290.
240 Burger,W./Nurge,M.:
Principles of Image Processing -Core Algorithms.
(Undergraduate Topics in Computer Science)
Feb. 2009 280 pp.
(Springer) 9781848001947 7,550.
*241 Degano,P./Nicola,R./Meseguer,J.(eds.):
Concurrency, Graphs and Models:
Essays Dedicated to Ugo Montanari on the Occasion
of His 65th Birthday.
(Lecture Notes in Computer Science, Vol. 5065)
July 2008 810 pp.
(Springer) 9783540686767 19,660.
*242 Elbirt,A.:詳報掲載
Understanding and Applying Cryptography and Data Security.
Oct. 2008 424 pp.
(Auerbach Pub.) 9781420061604 13,480.
243 Hardy,D./Richman,F./Walker,C.:
Applied Algebra:
Codes, Ciphers and Discrete Algorithms, 2nd ed.
(Discrete Mathematics and Its Applications)
Feb. 2009 ....
(Chapman & Hall) 9781420071429 14,440.
／注文方法／ボタンの
*244 Hardy,Y./Tan,K./Steeb,W.-H.:
Computer Algebra with Symbolic C++.
Aug. 2008 620 pp.
(World Sci.) 9789812833617 8,420.
245 Heubach,S./Mansour,T.:
Combinatorics of Compositions and Words.
(Discrete Mathematics and Its Applications)
May 2009 486 pp.
(Chapman & Hall) 9781420072679 26,960.
*246 Ishikawa,M.et al.(eds.):
Neural Information Processing:
14th Int'l Conference, ICONIP 2007, Kitakyushu, Part I.
(Lecture Notes in Computer Science, Vol. 4984)
July 2008 1147 pp.
(Springer) 9783540691549 27,220.
*247 Ishikawa,M.et al.(eds.):
Neural Information Processing:
14th Int'l Conference, ICONIP 2007, Kitakyushu, Part II.
(Lecture Notes in Computer Science, Vol. 4985)
July 2008 1091 pp.
(Springer) 9783540691594 26,460.
248 Jalote,P.:
A Concise Introduction to Software Engineering.
(Undergraduate Topics in Computer Science)
Sep. 2008 285 pp.
(Springer) 9781848003019 6,790.
／注文方法／ボタンの
*249 Kilford,L.:詳報掲載
Modular Forms: A Classical and Computational Introduction.
Sep. 2008 200 pp.
(World Sci.) 9781848162136 8,750.
*250 Kugler,P./Windsteiger,W.:
Algorithmische Methoden, Band 1: Zahlen, Vektoren, Polynome.
(Mathematik Kompakt)
Oct. 2008 150 pp.
(Birkhauser) 9783764384340 4,450.
*251 Kugler,P./Windsteiger,W.:
Algorithmische Methoden, Band 2: Folgen, Funktionen, Matrizen.
(Mathematik Kompakt)
Apr. 2009 150 pp.
(Birkhauser) 9783764385156 4,450.
252 Li,Y.et al.(eds.):
Coding and Cryptology:
Proceedings of the Int'l Workshop Wuyi Mountain, 2007.
July 2008 250 pp.
(World Sci.) 9789812832238 13,280.
*253 Miculan,M./Scagnetto,I./Honsell,F.(eds.) :
Types for Proofs and Programs:
Int'l Conference, TYPES 2007,
Cividale del Friuli, Italy, Revised Selected Papers.
(Lecture Notes in Computer Science, Vol. 4941)
July 2008 203 pp.
(Springer) 9783540680840 10,580.
／注文方法／ボタンの
*254 Mjolsnes,S./Mauw,S./Katsikas,S.(eds.):
Public Key Infrastructure: 5th European PKI Workshop;
Theory and Practice, EuroPKI 2008 Trondheim.
(Lecture Notes in Computer Science, Vol. 5057)
July 2008 239 pp.
(Springer) 9783540694847 10,580.
255 Moller,F./Struth,G.:
Modelling Computer Systems:
The Mathematics of Computer Science.
(Undergraduate Topics in Computer Science)
Feb. 2009 250 pp.
(Springer) 9781848003217 6,790.
*256 Soares,C./Zhou,Z.(eds.) :
Applications of Data Mining in E-Business and Finance.
Aug. 2008 120 pp.
(IOS Press) 9781586038908 27,940.
*257 Suzuki K.et al.(eds.) :
Testing of Software and Communication Systems:
20th IFIP TC 6/WG 6.1 International Conference,
TestCom 2008 8th International Workshop,
FATES 2008, Tokyo, 2008 Proceedings.
(Lecture Notes in Computer Science, Vol. 5047)
July 2008 303 pp.
(Springer) 9783540685142 17,140.
*258 Suzuki,K.et al.(eds.):
Formal Techniques for
Networked and Distributed Systems - FORTE 2008:
28th IFIP WG 6.1 Int'l Conference Tokyo.
(Lecture Notes in Computer Science, Vol. 5048)
June 2008 341 pp.
(Springer) 9783540688549 18,400.
／注文方法／ボタンの
*259 Vandebril,R./van Barel,M./Mastronardi,N.:
Matrix Computations and Semiseparable Matrices:
Eigenvalue and Singular Value Methods, Vol. 2.
Jan. 2009 512 pp.
(Johns Hopkins) 9780801890529 12,150.
*260 Veloso,M.(ed.):
IJCAI '07. 2 Vols. Set
(International Joint Conference on Artificial intelligence, Vol. 20)
June 2008 2954 pp.
(AAAI/ IJCAI) 9781577352983 32,600.
*261 Willems,W. :
Codierungstheorie und Kryptographie.
(Mathematik Kompakt)
June 2008 152 pp.
(Birkhauser) 9783764386115 4,450.
*262 Zelkowitz,M.(ed.):
High Performance Computing.
(Advances in Computers, Vol. 72)
June 2008 348 pp.
(Academic) 9780123744111 22,680.