1

Liste des nouvelles acquisitions

des bibliothèques de Mathématiques-Informatique Recherche

7 – 18 décembre 2015

MATHÉMATIQUES .................................................................................................................................... 1

INFORMATIQUE ....................................................................................................................................... 9

Mathématiques

GABBAY D. M., WOODS J. (Eds.), Handbook of the history of logic. Volume 5 logic from Russell to Church, Elsevier, 2009

01.1 GAB 5 A (salle Sophie Germain)

GABBAY D. M., WOODS J. (Eds.), Handbook of the history of logic. Volume 8 the many valued and non-monotonic turn in logic, Elsevier, 2007

01.1 GAB 8 (salle Jussieu)

GABBAY D. M., WOODS J. (Eds.), Handbook of the history of logic. Volume 9 computational logic, Elsevier, 2014

01.1 GAB 9 (salle Jussieu)

2

GABBAY D. M., HARTMANN S., WOODS J. (Eds.), Handbook of the history of logic. Volume 10 inductive logic, Elsevier, 2011

01.1 GAB 10 (salle Jussieu)

GABBAY D. M., PELLETIER F. J., WOODS J. (Eds.), Handbook of the history of logic. volume 11 logic : a history of its central concepts, Elsevier, 2012

01.1 GAB 11 (salle Jussieu)

HAVIL J., John Napier : life, logarithms, and legacy, PUP, 2014

01.8 NAP 14 (salle Jussieu)

BADIOU A., Éloge des mathématiques, Flammarion, 2015

02.1 BAD 15 (salle Jussieu)

NAHIN P. J., The logician and the engineer : how George Boole and Claude Shannon created the information age, PUP, 2013

02.1 NAH 13 (salle Jussieu)

3

ELAM K., Géométrie du design, Eyrolles, 2015

02.13 ELA 15 A (salle Sophie Germain)

FREIBERGER M., THOMAS R., Dans le secret des nombres, Dunod, 2015

02.13 FRE 15 (salle Jussieu)

WATKINS J. J., Across the board : the mathematics of chessboard problems, PUP, 2004

02.13 WAT 04 (salle Jussieu)

COPELAND B. J., POSY C. J., SHAGRIR O. (Eds.), Computability : Turing, Gödel, Church, and Beyond, MITP, 2013

05 COP 13 (salle Sophie Germain)

LAWVERE F. W., ROSEBRUGH R., Sets for mathematics, CUP, 2003

05 LAW 03 (salle Sophie Germain)

WEIHRAUCH K., Computable analysis : an introduction : with 44 figures, Springer, 2000

05 WEI 00 (salle Sophie Germain)

4

BORIES LONGUET F., RAMIREZ ALFONSIN J., Graphes et combinatoire : cours avec 210 exercices corrigés, Ellipses, 2015

08.7 BOR 15 (salle Jussieu)

SPIVAK D. I., Category theory for the sciences, MITP, 2014

12 SPI 14 A (salle Sophie Germain)

« HTML version » accessible en ligne (site de l’éditeur)

« Old version entitled "Category theory for the scientists"» accessible en ligne (site de l’auteur)

BRINGMANN K., BUGEAUD Y., HILBERDINK T., SANDER J., Four faces of number theory, EMS, 2015

30 FOU 15 A (salle Sophie Germain)

Disponible également en e-book

NICOLAY S., Les nombres : construction basée sur la théorie des ensembles en vue d'ériger les fondements de l'analyse, Hermann, 2015

30 NIC 15 A (salle Sophie Germain)

TENENBAUM G., Introduction to analytic and probabilistic number theory, AMS, 2015

30 TEN 15 A (salle Sophie Germain)

BOAS R. P., Invitation to complex analysis, MAA, 2010

45 BOA 10 (salle Jussieu)

5

LESFARI A., Équations différentielles ordinaires et équations aux dérivées partielles : cours et exercices corrigés, Ellipses, 2015

47 LES 15 A (salle Sophie Germain)

SANTAMBROGIO F., Optimal transport for applied mathematicians : calculus of variations, pdes, and modeling, Springer, 2015

47.5 SAN 15 A (salle Sophie Germain)

Disponible également en e-book

KIELANOWSKI P., BIELIAVSKY P., ODESSKII A., SCHLICHENMAIER M., VORONOV T. (Eds.), Geometric methods in physics : XXXIII Workshop, Białowieża, Poland, June 29 - July 5, 2014, Birkhäuser, 2015

57.5 GEO 15 A (salle Sophie Germain)

Disponible également en e-book

ROLLAND R., Géométrie projective, Ellipses, 2015

60 ROL 15 (salle Jussieu)

SUSSMAN G. J., WISDOM J., Functional differential geometry, MITP, 2013

67 SUS 13 A (salle Sophie Germain)

BANDT C., FALCONER K., ZÄHLE M. (Eds.), Fractal geometry and stochastics V, Birkhäuser, 2015

68 FRA 15 A (salle Sophie Germain)

Disponible également en e-book

6

DREYFUSS P., STOLFI-DONATI N., Probabilités et statistiques appliquées : cours, exercices et travaux pratiques avec tableur, corrigés détaillés, Ellipses, 2015

70 DRE 15 (salle Sophie Germain)

MODICA G., POPGGIOLINI L., A first course in probability and Markov chains, Wiley, 2013

70 MOD 13 (salle Sophie Germain)

Disponible également en e-book

DONATI-MARTIN C., LEJAY, A., ROUAULT A. (Eds.), In Memoriam Marc Yor : Séminaire de Probabilités XLVII, Springer, 2015

70 SEM 47-15 (salle Sophie Germain)

Disponible également en e-book

DUAN J., An introduction to stochastic dynamics, CUP, 2015

70.5 DUA 15 (salle Sophie Germain)

KORICHEVA J., GUREVITCH J., MENGERSEN K. (Eds.), Handbook of meta-analysis in ecology and evolution, PUP, 2013

72 KOR 13 A (salle Jussieu)

PAROISSIN C., Programmation et analyse statistique avec R, Ellipses, 2015

72 PAR 15 A (salle Jussieu)

7

DEVOLDER P., FOX M., VAGUENER F., Mathématiques financières, Pearson, 2015

75.7 DEV 15 (salle Jussieu)

HAYEK N., LECA J.-P., Mathématiques pour l'économie : analyse-algèbre : cours et exercices corrigés, Dunod, 2015

75.7 HAY 15 (salle Jussieu)

PERCUS J. K., CHILDRESS S., Mathematical models in developmental biology, AMS, 2015

75.9 PER 15 A (salle Sophie Germain)

HADDAD W. M., NERSESOV S. G., Stability and control of large-scale dynamical systems : a vector dissipative systems approach, PUP, 2011

76 HAD 11 (salle Jussieu)

KRUSE R., BORGELT C., KLAWONN F., MOEWES C., STEINBRECHER M., HELD P., Computational intelligence : a methodological introduction, Springer, 2013

78 COM 13 (salle Sophie Germain)

CHANCELLIER J.-P., DELEBECQUE F., GOMEZ C., GOURSAT M., NIKOUKHAH R., STEER S., Introduction à SCILAB, Springer, 2007

79 INT 07 A (salle Sophie Germain)

8

KOKO J., Approximation numérique avec MATLAB : programmation vectorisée, équations aux dérivées partielles, cours et exercices, Ellipses, 2015

79.5 KOK 15 (salle Jussieu)

LAPRESTE J.-T., Introduction à MATLAB, Ellipses, 2015

79.5 LAP 15 (salle Jussieu)

LEVI M., The mathematical mechanic : using physical reasoning to solve problems, PUP, 2009

80 LEV 12 (salle Jussieu)

SUSSMAN G. J., WISDOM J., Structure and interpretation of classical mechanics, MITP, 2014

84 SUS 14 A (salle Sophie Germain)

« Online édition » accessible en ligne (site de l’éditeur)

AMMARI H., BRETIN E., GARNIER J., KANG H., LEE H., WAHAB A., Mathematical methods in elasticity imaging, PUP, 2015

84.5 MAT 15 (salle Jussieu)

ZEE A., Einstein gravity in a nutshell, PUP, 2013

92 ZEE 13 (salle Jussieu)

9

Informatique

LIKFORMAN-SULEM L., BARNEY SMITH E., Imagerie, reconnaissance des formes : théorie et pratique sous Matlab : cours et exercices corrigés, Ellipses, 2013

MAJKIC Z., Big data integration theory : theory and methods of database mappings, programming languages, and semantics, Springer,2014

5.6 MAJ (salle Jussieu)

WEISS S. M., INDURKHYA N., ZHANG T., Fundamentals of predictive text mining, Springer, 2015

5.6 WEI (salle Jussieu)

DOWNEY R. G., FELLOWS M. R., Fundamentals of parameterized complexity, Springer, 2013

77 DOW 13 (salle Sophie Germain)

HOMER S., SELMAN, A. L., Computability and complexity theory, Springer, 2011

77 HOM 11 (salle Sophie Germain)

10

LIPTON R. J., REGAN K. W., Quantum algorithms via linear algebra : a primer, MITP, 2014

77 LIP 14 (salle Sophie Germain)

MacCORMICK J., Nine algorithms that changed the future : the ingenious ideas that drive today's computers, PUP, 2012

77 MAC 12 (salle Sophie Germain)

SCHILLER J. H., Mobile communications, Addison-Wesley, 2003

77.8 SCH 03 (salle Sophie Germain)

ALAGAR V. S., PERIYASAMY K., Specification of software systems, Springer, 2011

77.9 ALA 11 (salle Sophie Germain)

BIRMAN K. P., Guide to reliable distributed systems : building high-assurance applications and cloud-hosted services, Springer, 2012

77.9 BIR 12 (salle Sophie Germain)

CRESPI REGHIZZI S., BREVEGLIERI L., MORZENTI A., Formal languages and compilation, Springer, 2013

77.9 CRE 15 (salle Sophie Germain)

11

KIZZA J. M., Ethical and social issues in the information age, Springer, 2013

77.9 KIZ 13 (salle Sophie Germain)

ROSCO A. W., Understanding concurrent systems, Springer, 2010

77.9 ROS 10 (salle Sophie Germain)

« Book site de l’auteur »