-
Univers
-
Ebooks
-
Livres audio
-
Presse
-
Podcasts
-
BD
-
Documents
-
- Cours
- Révisions
- Ressources pédagogiques
- Sciences de l’éducation
- Manuels scolaires
- Langues
- Travaux de classe
- Annales de BEP
- Etudes supérieures
- Maternelle et primaire
- Fiches de lecture
- Orientation scolaire
- Méthodologie
- Corrigés de devoir
- Annales d’examens et concours
- Annales du bac
- Annales du brevet
- Rapports de stage
La lecture à portée de main
#needham
Suivre
Toutes les langues
Plus lus
Ebooks
The Front Steps Project
Cara Soulia, Kristen Collins
Ebooks
Photographie
The Front Steps Project
Cara Soulia, Kristen Collins
242 pages
English
Lire
Infos
Ebooks
Great Feuds in Science
Hal Hellman
Documents
Introduction to cryptographic protocols
Bruno Blanchet
Documents
Education
Introduction to cryptographic protocols
Bruno Blanchet
14 pages
English
Lire
Infos
Documents
Introduction Symbolic and computational models Soundness theorem Conclusion
Mathieu Baudet
Documents
Education
Introduction Symbolic and computational models Soundness theorem Conclusion
Mathieu Baudet
26 pages
English
Lire
Infos
Documents
Security Protocol Verification: Symbolic and Computational Models
Bruno Blanchet
Documents
Rapports de stage
Security Protocol Verification: Symbolic and Computational Models
Bruno Blanchet
26 pages
English
Lire
Infos
Documents
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet3
Documents
Rapports de stage
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet3
15 pages
English
Lire
Infos
Documents
Introduction Using ProVerif Horn clauses Applications Conclusion
Bruno Blanchet
Documents
Education
Introduction Using ProVerif Horn clauses Applications Conclusion
Bruno Blanchet
43 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}
-
Univers
-
Ebooks
-
Livres audio
-
Presse
-
Podcasts
-
BD
-
Documents
-
Jeunesse
-
Littérature
-
Ressources professionnelles
-
Santé et bien-être
-
Savoirs
-
Education
-
Loisirs et hobbies
-
Art, musique et cinéma
-
Actualité et débat de société
-
Jeunesse
-
Littérature
-
Ressources professionnelles
-
Santé et bien-être
-
Savoirs
-
Education
-
Loisirs et hobbies
-
Art, musique et cinéma
-
Actualité et débat de société
-
Actualités
-
Lifestyle
-
Presse jeunesse
-
Presse professionnelle
-
Pratique
-
Presse sportive
-
Presse internationale
-
Culture & Médias
-
Action et Aventures
-
Science-fiction et Fantasy
-
Société
-
Jeunesse
-
Littérature
-
Ressources professionnelles
-
Santé et bien-être
-
Savoirs
-
Education
-
Loisirs et hobbies
-
Art, musique et cinéma
-
Actualité et débat de société
- Cours
- Révisions
- Ressources pédagogiques
- Sciences de l’éducation
- Manuels scolaires
- Langues
- Travaux de classe
- Annales de BEP
- Etudes supérieures
- Maternelle et primaire
- Fiches de lecture
- Orientation scolaire
- Méthodologie
- Corrigés de devoir
- Annales d’examens et concours
- Annales du bac
- Annales du brevet
- Rapports de stage
