Architectures PKI et communications sécurisées / Jean-Guillaume Dumas

Public ISBD Titre : Architectures PKI et communications sécurisées Type de document : texte imprimé Auteurs : Jean-Guillaume Dumas, Auteur ; Pascal Lafourcade, Auteur ; Patrick Redon, Auteur ; Guillaume Poupard, Préfacier, etc. Editeur : Paris [France] : Dunod Année de publication : 2015 Collection : Info sup : L3, masters, écoles d'ingénieurs Importance : 1 vol. (XVI-380 p.) Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-072615-8 Note générale : PKI = public key infrastructure. - Bibliogr. p. 361-370. Index Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Chiffrement (informatique)  Cryptographie à clé publique Architectures PKI et communications sécurisées [texte imprimé] / Jean-Guillaume Dumas, Auteur ; Pascal Lafourcade, Auteur ; Patrick Redon, Auteur ; Guillaume Poupard, Préfacier, etc. . - Paris (France) : Dunod, 2015 . - 1 vol. (XVI-380 p.) : ill. ; 24 cm.. - (Info sup : L3, masters, écoles d'ingénieurs) . ISBN : 978-2-10-072615-8 PKI = public key infrastructure. - Bibliogr. p. 361-370. Index Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Chiffrement (informatique)  Cryptographie à clé publique

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.8.5-1	005.8.5-1	Livre externe	BIBLIOTHEQUE D'ANNEXE D'AFLOU	Informatique (afl)	Disponible

Les blockchains en 50 questions / Jean-Guillaume Dumas

Public ISBD Titre : Les blockchains en 50 questions : comprendre le fonctionnement et les enjeux de cette technologie innovante Type de document : texte imprimé Auteurs : Jean-Guillaume Dumas, Auteur ; Pascal Lafourcade, Auteur ; Ariane Tichit, Auteur Editeur : Paris [France] : Dunod Année de publication : 2022 Importance : 1 vol. (VIII-311 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-10-083450-1 Note générale : Bibliogr. et webliogr. p. 299-302. Index Langues : Français Mots-clés : Blockchains  Cryptomonnaie  Questions et réponses Résumé : La création du bitcoin en 2009 est remarquable à plus d'un titre, notamment parce qu'elle repose sur le mécanisme novateur de la blockchain qui permet d'enregistrer des informations de façon irréversible et vérifiable par tout le monde. Aujourd'hui les blockchains ne se limitent plus aux cryptomonnaies et touchent de nombreux autres domaines (contrats intelligents, NFT, etc.). Ce livre est conçu pour répondre non seulement aux questions que vous vous posez sur l'univers des blockchains mais aussi à celles que vous ne vous étiez pas encore posées. Qu'est-ce qu'une blockchain ? Quel est le lien entre le bitcoin et les blockchains ? Qui sont les mineurs et que font-ils ? Qu'est-ce qu'un consensus ? Qu'est-ce qu'un contrai intelligent ? Peut-on faire une blockchain sans bloc ? Quelle est la part des cryptomonnaies dans l'économie mondiale ? Comment les blockchains vont-elles révolutionner le monde ? Les réponses a toutes ces questions (et à 42 autres) sont dans ce livre. Les blockchains en 50 questions : comprendre le fonctionnement et les enjeux de cette technologie innovante [texte imprimé] / Jean-Guillaume Dumas, Auteur ; Pascal Lafourcade, Auteur ; Ariane Tichit, Auteur . - Paris (France) : Dunod, 2022 . - 1 vol. (VIII-311 p.) : ill. ; 21 cm. ISBN : 978-2-10-083450-1 Bibliogr. et webliogr. p. 299-302. Index Langues : Français Mots-clés : Blockchains  Cryptomonnaie  Questions et réponses Résumé : La création du bitcoin en 2009 est remarquable à plus d'un titre, notamment parce qu'elle repose sur le mécanisme novateur de la blockchain qui permet d'enregistrer des informations de façon irréversible et vérifiable par tout le monde. Aujourd'hui les blockchains ne se limitent plus aux cryptomonnaies et touchent de nombreux autres domaines (contrats intelligents, NFT, etc.). Ce livre est conçu pour répondre non seulement aux questions que vous vous posez sur l'univers des blockchains mais aussi à celles que vous ne vous étiez pas encore posées. Qu'est-ce qu'une blockchain ? Quel est le lien entre le bitcoin et les blockchains ? Qui sont les mineurs et que font-ils ? Qu'est-ce qu'un consensus ? Qu'est-ce qu'un contrai intelligent ? Peut-on faire une blockchain sans bloc ? Quelle est la part des cryptomonnaies dans l'économie mondiale ? Comment les blockchains vont-elles révolutionner le monde ? Les réponses a toutes ces questions (et à 42 autres) sont dans ce livre.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.8-27-1	005.8-27-1	Livre interne	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
005.8-27-2	005.8-27-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

Exercices de Programmation Fonctionnelle en OCaml / Fabienne Carrier

Public ISBD Titre : Exercices de Programmation Fonctionnelle en OCaml : une approche pédagogique par l'algorythmique, la preuve et la complexité Type de document : texte imprimé Auteurs : Fabienne Carrier, Auteur ; Pascal Lafourcade, Auteur ; Laurent Mounier, Auteur Editeur : Paris [France] : Ellipses Année de publication : 2014 Collection : Technosup Importance : 1 vol. (260 p.) Présentation : couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-8788-9 Note générale : Bibliogr. p. 257. Index Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Résumé : Ce livre d'exercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique qu'aux enseignants intéressés par la programmation fonctionnelle. L'ouvrage aborde notamment les notions de correction, de complexité et d'efficacité d'un algorithme fonctionnel, à travers les solutions détaillées d'une quarantaine 'exercices. Pour chacun de ces exercices, plusieurs solutions sont systématiquement proposées. Pour chaque solution, une analyse des temps de calcul et une preuve de correction sont entièrement rédigées. Les exercices traités sont classés en plusieurs catégories en fonction de la nature des données qu'ils manipulent : entiers, listes, arborescences. Cette distinction permet de mettre en avant un mode de programmation et de raisonnement guidé par la structure des données, si naturel en programmation fonctionnelle. Si les exercices proposés peuvent sembler simples et classiques au premier abord, ils ont été choisis pour permettre, par l'étude de leurs solutions, une découverte en profondeur de la programmation fonctionnelle, ce qui constitue l'originalité du livre. Exercices de Programmation Fonctionnelle en OCaml : une approche pédagogique par l'algorythmique, la preuve et la complexité [texte imprimé] / Fabienne Carrier, Auteur ; Pascal Lafourcade, Auteur ; Laurent Mounier, Auteur . - Paris (France) : Ellipses, 2014 . - 1 vol. (260 p.) : couv. ill. ; 26 cm. - (Technosup) . ISBN : 978-2-7298-8788-9 Bibliogr. p. 257. Index Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Résumé : Ce livre d'exercices corrigés est destiné aussi bien aux étudiants de premier cycle en informatique qu'aux enseignants intéressés par la programmation fonctionnelle. L'ouvrage aborde notamment les notions de correction, de complexité et d'efficacité d'un algorithme fonctionnel, à travers les solutions détaillées d'une quarantaine 'exercices. Pour chacun de ces exercices, plusieurs solutions sont systématiquement proposées. Pour chaque solution, une analyse des temps de calcul et une preuve de correction sont entièrement rédigées. Les exercices traités sont classés en plusieurs catégories en fonction de la nature des données qu'ils manipulent : entiers, listes, arborescences. Cette distinction permet de mettre en avant un mode de programmation et de raisonnement guidé par la structure des données, si naturel en programmation fonctionnelle. Si les exercices proposés peuvent sembler simples et classiques au premier abord, ils ont été choisis pour permettre, par l'étude de leurs solutions, une découverte en profondeur de la programmation fonctionnelle, ce qui constitue l'originalité du livre.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.1.31-3	005.1.31-3	Livre externe	BIBLIOTHEQUE D'ANNEXE D'AFLOU	Généralités (afl)	Disponible
005.1.31-4	005.1.31-4	Livre externe	BIBLIOTHEQUE D'ANNEXE D'AFLOU	Généralités (afl)	Disponible

Logique et démonstration automatique / Stéphane Devismes

Public ISBD Titre : Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre Titre original : Informatique théorique Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur Editeur : Paris : Technip Année de publication : 2012 Importance : 214 p Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Langues : Français Mots-clés : Algorithmes  Logique du premier ordre  Calcul des propositions  Démonstration automatique Résumé : Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner. L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples. Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre. Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés. Logique et démonstration automatique = Informatique théorique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur . - Paris : Technip, 2012 . - 214 p ; 26 cm. ISBN : 978-2-7298-7229-8 Langues : Français Mots-clés : Algorithmes  Logique du premier ordre  Calcul des propositions  Démonstration automatique Résumé : Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner. L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples. Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre. Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
511.3-25-1	511.3-25-1	Livre interne	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-25-2	511.3-25-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-25-3	511.3-25-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-25-4	511.3-25-4	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-25-5	511.3-25-5	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible

---

page 1/1