Aller au contenu principal
15 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

Je t'aide, moi non plus

Biologique, comportemental ou psychologique, l'altruisme dans tous ses états

Christine Clavien
1re édition | 2010 | 192 pages | 9782311000498

« Je t’aime... moi non plus ». Le titre de la fameuse chanson de Gainsbourg reflète de manière exquise ce que la vie a de beau et d’amer à la fois. À défaut de parler d’amour, voici une analyse des méandres de l’aide à sens unique : l’altruisme.

Voir la fiche détaillée
Livre27,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

Descartes

De la science universelle à la biologie

Paul Mazliak
1re édition | 2005 | 224 pages | 9782711753390

L'œuvre scientifique de Descartes a moins retenu l'attention que ses écrits métaphysiques destinés à fonder une pensée rationnelle. Cet ouvrage entreprend de réhabiliter le versant scientifique de son œuvre et de dissiper certains malentendus comme celui qui porte sur les « animaux-machines ».

Voir la fiche détaillée
Livre26,00 €
Disponible
Ajouter au panier