Informatique et sciences du numérique ― Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets

Gilles Dowek (1) , Jean-Pierre Archambault (2) , Emmanuel Baccelli (3) , Claudio Cimelli (4) , Albert Cohen (5) , Christine Eisenbeis (6) , Thierry Viéville (7) , Benjamin Wack (8) , Gérard Berry (9)

1 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
2 EPI - Association Enseignement Public et Informatique
3 HIPERCOM - High performance communication
4 Ministère de l'Éducation nationale
5 Parkas - Parallélisme de Kahn Synchrone
6 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
7 Mnemosyne - Mnemonic Synergy
8 UJF IUFM Grenoble - Université Joseph Fourier - Grenoble 1 - Institut universitaire de formation des maîtres - Académie de Grenoble
9 INDES - Secure Diffuse Programming

no abstract

Domaines: Langage de programmation [cs.PL]; Calcul parallèle, distribué et partagé [cs.DC]; Systèmes embarqués

Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli, Albert Cohen, et al.. Informatique et sciences du numérique ― Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets. Eyrolles, 2012. ⟨hal-01257263⟩