-
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
#methode-formelle-informatique-
Suivre
Toutes les langues
Plus lus
Documents
Analyses de sûreté de fonctionnement multi-systèmes
Romain Bernard
Documents
Savoirs
Analyses de sûreté de fonctionnement multi-systèmes
Romain Bernard
168 pages
Français
Lire
Infos
Documents
Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération
Laurent Sagaspe
Documents
Savoirs
Allocation sûre dans les systèmes aéronautiques : modélisation, vérification et génération
Laurent Sagaspe
166 pages
Français
Lire
Infos
Documents
Terminaison en temps moyen fini de systèmes de règles probabilistes, Termination within a finite mean time of probabilistic rules based systems
Florent Garnier
Documents
Savoirs
Terminaison en temps moyen fini de systèmes de règles probabilistes, Termination within a finite mean time of probabilistic rules based systems
Florent Garnier
203 pages
Français
Lire
Infos
Documents
Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems
Joris Rehm
Documents
Savoirs
Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems
Joris Rehm
124 pages
Français
Lire
Infos
Documents
Synthèse pour une logique temps-réel faible, Synthesis for a weak real-time logic
Omer Nguena-Timo
Documents
Savoirs
Synthèse pour une logique temps-réel faible, Synthesis for a weak real-time logic
Omer Nguena-Timo
157 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
