Février 2010 - 272 pages - ISBN : 978-2-311-00020-7
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 ...
Octobre 2008 - 240 pages - ISBN : 978-2-7117-2077-4
Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats remarquables. Rédigé à l'attention des étudiants en Licence et en Master de mathématiques ou d'informatique, cet ...
Octobre 2003 - 352 pages - ISBN : 978-2-7117-4800-6
Voici un ouvrage de référence, universellement traduit et apprécié. Il offre une présentation lisible, et sous forme mathématique précise, des thèmes majeurs de la cryptographie.
Il aborde tous ...
Janvier 1998 - 272 pages - ISBN : 978-2-87908-073-4
Cet ouvrage propose une présentation exhaustive des éléments de base de la logique floue, de ses principes méthodologiques avec des exemples de réalisations pratiques.
Informatique : mathématiques | Logique
Affinez votre recherche
Cliquer sur les filtres proposés pour affiner les résultats
