Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Publications mathematiques de l'universite paris vii , 0030
Localisation : Publication 1er étage
complexite des algorithmes # logique # machine de turing
03D10 ; 68Q15 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-7261-0638-9
Publications i.n.r.i.a.
Localisation : Colloque 1er étage (SOPH)
algorithm ique # algorithme dynamique # algorithme geometrique # algorithme probabiliste # combinatoire # geometrie algorithmique
68Q25 ; 68Qxx ; 68R05 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Salle de manutention
algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne
algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'ap...
03B25 ; 03D20 ; 11Dxx ; 68U05 ; 92B20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 293 p.
Astérisque , 0038
Localisation : Périodique 1er étage
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 249 p.
Collection enseignement des sciences , 0031
Localisation : Disparu
49-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-7046-5974-6
Collection enseignement des sciences , 0032
Localisation : Disparu
49-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 182 p.
ISBN 978-2-04-015771-5
Localisation : Ouvrage RdC (BERL)
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 p.
ISBN 978-2-86601-063-8
Traité des nouvelles technologies
Localisation : Ouvrage RdC (GRIF)
algorithmique # intelligence artificielle # programmation logique
68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-2-04-015723-4
Localisation : Ouvrage RdC (RAYN)
algorithme # algorithmique # parallélisme
68Q10 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 359 p.
ISBN 978-2-04-018606-7
Dunod informatique
Localisation : Ouvrage RdC (COUR)
algorithmique # recursivité # structure de données
68P05 ; 68Pxx ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-2-86601-063-8
Traite des nouvelles technologies , 0006
Localisation : Bibliothèque de Poitiers
algorithme # demonstration de theoreme # intelligence artificielle # langage de programmation # lisp # prolog # resolution de probleme # sys teme expert
68T10 ; 68T15 ; 68T20 ; 68T25 ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 621 p.
ISBN 978-2-7042-1173-9
Collection informatique
Localisation : Ouvrage RdC (COUS)
algorithmique # langage de programmation # Pascal
65-XX ; 68N15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 181 p.
ISBN 978-2-04-019605-9
Dunod informatique
Localisation : Ouvrage RdC (BERL)
algorithmique # évaluation des programmes # informatique # programmation
68N05 ; 68Q20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 469 p.
ISBN 978-2-225-82703-7
Logique mathématiques informatique , 0008
Localisation : Ouvrage RdC (NAUD)
algèbre # algorithme # algorithmique # anneaux # Euclide # histoire des mathématiques # transformée de Fourier discrète
68Q20 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Mathématiques & applications , 0008
Localisation : Collection 1er étage
algorithme # algorithmique # codage # cryptographie
68P25 ; 94A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 228 p.
ISBN 978-2-225-82672-6
Collection technique et scientifique des télécommunications
Localisation : Ouvrage RdC (BART)
analyse des algorithmes et problème de la complexité # complexité de calcul # cryptographie
03D15 ; 68Q25 ; 94A60
... Lire [+]