- S'inscrire
- |
- Mon compte
- |
- Newsletter
- |
- Aide
Thématique : Techniques de programmation 
Meilleures ventes
Toutes nos meilleures ventes en Techniques de programmation
-
Deuxièmes Ateliers sur la contradiction ASLC 2011
Remettre la raison en chantier- Auteur : Bernard Guy
- Editeur : Transvalor - Presses des Mines
- Date de parution : Mai 2012
-
Eléments de théorie des graphes
- Auteurs : Alain Bretto, Alain Faisant et François Hennecart
- Editeur : Springer
- Date de parution : Mai 2012
-
La logique, un aiguillon pour la pensée
- Auteur : Jean-Paul Delahaye
- Editeur : Belin
- Date de parution : Mai 2012
-
Informatique théorique
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)- Auteurs : Pascal Lafourcade, Stéphane Devismes et Michel Lévy
- Editeur : Ellipses
- Date de parution : Février 2012
-
Introduction à la logique standard
Calcul des propositions, des prédicats et des relations- Auteur : Denis Vernant
- Editeur : Flammarion
- Date de parution : Octobre 2011
-
CUDA par l'exemple
Une introduction à la programmation parallèle de GPU- Auteurs : Jason Sanders et Edward Kanbrot
- Editeur : Pearson Education
- Date de parution : Mai 2011
-
Structures de données et méthodes formelles
- Auteur : Marc Guyomard
- Editeur : Springer
- Date de parution : Avril 2011
-
Réseaux de calcul
Des grappes aux nuages de calcul- Auteurs : Pascale Vicat-Blanc Primet, Sébastien Soudan, Romaric Guillier et Brice Goglin
- Editeur : Hermès - Lavoisier
- Date de parution : Avril 2011
-
Introduction pratique aux logiques non classiques
Avec exercices corrigés- Auteurs : Maurice Bernadet
- Editeur : Hermann
- Date de parution : Février 2011
-
Rencontres francophones sur la logique floue et ses applications 2010
- Auteur : Collectif Cépaduès
- Editeur : Cépaduès
- Date de parution : Octobre 2010
-
Les démonstrations et les algorithmes
Introduction à la logique et à la calculabilité- Auteur : Gilles Dowek
- Editeur : Ecole polytechnique
- Date de parution : Octobre 2010
-
Introduction pratique aux logiques classiques
Avec exercices corrigés- Auteurs : Maurice Bernadet
- Editeur : Hermann
- Date de parution : Septembre 2010
-
Logique et langage
Déduction naturelle
- Auteurs : Jean-Pierre Desclès, Brahim Djioua et Florence Le Priol
- Editeur : Hermann
- Date de parution : Avril 2010
-
Schaum's Outline of Discrete Mathematics
- Auteurs : Marc Lipson et Seymour Lipschutz
- Editeur : Mc Graw Hill
- Date de parution : Septembre 2009
-
JFLA 09 - Actes des vingtièmes journées francophones des langages applicatifs
Studia informatica universalis, n° 7.2- Auteur : Ivan Lavallée
- Editeur : Hermann
- Date de parution : Juillet 2009
-
Masterminds of programming
Conversations with the creators of major programming languages
- Auteurs : Federico Biancuzzi et Shane Warden
- Editeur : O'Reilly
- Date de parution : Mars 2009
-
Logique pour l'informatique
Introduction à la déduction automatique - Cours et exercices - Licence informatique- Auteur : Serenella Cerrito
- Editeur : Vuibert
- Date de parution : Octobre 2008
-
Langages formels - Calculabilité et complexité
Option informatique de l'agrégation de mathématiques - Licence et master de mathématiques ou d'informatique- Auteur : Olivier Carton
- Editeur : Vuibert
- Date de parution : Octobre 2008
-
LFA 08 - Rencontres Francophones sur la Logique Floue et ses Applications - Lens 2008
- Auteur : Collectif Cépaduès
- Editeur : Cépaduès
- Date de parution : Octobre 2008
-
35,05 €indisponibleLibrairie Eyrolles, Paris : stock limité
Learning Processing
A Beginner's Guide to Programming Images, Animation, and Interaction
- Auteur : Daniel Shiffman
- Editeur : Morgan Kaufmann
- Date de parution : Octobre 2008


























Devenez Fan !
Suivez-nous sur Twitter