Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 213 p.
Cote : 00013548
fiabilité des logiciels # inférence statistique # modèles linéaires # modélisation stochastique # probabilité appliquée # processus aléatoire # tests de tendance
68M15 ; 68M20 ; 68Q75
Localisation : Ouvrage RdC (GAUD)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 612 p.
Cote : 00015538
différentiation automatique # langage programme # quadrature numérique # science de l'ingénieur # vérification # équation intégrale
00A06 ; 65D25 ; 65D32 ; 65R20 ; 68M15
Localisation : Ouvrage RdC (Scien)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 290 p.
Cote : 00009511
science informatique # software # système de surveillance # automate # filets de transition
68M10 ; 68M15
Localisation : Ouvrage RdC (PETE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 265 p.
Cote : 00011512
mathématiques discrètes # outils mathématiques de l'informatique # réseaux # système d'exploitation # système informatique # teste
68M15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 209 p.
Cote : 00013725
évaluation des programmes # langage # programmation # système informatique # texte
68M15 ; 68N15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 195 p.
Cote : 00014295
parallèle # programmation logique # prolog
68M15 ; 68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 402 p.
Cote : 00014297
algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux
68M10 ; 68M15 ; 68Q10 ; 68UXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 285 p.
Cote : 00014301
système temps réel # temps réel
68M15 ; 68Mxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 318 p.
Cote : 00014523
algorithes non numérique # algorithmes distribuées # algorithmique # analyse des algorithmes # complexité des algorithmes # informatique théorique # programmation concurente # programmation distribuée # réseaux # systèmes concurents # traitement de l'information
68-06 ; 68M10 ; 68M15 ; 68Q10 ; 68Q15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 246 p.
Cote : 00015426
LISP # MACZYMA # langage de programmation # statistique mathématique # théorie des données # traitement des données
62-XX ; 68M15 ; 68Pxx
Localisation : Ouvrage RdC (HELL)