Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00010180
algorithme # algorithmique # complexité # informatique théorique # langage formel # logique # logique de programmation # logique mathématiques # programme # réseaux # système informatique
68-06 ; 68A05 ; 68CXX ; 68Q30 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 133 p.
Cote : 00012098
automate # axiomatique # axiomatisabilite # langage de progammation # logique modale # probabilité de l'automatique # progammation # théorie de la programmation # théorie des langages
03B45 ; 03E25 ; 68N15 ; 68Q75
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 519 p.
Cote : 00013914
algorithme # algorithmes distribués # combinatoire # complexité # informatique théorique # langage # langage de programmation # logique # mathématique discrètes # processeurs # sémantique # vérification des algorithmes
68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 474 p.
Cote : 00013953
algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes
68Q05 ; 68Q25 ; 68Q45 ; 68R10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 495 p.
Cote : 00014022
algorithme # algorithmique # énumération # graphe # structure des données
68P05 ; 68Q20 ; 68Q22 ; 68Q25 ; 68Q30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 373 p.
Cote : 00015079
alge bre commutative # algorithme # analyse globale # analyse sur les varietes # anneau commutatif # application # champs globaux # complexe cellulaire # complexite # correspondance # efficacite du calcul # equations aux derivees partielles sur les varietes # geometrie algebrique # groupe classique # groupe d'homotopie # groupe de lie # groupe de permutation # groupe fini abstrait # groupe lineaire algebrique # groupe topologique # methode homologique # obstruction # operation # probleme arithmetique # processus de markov # processus stochatique # suite spectrale # systeme differentiable dynamique # theorie algebrique des nombres # theorie de la representation des groupes finis # theorie des corps # theorie des groupes # theorie des polynomes # theorie des probabilites # theorie generale # topologie algebrique # topologie differentielle # variete # varietes speciales
[-] alge bre commutative # algorithme # analyse globale # analyse sur les varietes # anneau commutatif # application # champs globaux # complexe cellulaire # complexite # correspondance # efficacite du calcul # equations aux derivees partielles sur les varietes # geometrie algebrique # groupe classique # groupe d'homotopie # groupe de lie # groupe de permutation # groupe fini abstrait # groupe lineaire algebrique # groupe topologique # methode ...
[+] 14G10 ; 20B25 ; 57D45 ; 58G10 ; 60J60
Localisation : Périodique 1er étage;Séminaire 1er étage;Réserve
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 480 p.
Cote : 00015109
algèbre de l'informatique # algorithme algébrique # codage # code correcteur
68G40 ; 68Rxx ; 94Bxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 245 p.
Cote : 00015500
chiffrement des données # classe de complexité # communication # complexité d'un problème # corps finis # cryptographie # cryptosystème à clé publique # information # informatique # informatique théorique # standard de chiffrement des données # théorie algébrique du codage # théorie des données
68-XX ; 68P25 ; 68Pxx ; 94A60 ; 94Axx
Localisation : Ouvrage RdC (SALO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 350 p.
Cote : 00016064
algorithme distribué # algorithme parallèle # combinatoire # concept de graphe théorique # décomposition de graphes # grammaire de graphe # géométrie
05Cxx ; 05Dxx ; 68R10 ; 68R15 ; 68S05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 340 p.
Cote : 00026083
NP-complétude # NP-dureté # classement et ordonnancement # complexité # intractabilité # ordinateur # programmation mathématique
68Q25 ; 90B35 ; 90Cxx
Localisation : Disparu;Ouvrage RdC (GARE)
English