2012 INFO2 autonme - Ecole polytechnique

INFORMATIQUE
ACQUISITIONS
AUTOMNE 2012
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012
INFORMATIQUE
THESES ECOLE POLYTECHNIQUE
Conception d'un noyau de vérification de preuves pour le [lambda-Pi-calcul] modulo /présentée par Mathieu Boespflug. Palaiseau :École polytechnique,2011. - 165 p. :ill. ;30 cm
681(043) 2011.BOE
Modeling and predicting super-secondary structures of transmembrane [Beta]barrel proteins /présentée par Thuong Van
Du Tran. - Palaiseau :École polytechnique,2011. - VI-107 p. :ill. ;30 cm
681(043) 2011 TRA
Types, compilers and cryptography for secure distributed programming /présentée par Jérémy Planul. - Palaiseau :École
polytechnique,2012. - 160 p. :ill. ;30 cm
681(043) 2012.PLA
COURS ECOLE POLYTECHNIQUE
Algorithmes et programmation :du séquentiel au distribué : textes des contrôles de connaissances proposés les années
précédentes : promotion 2010, année 2, enseignement diversifié 2, INF431 /Ecole polytechnique. - Palaiseau :École
polytechnique,2012. - Pagination multiple :fig. ;30 cm
681(072) COM.ALG 2012
Introduction à la programmation et à l'algorithmique /promotion 2011, année 1, tronc commun, INF311 /François Morain. Palaiseau :École polytechnique,2012. - 266 p. ;30 cm
681(072) MOR.INT 2012
Algorithmique et programmation :promotion 2010, année 2, enseignement diversifié 2, INF431 /Benjamin Werner,
François Pottier. - Palaiseau :École polytechnique,2012. - 289 p. :fig. ;30 cm
681(072) WER.ALG 2012
INFORMATIQUE
Le guide pratique iPhone & iOS5 :iPhone 4S, iPhone 4, iPhone 3GS. - Paris :Eyrolles,2011. - 156 p. :ill. ;29 cm
621.395 IPH4.GUI
Tout sur mon iPhone 4S pour les nuls /Yasmina Salmandjee-Lecomte, Sébastien Lecomte. - Paris :First interactive,2012.
- 317 p. :ill. ;21 cm
621.395 SAL.TOU
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012
Steve Jobs /Walter Isaacson ; Trad. de l'anglais par Domonique Defert et Carole Delporte. - Paris :J.-C. Lattès,2011. 667 p.-[16] p. de pl. :ill. ;23 cm
681:3 ISA.STE
Use of risk analysis in computer-aided persuasion :[proceedings of the NATO advanced research workshop, Antalya,
Turkey, 24-26 may 2011] /ed. by Ekrem Duman,... and Amir F. Atiya,.... - Amsterdam :IOS Press,2011. - VIII-337 p. :ill.
;24 cm
681.1.04(063) DUM.USE
Quantum computing :a gentle introduction /Eleanor Rieffel and Wolfgang Polak. - Cambridge, Mass. ;London :MIT
Press,2011. - XIII-372 p. :ill. ;24 cm
681.2 RIE.QUA
Le nouvel iPad 3e génération pour les nuls /Edward C. Baig, Bob LeVitus. - Paris :First interactive,2012. - XII-351 p. :ill.
;23 cm
681.2.03 BAI.NOU
Scheduling algorithms /Peter Brucker. - Berlin :Springer,2007. - XII-371 p. :ill. ;24 cm
681.3.04 BRU.SCH
Algorithms /Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani. - Boston ;Bangkok ;Bogota :McGraw-Hill,2008. X-320 p. :ill. ;24 cm
681.3.04 DAS.ALG
Algorithm design /Jon Kleinberg , Eva Tardos. - Boston ;London ;Paris :Pearson Education :Addison-Wesley,2006. XXIII-838 p. :ill. ;24 cm
681.3.04 KLE.ALG
Algorithms /Robert Sedgewick and Kevin Wayne. - Upper Saddle River, N.J. ;Toronto ;Paris :Addison-Wesley,2011. XII-955 p. :ill. ;24 cm
681.3.04 SED.ALG 4e Ed.
Windows 7 et Office 2010 :déploiement des postes de travail en entreprise /[Olivier Bat, Guillaume Desfarges, Freddy
Elmaleh]. - Saint-Herblain :Éditions ENI,2012. - 508 p. :ill. ;21 cm
681.32 BAT.WIN
Solutions temps réel sous Linux :[avec 50 exercices corrigés] /Christophe Blaess. - Paris :Eyrolles,2012. - XV-294 p. :ill.
;23 cm
681.32 BLA.SOL
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012
Android :concevoir et développer des applications mobiles et tactiles /Florent Garin. - Paris :Dunod,2011. - X-230 p. :ill.
;25 cm
681.32 GAR.AND
Operating system concepts with Java /Abraham Silberschatz, Peter Baer Galvin, Greg Gagne. - Hoboken, N.J. :John
Wiley,2011. - XXI-902 p. :ill. ;26 cm
681.32 SIL.JAV 8e Ed.
Le guide pratique Windows 7. - Paris :Eyrolles,2011. - 158 p. :ill. ;29 cm
681.32 WIN7.GUI
Word & Excel 2010 pour les nuls /Dan Gookin & Greg Harvey. - Paris :First Interactive,2010. - XIII-384 p. :ill. ;23 cm
681.32.5 GOO.WOR 2010
Initiation à Office 2010 :Word, Excel, PowerPoint et Outlook. - Saint-Herblain :Éditions ENI,2011. - 235 p. :ill. ;22 cm
681.32.5 INI 2010
Office 2010 /Thibaud Schwartz. - Paris :Micro application,2011. - 383 p. :ill. ;21 cm
681.32.5 SCH.OFF 2010
Word 2010. - Saint-Herblain :Éditions ENI,2011. - 400 p. :ill. ;21 cm
681.32.5 WOR 2010
Software agents, agent systems and their applications /ed. by Mohammad Essaaidi, Maria Ganzha and Marcin Paprzycki.
- Amsterdam ;Berlin ;Tokyo :IOS Press,2012. - VI-347 p. :ill. ;24 cm
COLL 8 SPS/D/32
RESSOURCES
RESSOURCES ELECTRONIQUES
Head first jQuery[Ressource électronique] /Ryan Benedetti, Ronan Cranley. - Sebastopol, Calif. :O'Reilly,2011. - 544 p.
:ill.
Livre électronique
OS X mountain lion pocket guide[Ressource électronique] /Chris Seibold. - Sebastopol, Calif. :O'Reilly,2012. - 272 p. :ill.
Livre électronique
Ubuntu made easy[Ressource électronique] /Rickford Grant, Phil Bull. - San Francisco :Starch press,2012. - 480 p. :ill.
Livre électronique
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012
Introducing regular expressions[Ressource électronique] /Michael Fitzgerald. - Sebastopol, Calif. :O'Reilly,2012. - 152 p.
:ill.
Livre électronique
Getting starting with D3[Ressource électronique] /Mike Dewar. - Sebastopol, Calif. :O'Reilly,2012. - 70 p. :ill.
Livre électronique
INTELLIGENCE ARTIFICIELLE
Computational intelligence :an introduction /Andries P. Engelbrecht. - Chichester :John Wiley,2007. - XXX-597 p. :ill. ;25
cm
681.35 ENG.COM
Manuel d'intelligence artificielle /Louis Frécon & Okba Kazar. - Lausanne :Presses polytechniques et universitaires
romandes,2009. - XVIII-757 p. :ill. ;24 cm
681.35 FRE.MAN
Speech and language engineering /Martin Rajman, editor. - Lausanne :EPFL Press ;Boca Raton :CRC Press,2007. XXIV-478 p. :ill. ;25 cm
681.35.6 VAP.NAT
RESSOURCES ELECTRONIQUES
programming computer vision with Python[Ressource électronique] /Jan Erick Solem. - Sebastopol, Calif. :O'Reilly,2012.
- 272 p. :ill.
Livre électronique
LANGAGES DE PROGRAMMATION
PROGRAMMATION
Essentials of digital signal processing using MATLAB /Vinay K. Ingle, John G. Proakis. - [S.l.] :Cengage Learning,2012. XV-652 p. :ill. ;24 cm
621.392 ING.ESS
Digital signal processing using MATLAB for students and researchers /John W. Leis. - Hoboken, N.J. :John Wiley,2011. XII-382 p. :ill. ;25 cm
621.392 LEI.DIG
Essentials of programming languages /Daniel P. Friedman, Mitchell Wand. - Cambridge, Mass. :MIT Press,2008. - XXII410 p. ;24 cm
681.31 FRI.ESS
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012
MATLAB :a practical introduction to programming and problem solving /Stormy Attaway. - Amsterdam ;Boston ;Paris
:Elsevier :Butterworth-Heinemann,2012. - XX-518 p. :ill. ;24 cm
681.31.21.3 ATT.MAT
MATLAB pour l'ingénieur :version 7 /Adrian Biran, Moshe Breiner ; coordination, traduction et relecture par Nicolas
Larrousse. - Paris :Pearson education,2009. - XV-526 p. :ill. ;24 cm
681.31.21.3 BIR.MAT 2e Ed.
Calcul scientifique avec MATLAB :outils MATLAB spécifiques, équations aux dérivées partielles /Jonas Koko. - Paris
:Ellipses,2009. - XVIII-265 p. :ill. ;25 cm
681.31.21.3 KOK.CAL
Introduction à MATLAB /Jean-Thierry Lapresté. - Paris :Ellipses,2009. - 239 p. :ill. ;26 cm
681.31.21.3 LAP.INT 3e Ed.
Calcul scientifique :cours, exercices corrigés et illustrations en MATLAB et Octave /Alfio Quarteroni, Fausto Saleri, Paola
Gervasio. - Milan :Springer,2010. - XIV-365 p. :Ill. ;24 cm
681.31.21.3 QUA.CAL
Initiation à la programmation avec Scheme /Laurent Bloch ; préf. de Christian Queinnec. - Paris :Ed. Technip,2011. - VII367 p. :ill. ;24 cm
681.31.290 BLO.INI
Python :les fondamentaux du langage, la programmation pour les scientifiques /Matthieu Brucher. - Saint-Herblain
:Éditions ENI,2008. - 352 p. :ill. ;21 cm
681.31.291 BRU.PYT
C++ template metaprogramming :concepts, tools, and techniques from boost and beyond /David Abrahams, Aleksey
Gurtovoy. - Boston :Addison-Wesley,2004. - XIV-373 p. ;24 cm +1 CD-ROM
681.31.292 ABR.C++
Programmer en langage C++ /Claude Delannoy. - Paris :Eyrolles,2010. - XXXIII-822 p. :Ill. ;23 cm
681.31.292 DEL.PRO 8e Ed.
Programmer en Java :[Java 5 et 6] /Claude Delannoy. - Paris :Eyrolles,2011. - XXVII-830 p. :ill. ;20 cm
681.31.293 DEL.PRO 6e Ed.
Java 7 :les fondamentaux du langage Java /Thierry Groussard. - Saint-Herblain :Éditions ENI,2011. - 416 p. :ill. ;21 cm
681.31.293 GRO.JAV
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012
RESSOURCES ELECTRONIQUES
A physicist's guide to Mathematica[Ressource électronique] /Patrick T. Tam. - Amsterdam ;Boston ;Paris :Elsevier
:Academic Press,2008. - XIX-728 p. :ill.
Livre électronique
Head first C#[Ressource électronique] /Andrew Stellman, Jennifer Greene. - Sebastopol, Calif. :O'Reilly,2010. - 848 p.
:ill.
Livre électronique
Head first C[Ressource électronique] /David Griffiths, Dawn Griffiths. - Sebastopol, Calif. :O'Reilly,2012. - 640 p. :ill.
Livre électronique
The problem with native JavaScript APIs[Ressource électronique] /Nicholas C. Zakas. - Sebastopol, Calif. :O'Reilly,2012.
- Non paginé :ill.
Livre électronique
Effective MySQL[Ressource électronique] :backup and recovery /Ronald Bradford. - New York ; London ; Madrid :Mc
Graw-Hill :Oracle press,2012. - 257 p. :ill.
Livre électronique
JavaScript pocket reference[Ressource électronique] /David Flanagan. - Sebastopol, Calif. :O'Reilly,2012. - 288 p. :ill.
Livre électronique
ROBOTIQUE
Robot programming by demonstration :a probabilistic approach /Sylvain Calinon. - Lausanne :EPFL Press,2009. - X-222
p. :ill. ;25 cm
681.39 CAL.ROB
Flying insects and robots /Ed. Dario Floreano,... [et al.]. - Berlin :Springer,2009. - XII-316 p. :ill. ;27 cm
681.39 FLO.FLY
Survivre à une invasion robot :manuel pratique /Daniel H. Wilson ; trad. de l'anglais par Patrick Imbert. - Paris
:Orbit,2012. - 170 p. :ill. ;22 cm
681.39 WIL.SUR
Bio-inspired flying robots :experimental synthesis of autonomous indoor flyers /Jean-Christophe Zufferey. - Lausanne
:EPFL Press,2008. - XIV-205 p. :ill. ;25 cm
681.39 ZUF.BIO
Bibliothèque centrale de l’Ecole Polytechnique
Acquisitions Informatique
Automne 2012