liste des nouvelles acquisitions des bibliothèques de ... · 4 bories longuet f., ramirez alfonsin...
TRANSCRIPT
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 »