Sciences de l'ingénieur, environnement - sélection nouveautés : 1er semestre 2019

Dans cette rubrique vous pouvez consulter les acquisitions récentes de la bibliothèque en sciences de l'ingénieur. Vous pouvez cliquer sur chaque titre pour consulter sa description dans le catalogue Archipel, voir sa localisation pour l'emprunter, ou le réserver s'il est déjà emprunté. Vous souhaiteriez commander un ouvrage? N'hésitez pas à contacter Laurence Porte pour une suggestion d'acquisition :laurence.porte@enac.fr

• 004.21 CLA Clarke, Edmund M. . Model checking. The MIT Press. 2018.
• Ebook Fundamental concepts in computer science [electronic resource] / editors: Erol Gelenbe, Jean-Pierre Kahane

• Ebook Contextual design : defining customer-centered systems,Hugh Beyer, Karen Holtzblatt
• Ebook Handbook of cognitive task design / edited by Erik Hollnagel
• Ebook Rapid contextual design : a how-to guide to key techniques for user-centered design / Karen Holtzblatt, Jessamyn Burns Wendell, Shelley Wood
• Ebook Prototyping : a practitioner's guide / Todd Zaki Warfel.

• 004.62 LAL Lalitte, Éric. Apprenez le fonctionnement des réseaux TCP-IP. Eyrolles. 2017.
• 004.65 PUJ Pujolle, Guy . Les réseaux. Eyrolles. 2018.

• 004.678 BOR Bortzmeyer, Stéphane. Cyberstructure : l'internet, un espace politique. C&F éditions. 2018.

• 005.1 LAA Laakmann McDowell, Gayle. Cracking the coding interview : 189 programming questions and solutions. CareerCup, LLC. 2015.
• 005.12 SUB Subra, Jean-Paul. Scrum : une méthode agile pour vos projets. Éditions ENI. 2017.
• 005.133 PYT BRO Bro, Frédéric. Python et les 40 problèmes mathématiques : Python par l'exemple et pour les maths, avec corrigés détaillés. Ellipses. 2016.
• 005.376 PUR Purewal, Semmy. Learning web app development. O'Reilly. 2014.
• 005.43 LIN BOB Bobillier, Sébastien. Linux : préparation à la certification LPIC-2 : examens LPI 201 et LPI 202 : 35 travaux pratiques, 127 questions-réponses. Éd. ENI. 2014.
• 005.43 LIN ROH Rohaut, Sébastien. Linux : préparation à la certification LPIC-1 : examens LPI 101 et LPI 102 : 46 travaux pratiques, 534 questions réponses. Éditions ENI. 2017.

• 006.22 WAN Wang, Jiacun . Real-time embedded systems. Wiley. 2017.

• 006.31 CHA Charniak, Eugene. Introduction to deep learning. the MIT Press. 2018.
• 006.31 JOS Joseph, Anthony D. Adversarial machine learning. Cambridge university press. 2019.
• 006.31 MOH Mohri, Mehryar. Foundations of machine learning. the MIT Press. 2018.
• 006.31 SHA Shalev-Shwartz, Shai. Understanding machine learning : from theory to algorithms. Cambridge University Press. 2014.
• 006.31 SUT Sutton, Richard S.. Reinforcement learning : an introduction. the MIT Press. 2018.

• 006.312 KEP Kepner, Jeremy. Mathematics of big data : spreadsheets, databases, matrices, and graphs. the MIT Press. 2018.

• 501 CAT Catellin, Sylvie . Sérendipité : du conte au concept. Éditions du Seuil. 2014.
• 501 TES Testart, Jacques . Que reste-t-il de la science ? : le vélo, le mur et le citoyen. Belin. 2016.

• E-book : Parsing Theory : Volume I Languages and Parsing / by Seppo Sippu, Eljas Soisalon-Soininen
• E-book Parsing theory . vol. 2 . LR(k) and LL(k) parsing / Seppo Sippu, Eljas Soisalon-Soininen
• E-book An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James Pustejovsky.
• E-book Lectures on Kähler geometry / Andrei Moroianu
• 510 DAM Damin, Walter. Problèmes corrigés de mathématiques posés aux concours ENAC : ATPL, TSA, EPL, IESSA et ICNA . Tome 5. Ellipses. 2017.
• 510 FRA Franchini, Jean . Mathématiques : exercices corrigés posés à l'oral des concours de Centrale-Supélec, Mines-Ponts : PC-PC*, PSI-PSI*. Ellipses. 2019.
• 510 PAR Parrochia, Daniel . Mathématiques et philosophie : des irrationnels aux motifs. ISTE Editions. 2017.
• 511.5 KOW Kowalski, Emmanuel . An Introduction to expander graphs. Société mathématique de France. 2019.
• 512 MAR Marquis, Timothée. An introduction to Kac-Moody groups over fields. European mathematical society. 2018.
• 515.64 BRI Brizard, Alain Jean. An introduction to Lagrangian mechanics. World Scientific. 2008.
• 515.9 BRU Bruna, Joaquim. Complex analysis. European mathematical society. 2013.
• 516.36 KOB-I Kobayashi, Shōshichi . Foundations of differential geometry . Volume I. Interscience. 1963.
• 516.36 KOB-II Kobayashi, Shōshichi . Foundations of differential geometry . Vol. II. J. Wiley. 1996.
• 516.373 TUS Tuschmann, Wilderich . Moduli spaces of Riemannian metrics. Springer [Bâle] Birkhäuser. 2015.
• 519.5 AGG Aggarwal, Charu C.. Outlier analysis. Springer. 2017.
• 519.542 HOA Hoang, Lê Nguyên. La formule du savoir : une philosophie unifiée du savoir fondée sur le théorème de Bayes. EDP Sciences. 2018.
• 519.62 BIR Birge, John R.. Introduction to stochastic programming. Springer. 2011.
• 519.7 FAL Falcone, Maurizio. Numerical methods for optimal control problems. Springer Berlin Heidelberg. 2019.
• 519.72 PAN Panik, Michael J.. Linear programming and resource allocation modeling. John Wiley & Sons, Inc.. 2019.

• 530 KLE Einstein, Albert . Comment je vois le monde : précédé d'un entretien avec Étienne Klein. Flammarion. 2017.
• 530.141 PER Handbook of Aerospace Electromagnetic Compatibility. John Wiley & Sons Inc. 2019.
• 534.2 JEN Jensen, Finn Bruun. Computational ocean acoustics. Springer. 2011.

• 577 MCC McCurdy, Robina. Faire ensemble : outils participatifs pour les collectifs : habitats groupés, collectifs citoyens, initiatives de transition, écovillages.... Passerelle éco. 2013.
• 577 WOH Wohlleben, Peter . La vie secrète des animaux : amour, deuil, compassion : un monde caché s'ouvre à nous. Les Arènes. 2018.
• 628.53 CAS Castaignède, Laurent. Airvore ou la face obscure des transports : chronique d'une pollution annoncée. Écosociété. 2018.
• 635 DER Derville, Grégory, politiste. La permaculture : en route pour la transition écologique. Terre vivante. 2018.
• 635 MOL-II Mollison, Bill. Perma-culture . 2 . Aménagements pratiques à la campagne et en ville. Charles Corlet Editions. 2011.
• 635 MOL-IMollison, Bill. Perma-culture 1 Une Agriculture Pérenne Pour L'autosuffisance Et Les Exploitations De Toutes Tailles. Charles Corlet Editions, 2011. Print.

• 610 LEM * Le Mault, Anne. Infirmier, infirmière spécialisés en santé au travail : en pratique, vous faites quoi ?. Éd. DOCIS. 2016.
• 616 NEG Negovanska, Velina. Je n'ai plus peur de l'avion ! : tous les outils pour un vol tranquille. Dunod. 2016.
• 616.980 213 HAN Handbook of aviation and space medicine. CRC Press Taylor & Francis Group. 2019.

• Ebook RF analog impairments modeling for communication systems simulation : application to OFDM-based transceivers / Lydi Smaini
• 621.381 3 POZ Pozar, David M.. Microwave and RF design of wireless systems. John Wiley and Sons. 2001.
• 621.382 BAL Internet of things A to Z : technologies and applications. IEEE Press Wiley. 2018.
• 621.384 PIL Pilloud, Olivier. Le radio-amateur : préparation à l'examen technique : manuel de référence. Éditions Technip. 2018.
• 621.384 191 ZEK Handbook of position location : theory, practice and advances. John Wiley. 2019.
• 621.384 5 PER Pérez, André. L' intégration de Wi-Fi dans le réseau de mobiles 4G. ISTE éditions. 2018.
• 621.384 8 BLA Blacknell, David. Radar Automatic Target Recognition . The institution of Engineering and technology. 2013.

• 621.395 LaM LaMeres, Brock J. . Introduction to Logic Circuits & Logic Design with VHDL. Springer. 2017.
• 629.831 2 FEY Feyel, Philippe . Optimisation de la commande robuste par les métaheuristiques. ISTE éditions. 2017.

L'ensemble des standards RTCA, EUROCAE, ARINC… sont disponibles uniquement en version électronique sur Escale. Accès en ligne après identification (mot de passe Angélique pour personnels, mot de passe habituel pour étudiants)

• Voir Le guide pour chercher des standards
• Lien vers Escale : https://escale.enac.fr

• ED-62B - MOPS for Aircraft Emergency Locator Transmitters 406 MHz
• ED-77A - User Requirements for Navigation Data
• ED-84A - Aircraft Lightning Environment and Related Test (ED-84A - Aircraft Lightning Environment and Related Test Waveforms)
• ED-87D - MASPS for A-SMGCS including new Airport safety Support Service Routing Service and Guidance service
• ED-91A - Lightning Zoning
• ED-130A Ch 1 - Guidance for the Use of Portable Electronics (ED-130A Change 1)
• ED-140A - Minimum Operational Performance Standard for (ED-140A - Minimum Operational Performance Standard for Air Data Modules)
• ED-194A Ch. 1 - MOPS for Aircraft Surveillance Applications (ED-194A Ch. 1 - MOPS for Aircraft Surveillance Applications System)
• ED-205 - Process Standard for Security Certification and (ED205)
• Ed-255 (ED-255 - MASPS for a Combined Vision Guidance System for Rotorcraft Operations)
• ED-258 (ED-258 - OSED for Detect and Avoid [Traffic] in Class D-G airspaces under VFR/IFR)
• ED-260 - MASPS for Coexistence of Wireless Avionics Intra-Communication Systems within 4 200-4 40..
• ED-263 - Minimum Operational Performance Standard for On Board Weight and Balance Systems

• DO-155 - Minimum Performance Standards-Airborne Low Range Radar Altimeters
• DO-201B - User Requirements for Navigation Data
• DO-204B - Minimum Operational Performance Standard for Aircraft Emergency Locator Transmitters 406 MHz
• DO-246E Change 1 - GNSS-Based Precision Approach Local Area Augmentation System (LAAS) Signal-in-Space Interface Control Document (ICD)
• DO-248B - Final Annual Report For Clarification Of DO-178B Software Considerations In Airborne Systems And Equipment Certification
• DO-253D Change1 - Minimum Operational Performance Standards for GPS Local Area Augmentation System Airborne Equipment
• DO-262D - Minimum Operational Performance Standards for Avionics Supporting Next Generation Satellite Systems (NGSS)
• DO-278A - Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems
• DO-326A - Airworthiness Security Process Specification
• DO-334 - Minimum Operational Performance Standards (MOPS) for Strapdown Attitude and Heading Reference Systems (AHRS)
• DO-343B - Minimum Aviation System Performance Standard for AMS(R)S Data and Voice Communications Supporting Required Communications Performance (RCP) and Required Surveillance Performance (RSP) RTCA
• DO-347 - Certification Test Guidance for Small and Medium Sized Rechargeable Lithium Batteries and Battery Systems
• DO-355 - Information Security Guidance for Continuing Airworthiness
• DO-358A - Minimum Operational Performance Standards (MOPS) for Flight Information Services - Broadcast (FIS-B) with Universal Access Transceiver (UAT)
• DO-363 - Guidance for the Development of Portable Electronic Devices (PED) Tolerance for Civil Aircraft
• DO-364 - Minimum Aviation System Performance Standards (MASPS) for Aeronautical Information/Meteorological Data Link Services
• DO-365 - Minimum Operational Performance Standards (MOPS) for Detect and Avoid (DAA) Systems
• DO-366 - Minimum Operational Performance Standards (MOPS) for Air-to-Air Radar for Traffic Surveillance
• DO-367 - Minimum Operational Performance Standards (MOPS) for Terrain Awareness and Warning Systems (TAWS) Airborne Equipment
• DO-377 - Minimum Aviation System Performance Standards for C2 Link Systems Supporting Operations of Unmanned Aircraft Systems in U.S. Airspace
• DO-378 - Minimum Aviation System Performance Standard (MASPS) for Coexistence of Wireless Avionics Intra-Communication Systems within 4200-4400 MHz
• DO-385 Volume I and II - Minimum Operational Performance Standards for Airborne Collision Avoidance System X (ACAS X) (ACAS Xa and ACAS Xo)