Télécharger le livre :  Logique(s), langages formels et complexité pour l'informatique

Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts...
Editeur : Hermés science
Parution : 2006-09-07
Collection : Informatique
Format(s) : PDF sans DRM
69,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Trends in Constraint Programming

This title brings together the best papers on a range of topics raised at the annual International Conference on Principles and Practice of Constraint Programming.This conference provides papers and workshops which produce new insights, concepts and results which can...
Editeur : Wiley-ISTE
Parution : 2013-05-06

Format(s) : PDF, ePub
239,95

Téléchargement immédiat
Dès validation de votre commande