Thibaut Balabonski

Sylvain Conchon

Jean-Christophe Filliâtre

Kim Nguyen

Cet ouvrage propose un cours structuré couvrant l'intégralité du programme de la spécialité NSI (Numérique et sciences informatiques) en classe de première. Il offre 30 leçons clés en main, accompagnées d'exercices corrigés et d'encarts thématiques et historiques permettant d'approfondir les leçons. Ce livre est constitué de 5 parties : apprentissage de la programmation avec le langage Pythonnotions de base d'algorithmiquetraitement des donnéesarchitecture des ordinateursinteraction, communication et web. Le site qui accompagne cet ouvrage fournit du matériel librement téléchargeable, comme du code source Python, des fichiers de données pour les projets ou encore un aide-mémoire Python.

Spécialité NSI (Numérique et sciences informatiques) : 30 leçons avec exercices corrigés - Première

Michael Butler

Fatiha Zaïdi

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Formal Methods and Software Engineering

Cet ouvrage propose un cours structuré couvrant l'intégralité du programme de la spécialité NSI en classe de terminale. Il offre vingt-quatre leçons clés en main, accompagnées d'exercices corrigés et d'encarts thématiques et historiques permettant d'approfondir les leçons. Ce livre est constitué de quatre parties : programmationalgorithmiquebases de donnéesarchitectures matérielles, systèmes d’exploitation et réseaux. Le site qui accompagne cet ouvrage fournit du matériel librement téléchargeable, comme du code source Python, des fichiers de données pour les projets ou encore un aide-mémoire Python.

Sylvain Conchon

Books

Your next favorite book is out there