Bibliothèque de Faculté de Génie Mécanique IGCMO
Série Logique Mathématiques Informatique
|
|
Documents disponibles dans cette série (3)
Affiner la recherche Interroger des sources externes
Titre de série : Logique Mathématiques Informatique Titre : Algorithmes et complexité Type de document : texte imprimé Auteurs : H.S Wilf, Auteur ; P Roux, Auteur Editeur : Prentice-Hall Année de publication : 1989 Importance : 199p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-225-81701-4 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : outils mathématiques algorithmes récursifs le problème du flot maximum dans un réseau algorithmes de la théorie des nombres problèmes NP-complets . Logique Mathématiques Informatique. Algorithmes et complexité [texte imprimé] / H.S Wilf, Auteur ; P Roux, Auteur . - Prentice-Hall, 1989 . - 199p : ill ; 24cmx16cm.
ISBN : 978-2-225-81701-4
Langues : Français (fre) Langues originales : Français (fre)Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 62087 08-02-0625 Livre Bibliothèque IGCMO Documentaires Disponible
Titre de série : Logique Mathématiques Informatique Titre : Codes Correcteurs : Théorie et applications Type de document : texte imprimé Auteurs : Alain Poli, Auteur ; Liorenç Huguet, Auteur Editeur : Masson Année de publication : 1989 Importance : 448p Présentation : ill Format : 25cmx16cm ISBN/ISSN/EAN : 2-225-81595-x Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathematique Mots-clés : théorie de l'information propriétés élémentaires d'algèbre les corps finis codes correcteurs classiques compléments d'algèbre codes combinatoire application des codes tables et courbes . Logique Mathématiques Informatique. Codes Correcteurs : Théorie et applications [texte imprimé] / Alain Poli, Auteur ; Liorenç Huguet, Auteur . - Masson, 1989 . - 448p : ill ; 25cmx16cm.
ISSN : 2-225-81595-x
Langues : Français (fre) Langues originales : Français (fre)Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 61520 04-08-0126 Livre Bibliothèque IGCMO Documentaires Disponible Logique Mathématiques Informatique. Langage Pascal et logique du premier ordre Tome 1 / Maurice Margenstern
Titre de série : Logique Mathématiques Informatique Titre : Langage Pascal et logique du premier ordre Tome 1 : programmation en pascal-prédicats systèmes formels-fonctions récursives Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Masson Année de publication : 1989 Importance : 287p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-225-81900-1 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : le langage pascal(1) formalisations le langage pascal(2) simulations entre modèles . Logique Mathématiques Informatique. Langage Pascal et logique du premier ordre Tome 1 : programmation en pascal-prédicats systèmes formels-fonctions récursives [texte imprimé] / Maurice Margenstern, Auteur . - Masson, 1989 . - 287p : ill ; 24cmx16cm.
ISBN : 978-2-225-81900-1
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique:02 Logiciels et Programmation Mots-clés : le langage pascal(1) formalisations le langage pascal(2) simulations entre modèles . Réservation
Réserver ce document
Exemplaires(1)
Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité 62092 08-02-0649 Livre Bibliothèque IGCMO Documentaires Disponible
