Aller au contenu principal
11 résultats trouvés

Langages formels

Calculabilité et complexité

Olivier Carton
2e édition | 2014 | 256 pages | 9782311014006

Une introduction à l’informatique fondamentale présentant tous les grands domaines de la théorie des langages formels aux notions de calculabilité et de complexité.

Voir la fiche détaillée
Livre28,90 €
Disponible
Ajouter au panier

Changements climatiques et biodiversité

Robert Barbault, Alain Foucault
1re édition | 2010 | 288 pages | 9782311000269

Quels sont les mécanismes qui lient changements climatiques et biodiversité ? Comment orienter sa réflexion pour agir en connaissance de cause ? Quarante spécialistes réunis par l’Association française pour l’avancement des sciences nous proposent dans ce volume les résultats des travaux qu’ils ont menés ensemble en vue de comprendre pour agir.

Voir la fiche détaillée
Livre31,50 €
Disponible
Ajouter au panier

Cours et exercices corrigés d'algorithmique

Vérifier, tester et concevoir des programmes en les modélisant

Jacques Julliand
1re édition | 2010 | 272 pages | 9782311000207

Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour concevoir des logiciels.

Voir la fiche détaillée
Livre31,50 €
Disponible
Ajouter au panier