Book News 449号
8.計算機科学
*269 Alfa,A.:
Queueing Theory for Telecommunications.
Oct. 2010 247 pp.
(Springer) 9781441973139 13,350.
*270 Almeida,J./Frade,M./Pinto,J./MelodeSousa,S.:
Rigorous Software Development:
An Introduction to Program Verification.
(Undergraduate Topics in Computer Science)
Dec. 2010 307 pp.
(Springer) 9780857290175 5,840.
*271 Dowek,G./Levy,J.:
Introduction to the Theory of Programming Languages.
(Undergraduate Topics in Computer Science)
Jan. 2011 118 pp.
(Springer) 9780857290755 5,840.
*272 Foresti,S.:
Preserving Privacy in Data Outsourcing.
Dec. 2010 200 pp.
(Springer) 9781441976581 12,520.
273 Lipton,R.:
The P=NP Question and Godel's Lost Letter.
Aug. 2010 244 pp.
(Springer) 9781441971548 13,350.
/注文方法/ボタンの / 目次へ / ページトップへ
*274 Marti,R./Reinelt,G.:詳報掲載
The Linear Ordering Problem:
Exact and Heuristic Methods in Combinatorial Optimization.
(Applied Mathematical Sciences, Vol. 175)
Feb. 2011 170 pp.
(Springer) 9783642167287 13,350.
275 Murty,K.(ed.):詳報掲載
Algebraic Curves and Cryptography.
(Fields Institute Communications, Vol. 58)
Nov. 2010 133 pp.
(A.M.S.) 9780821843116 10,110.
276 Neumann,F./Witt,C.:
Bioinspired Computation in
Combinatorial Optimization:
Algorithms and Their Computational Complexity.
Nov. 2010 214 pp.
(Springer) 9783642165436 10,010.
*277 Olive,J./Christianson,C./McCary,J.(eds.):
Handbook of
Natural Language Processing and Machine Translations:
DARPA Global Autonomous Language Exploitation.
Dec. 2010 900 pp.
(Springer) 9781441977120 25,040.
278 Onn,S.:
Nonlinear Discrete Optimization: An Algorithmic Theory.
(Zurich Lectures in Advanced Mathematics)
Aug. 2010 148 pp.
(E. M. S.) 9783037190937 5,340.
/注文方法/ボタンの / 目次へ / ページトップへ
*279 Simos,T.:
Recent Advances in Computational and Applied Mathematics.
Dec. 2010 316 pp.
(Springer) 9789048199808 41,580.
*280 Tuncel,L.:詳報掲載
Polyhedral and Semidefinite Programming Methods
in Combinatorial Optimization.
(Fields Institute Monographs, Vol. 27)
Nov. 2010 219 pp.
(A.M.S.) 9780821833520 9,860.
281 Van Mieghem,P.:詳報掲載
Graph Spectra for Complex Networks.
Nov. 2010 343 pp.
(Cambridge) 9780521194587 12,650.
*282 Yan,S.:
Quantum attacks on Publick-Key Cryptosystems.
Dec. 2010 215 pp.
(Springer) 9781441977212 12,260.