Choose your language
.
RECHERCHE
Titres
Auteurs
ISBN
Panier d'achat
Votre panier :
0 item(s)
Littérature
Romans - Récits - Oe...
Romans policiers
Science fiction - Fa...
Contes - Fables - Lé...
Poésie lyrique - Dra...
Biographies - Souven...
Importation
Mangas-BD-Comics
Livres cadeaux
Voyages
Guides touristiques ...
Guide pour le sport
Guides hôtels - rest...
Cartes - Plans de vi...
Livres illustrés
Récits de voyages
Atlas
Globes
Autres - Accessoires...
Livres spécialisés
Ouvrages de référenc...
Hobbies - Loisirs - ...
Véhicules - Avions -...
Sport
Manger et boire
Santé - Soins du cor...
Esotérisme
Ouvrages spécialisés
Ouvrages spécialisé,...
Art - Musique
culture
Philosophie
Psychologie
Religion - Thé...
Histoire
Sciences du langage
Sciences de la litté...
Art
Musique
Mathématiques, sc. d...
Sciences de la natur...
Mathématiques
Informatique
Physique - Astronomi...
Chimie
Sciences de la terre
Biologie
Techniques
Médecine - Pharmacie
Sciences sociales - ...
Sciences sociales en...
Formation, cours
Sciences des médias
Sciences politiques ...
Traditions populaire...
Environnement
Droit
Economie
Ecole et apprentissa...
Livres scolaires
Livres scolaires, ma...
Livres pour écoles p...
Aides à l'apprentiss...
Lectures, interpréta...
Université populaire...
Livres scolaires - A...
Lernsoftware
Livres scolaires - A...
Livres pour enfants ...
Livres d’images
Livres spécialisés i...
Histoires - Vers
Lectures premier âge
Romans et récits pou...
Contes et fables
Histoire d’animaux
Livres spécialisés
Livres et activités ...
Livres étrangers
Livres anglais
Livres allemand
Livres espagnol
Livres turque
Livres russes
Livres italiens
Livres hollandais
QUI SOMMES-NOUS ?
MEILLEURES VENTES
NOUVEAUX PRODUITS
FORUM
CONTACT
NEWS
CGV
Mathématiques, sc. de la nature, médecine
>
Informatique
>
Informatique
Trier par titre
Trier par auteurs
Trier par prix
Filtrer par rubriques
Application de logiciels
Autres
Communication informatique, réseaux, mails
Général - Encyclopédies
Informatique
Jeux informatiques
Langages de programmation
Matériel informatique
Systèmes d'exploitation - Interface d'utilisateur
Filtrer par langues
Computer Aided Verification
Computer Aided Verification
Auteur
:
En stock (3 à 5 jours)
72.76 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Beginning Game Graphics
Robalik, N: Beginning Game Graphics
Auteur
:
En stock (3 à 5 jours)
37.30 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Fundamentals of Computation Theory
Fundamentals of Computation Theory
Auteur
:
En stock (3 à 5 jours)
31.50 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Formalization of Programming Concepts
FORMALIZATION OF PROGRAMMING CONCEPTS
Auteur
:
En stock (3 à 5 jours)
64.15 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Developing Future Interactive Systems
DEVELOPING FUTURE INTERACTIVE
Auteur
:
En stock (3 à 5 jours)
66.92 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Reliability and Safety Analyses under Fuzziness
Reliability and Safety Analyses under Fuzziness
Auteur
:
En stock (3 à 5 jours)
128.35 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
High Confidence Software Reuse in Large Systems
High Confidence Software Reuse in Large Systems
Auteur
:
En stock (3 à 5 jours)
59.92 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
Knowledge Representation and Organization in Machine Learning
KNOWLEDGE REPRESENTATION AND ORGANIZATION IN MA
Auteur
:
En stock (3 à 5 jours)
37.00 €
Quantité :
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
En stock (3 à 5 jours)
