Algorithmique numérique et ADA / J.E Rombaldi

Public ISBD Titre : Algorithmique numérique et ADA : Avec programme ADA sur disquette Type de document : texte imprimé Auteurs : J.E Rombaldi, Auteur Editeur : Masson Année de publication : 1994 Collection : Logique Mathématiques Informatique, ISSN 0995-2179 Importance : 336p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-225-84384-6 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:01 Informatique Générale Mots-clés : le langage ADA avec Open Ada  bibliothèque mathématique  analyse numérique linéaire  résolution numérique des systèmes non linéaires  approximation et interpolation  calcul numérique des intégrales  résolution numérique des équations différentielles  méthode des différences finies . Algorithmique numérique et ADA : Avec programme ADA sur disquette [texte imprimé] / J.E Rombaldi, Auteur . - Masson, 1994 . - 336p : ill ; 24cmx16cm. - (Logique Mathématiques Informatique, ISSN 0995-2179) . ISBN : 978-2-225-84384-6 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:01 Informatique Générale Mots-clés : le langage ADA avec Open Ada  bibliothèque mathématique  analyse numérique linéaire  résolution numérique des systèmes non linéaires  approximation et interpolation  calcul numérique des intégrales  résolution numérique des équations différentielles  méthode des différences finies .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
105218	08-01-0382	Livre	Bibliothèque IGCMO	Documentaires	Disponible

Introduction aux méthodes de la cryptologie / Brian Beckett

Public ISBD Titre : Introduction aux méthodes de la cryptologie Type de document : texte imprimé Auteurs : Brian Beckett, Auteur ; Philippe Béguin, Auteur Editeur : Masson Année de publication : 1990 Collection : Logique Mathématiques Informatique, ISSN 0995-2179 Importance : 332p Présentation : ill Format : 24,5cmx16cm ISBN/ISSN/EAN : 978-2-225-81941-4 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:01 Informatique Générale Mots-clés : jeux de caractères et substitution  codage par transposition et alphabets transposés  la sécurité par codage  nombres premiers et inverses multiplicatifs  codes matriciels  la faiblesse du linéaire  codes binaires . Introduction aux méthodes de la cryptologie [texte imprimé] / Brian Beckett, Auteur ; Philippe Béguin, Auteur . - Masson, 1990 . - 332p : ill ; 24,5cmx16cm. - (Logique Mathématiques Informatique, ISSN 0995-2179) . ISBN : 978-2-225-81941-4 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:01 Informatique Générale Mots-clés : jeux de caractères et substitution  codage par transposition et alphabets transposés  la sécurité par codage  nombres premiers et inverses multiplicatifs  codes matriciels  la faiblesse du linéaire  codes binaires .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
61767	08-01-0232	Livre	Bibliothèque IGCMO	Documentaires	Disponible

Langage Pascal et logique du premier ordre Tome 2 / Maurice Margenstern

Public ISBD Titre : Langage Pascal et logique du premier ordre Tome 2 : récursivité et dérécursification- preuves et complexité d'algorithmes Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Masson Année de publication : 1990 Collection : Logique Mathématiques Informatique, ISSN 0995-2179 Importance : 288p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 2-225-81953-x Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : récursion et récursivité  preuves et vérifications  complexité des programmes . Langage Pascal et logique du premier ordre Tome 2 : récursivité et dérécursification- preuves et complexité d'algorithmes [texte imprimé] / Maurice Margenstern, Auteur . - Masson, 1990 . - 288p : ill ; 24cmx16cm. - (Logique Mathématiques Informatique, ISSN 0995-2179) . ISSN : 2-225-81953-x Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : récursion et récursivité  preuves et vérifications  complexité des programmes .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
62097	08-02-0650	Livre	Bibliothèque IGCMO	Documentaires	Disponible

Mathématiques discrètes et informatique / N.H Xuong

Public ISBD Titre : Mathématiques discrètes et informatique Type de document : texte imprimé Auteurs : N.H Xuong, Auteur Editeur : Masson Année de publication : 1992 Collection : Logique Mathématiques Informatique, ISSN 0995-2179 Importance : 412p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 978-2-225-82621-4 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathematique:08 Mathematique appliquée (artymetrique ) Mots-clés : concepts de base  systèmes relationnels  structures algébriques  principes fondamentaux du dénombrement  méthode de récurrence  complexité  de calcul  graphes  circuits dans les graphes  arbres et arborescences . Mathématiques discrètes et informatique [texte imprimé] / N.H Xuong, Auteur . - Masson, 1992 . - 412p : ill ; 24cmx16cm. - (Logique Mathématiques Informatique, ISSN 0995-2179) . ISBN : 978-2-225-82621-4 Langues : Français (fre) Langues originales : Français (fre) Catégories : Mathematique:08 Mathematique appliquée (artymetrique ) Mots-clés : concepts de base  systèmes relationnels  structures algébriques  principes fondamentaux du dénombrement  méthode de récurrence  complexité  de calcul  graphes  circuits dans les graphes  arbres et arborescences .

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	numéro d'inventaire	Cote	Support	Localisation	Section	Disponibilité
97955	04-08-0208	Livre	Bibliothèque IGCMO	Documentaires	Disponible

---

1 (1 - 4 / 4) Par page : 25 50 100 200