Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 403 p.
Cote : 00020970
algorithme non numérique # algorithmique # algèbre # algèbre de l'informatique # analyse d'algorithme # arithmétique # corps des nombres finis # cryptage des données # cryptographie # encryptage de données # grammaire # informatique théorique # mathématique de l'informatique # mathématique discrète # polynôme # problème de complexité # théorie algorithmique des nombres # théorie des nombres # traitement des données informatiques
11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 173 p.
Cote : 00010457
abc algol # calcul symbolique # compatibilité des langages # langage de programmation # transferabilité
68A15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 116 p.
Cote : 00010458
abc algol # calcul symbolique # compatibilité des langages # langage de programmation # transferabilité
68A15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 508 p.
Cote : 00013901
algèbre # automatique # engineering # logique mathématique # logique symbolique
03D05 ; 68Q68
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 233 p.
Cote : 00013421
algèbre de l'informatique # algorithme # combinatoire # informatique graphique # mathématique discrète # programmation # théorie du signal
68Qxx ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 650 p.
Cote : 00013422
algèbre de l'informatique # algorithme # combinatoire # logique combinatoire # mathématiques discrètes
68Q20 ; 68Q40 ; 68Qxx ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 322 p.
Cote : 00017481
CM-champ # algorithme # complexité # courbe elliptique rationnelle # courbe hyperelliptique # criblage de treillis # cycle d'isogénie # difficulté à trouver des témoins fiables # division d'essais # informatique # méthode symbolique en mathématique algorithmique # ordinateur quantique # réduction # théorie des nombres # théorie des nombres algorithmique # variété CM abelienne
11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 566 p.
Cote : 00017482
CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie informatique # mécanique quantique # mémoire des systèmes informatique # performance des machines # polymère # portabilité de programme # problème de voyageur de commerce # problème des trois corps # programmation parallèle # programme informatique de la chimie # prospective de l'informatique # recherche prospective # réseau de machines # réseau de stations de travail # réseau informatique # simulation # station de travail # système linéaire perturbé # traitement de données sismiques # équation différentielle # étoile
[-] CERFACS # EDP à arguments retardés # EFECT système # IBM # amas d'étoiles de réseaux # application expérimentale # application parallèle # architecture de réseaux parallèle # calcul parallèle # chimie # connection de réseaux # gaz # grand calculateur # informatique dans le milieu de la chimie # informatique de l'environnement # informatique des amas # informatique industrielle # informatique orientée objet # informatique portable # librairie ...
[+] 68M07 ; 68M10 ; 68M15 ; 68M20 ; 90B12
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 483 p.
Cote : 00018090
analyse d'algorithme et complexité de problème # analyse numérique # application informatique # archtecture de processeur # calcul et éducation # calcul par dispositif abstrait # captation et restitution d'information # gestion de base de données # gestion de calcul # généralité # histoire de calcul # implémentation de système informatique # ingénierie de logiciel # intelligence artificielle # langage de programmation # langage formel # logique et signification de programme # logique mathématique # manipulation algébrique # mathématique discrète # mathématique du calcul # milieu de calcul # méthodologie de calcul # ordinateur # organisation de systèmes informatiques # probabilité et statistique # profession informatique # science physique et ingénierie # software # système d'exploitation # système d'information # technique de programmation # théorie du calcul # traitement de données électronique
[-] analyse d'algorithme et complexité de problème # analyse numérique # application informatique # archtecture de processeur # calcul et éducation # calcul par dispositif abstrait # captation et restitution d'information # gestion de base de données # gestion de calcul # généralité # histoire de calcul # implémentation de système informatique # ingénierie de logiciel # intelligence artificielle # langage de programmation # langage formel # logique ...
[+] 68Mxx ; 68Nxx ; 68Qxx
Localisation : Monographie RdC (ACM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 163 p.
Cote : 00018435
bifurcation # cheminement # estimation d'erreur à posteriori # estimation d'erreur à priori # singularité # valeur propre # élémént fini adaptatif
65Lxx ; 65Mxx ; 65Nxx ; 65Yxx ; 73Kxx
Localisation : Ouvrage RdC (CHER)
English