Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 57 p.
Cote : 00041679
processus de Markov # flux de normalisation stochastique # modélisation
60-01 ; 68-01 ; 60J20 ; 65C40 ; 68T07
Localisation : Ouvrage RdC (HAGE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xxv; 469 p.
Cote : 00041682
Coq # vérification de programme # assistant de preuve # démonstration automatique
68T15 ; 03B15 ; 03B35 ; 03B70 ; 68N18 ; 68Q60 ; 68-01
Localisation : Ouvrage RdC (BERT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xxi; 828 p.
Cote : 00041291
fonction calculable # degré Turing # théorie algorithmique de l'aléatoire # mathématiques à rebours
68-01 ; 60-01 ; 68Qxx
Localisation : Ouvrage RdC (MONI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xvii; 410 p.
Cote : 00041452
analyse numérique # algorithmes # complexité de calcul # manuel
68-01 ; 68Q25 ; 68W40 ; 68Q05
Localisation : Enseignement RdC (PERI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 409 p.
Cote : 00005181
analyse numérique
65-01 ; 68-01
Localisation : Ouvrage RdC (HENR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 94 p.
Cote : 00013465
analyse des algorithmes # arithmétique # cryptographie # Pascal # répartition de nombres premier
11-01 ; 68-01 ; 68N15 ; 68Q25 ; 94A60
Localisation : Ouvrage RdC (FARA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 149 p.
Cote : 00001858
combinatoire # flux en réseau # fonction de période rapide # loi arcsin # principe d'équivalence combinatoire # problème de facteur # règle du jeu de "rouge et noir" # suite 0-1 engendrée par machine(algorithme) # théorie des graphes # théorème du mariage
05-01 ; 05Axx ; 05Cxx ; 68-01 ; 90-01
Localisation : Ouvrage RdC (Sele)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00019628
Prolog # algorithme # arbre # automate # ensemble ordonné # exercice corrigé # graphe # langage et grammaire # licence # liste # logique des prédicats # logique déclarative # mathématique pour l'intelligence artificielle # maîtrise # pile # queue # relation n- aire # structure monoïde # système formel # treillis # école d'ingénieur # étudiant en informatique des IUT
03-01 ; 03Bxx ; 05-01 ; 05Cxx ; 68-01
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 74 p.
Cote : 00019827
algorithmique # analyse combinatoire # théorème de mariage # traitement de donnée
68-01 ; 68Q25
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00021636
algorithme # conception de programme # fondement mathématique # informatique # langage C # langage de programmation # mathématique discrète # programmation # traitement et structure des données informatiques
68-01
Localisation : Monographie RdC (A)