- S'inscrire
- |
- Mon compte
- |
- Newsletter
- |
- Aide
Thématique : Techniques de programmation 
Meilleures ventes
Toutes nos meilleures ventes en Techniques de programmation
-
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
-
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
-
Logique pour l'informatique
Introduction à la déduction automatique - Cours et exercices - Licence informatique- Auteur : Serenella Cerrito
- Editeur : Vuibert
- Date de parution : Octobre 2008
-
34,56 €indisponibleLibrairie Eyrolles, Paris : en stock
Learning Processing
A Beginner's Guide to Programming Images, Animation, and Interaction
- Auteur : Daniel Shiffman
- Editeur : Morgan Kaufmann
- 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
-
Introduction à la logique
Fac-similé de l'édition de 1969, Paris, Gauthiers-Villars - Louvain, E. Nauwelaerts- Auteur : Alfred Tarski
- Editeur : Jacques Gabay
- Date de parution : Avril 2008
-
Les mathématiques et le raisonnement plausible
Fac-similé de l'édition de Paris, Gauthier-Villars, 1958- Auteur : George Polya
- Editeur : Jacques Gabay
- Date de parution : Avril 2008
-
Programmation concurrente et temps réel avec Java
- Auteur : Luigi Zaffalon
- Editeur : Presses Polytechniques et Universitaires Romandes (PPUR)
- Date de parution : Décembre 2007
-
Compilateurs
Principes, techniques et outils - Avec plus de 200 exercices- Auteurs : Alfred Aho, Monica Lam, Ravi Sethi et Jeffrey D. Ullman
- Editeur : Pearson Education
- Date de parution : Novembre 2007



























Devenez Fan !
Suivez-nous sur Twitter