الفهرس الآلي للمكتبة المركزية بجامعة غليزان
Détail de l'éditeur
vuibert
localisé à :
paris
|
Documents disponibles chez cet éditeur (74)
Affiner la recherche Interroger des sources externes
Type de document : texte imprimé Auteurs : Jacques Julliand ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Importance : 264 p Format : 24 cm Langues : Français (fre) Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage pr?sent ? la base des t?chniques de v?rification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette m?thode pour v?rifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf [texte imprimé] / Jacques Julliand ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, [s.d.] . - 264 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage pr?sent ? la base des t?chniques de v?rification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette m?thode pour v?rifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Type de document : texte imprimé Auteurs : Pierre Wassef Editeur : paris : vuibert Importance : 218 p Format : 24 cm Langues : Français (fre) Mots-clés : math?matique-arithm?tique-cryptographie Index. décimale : 510 Résumé : cet ouvrage pr?sente Arithm?tique application aux codes correcteurs et ses applications ? la cryptographie. l'?tude des corps finis conduit enfin au chapitre consacr? aux codes correcteurs d'erreurs. En ligne : 510-05.1.pdf [texte imprimé] / Pierre Wassef . - paris : vuibert, [s.d.] . - 218 p ; 24 cm.
Langues : Français (fre)
Mots-clés : math?matique-arithm?tique-cryptographie Index. décimale : 510 Résumé : cet ouvrage pr?sente Arithm?tique application aux codes correcteurs et ses applications ? la cryptographie. l'?tude des corps finis conduit enfin au chapitre consacr? aux codes correcteurs d'erreurs. En ligne : 510-05.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Type de document : texte imprimé Auteurs : NICOLAOS LIMNIOS VALERIE GIRARDAN Editeur : paris : vuibert Année de publication : 2008 Importance : 237p Format : 24 cm Langues : Français (fre) Mots-clés : evenment et probablite -variables aletoires - vacteurs aletoires - Index. décimale : 519 Résumé : evenment et probablite -variables aletoires - vacteurs aletoires -suites aletoires problemes a resoudre . En ligne : 519-15.1.pdf [texte imprimé] / NICOLAOS LIMNIOS VALERIE GIRARDAN . - paris : vuibert, 2008 . - 237p ; 24 cm.
Langues : Français (fre)
Mots-clés : evenment et probablite -variables aletoires - vacteurs aletoires - Index. décimale : 519 Résumé : evenment et probablite -variables aletoires - vacteurs aletoires -suites aletoires problemes a resoudre . En ligne : 519-15.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Type de document : texte imprimé Auteurs : Jean-Philippe Cortier Rudolf Bkouche Editeur : paris : vuibert Importance : 289 p Format : 24 cm Langues : Français (fre) Mots-clés : math?matique - alg?bre Index. décimale : 510 Résumé : dans ce livre d'histoire , on d?couvrira en quoi le calcule sert non seulement ? mesurer les choses , mais ? les penser . En ligne : 510-07.1.pdf [texte imprimé] / Jean-Philippe Cortier Rudolf Bkouche . - paris : vuibert, [s.d.] . - 289 p ; 24 cm.
Langues : Français (fre)
Mots-clés : math?matique - alg?bre Index. décimale : 510 Résumé : dans ce livre d'histoire , on d?couvrira en quoi le calcule sert non seulement ? mesurer les choses , mais ? les penser . En ligne : 510-07.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire
Type de document : texte imprimé Auteurs : Jacques Julliand ; Pierre Berlioux, Préfacier, etc. Editeur : paris : vuibert Importance : 264 p Format : 24 cm Langues : Français (fre) Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage pr?sent ? la base des t?chniques de v?rification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette m?thode pour v?rifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf [texte imprimé] / Jacques Julliand ; Pierre Berlioux, Préfacier, etc. . - paris : vuibert, [s.d.] . - 264 p ; 24 cm.
Langues : Français (fre)
Mots-clés : Algorithmique Index. décimale : 005 Résumé : cet ouvrage pr?sent ? la base des t?chniques de v?rification , la logique de hoare est au coeur , on trouvera ici comment utiliser cette m?thode pour v?rifier et concervoir des logiciels surs. En ligne : 005-39.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire PermalinkPermalinkPermalinkPermalink
PermalinkPermalinkPermalinkPermalinkPermalinkPermalink