Arithmétique des ordinateurs / J M Muller

Public ISBD Titre : Arithmétique des ordinateurs : opérateurs et fonctions élémentaires Type de document : texte imprimé Auteurs : J M Muller, Auteur Editeur : Masson Année de publication : 1989 Collection : études et recherches en informatique, ISSN 0763-2770 Importance : 214p Présentation : ill Format : 24,5cmx16cm ISBN/ISSN/EAN : 978-2-225-81689-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:01 Informatique Générale Mots-clés : rappels de calcul booléen et résultats de complexité  systèmes d'écriture des nombres utilisés en informatique scientifique  algorithmes d'addition  algorithmes de multiplication  algorithmes de division  calcul des fonctions élémentaires . Arithmétique des ordinateurs : opérateurs et fonctions élémentaires [texte imprimé] / J M Muller, Auteur . - Masson, 1989 . - 214p : ill ; 24,5cmx16cm. - (études et recherches en informatique, ISSN 0763-2770) . ISBN : 978-2-225-81689-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:01 Informatique Générale Mots-clés : rappels de calcul booléen et résultats de complexité  systèmes d'écriture des nombres utilisés en informatique scientifique  algorithmes d'addition  algorithmes de multiplication  algorithmes de division  calcul des fonctions élémentaires .

Réservation

Réserver ce document

Exemplaires(1)

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

Calcul formel / J Davenport

Public ISBD Titre : Calcul formel : Systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J Davenport, Auteur ; Y Siret, Auteur ; TOURNIER; E., Auteur Editeur : Masson Année de publication : 1993 Collection : études et recherches en informatique, ISSN 0763-2770 Importance : 275p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 2-225-84200-09 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : initiation au calcul formel  la représentation des données  simplification polynomiale  algorithmique avancée  intégration formelle et équation différentielles . Calcul formel : Systèmes et algorithmes de manipulations algébriques [texte imprimé] / J Davenport, Auteur ; Y Siret, Auteur ; TOURNIER; E., Auteur . - Masson, 1993 . - 275p : ill ; 24cmx16cm. - (études et recherches en informatique, ISSN 0763-2770) . ISSN : 2-225-84200-09 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : initiation au calcul formel  la représentation des données  simplification polynomiale  algorithmique avancée  intégration formelle et équation différentielles .

Réservation

Réserver ce document

Exemplaires(1)

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

Logique temporelle / Eric Audureau

Public ISBD Titre : Logique temporelle : Sémantique et validation de programmes parallèles Type de document : texte imprimé Auteurs : Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Farinas Del Cerro, Auteur Editeur : Masson Année de publication : 1990 Collection : études et recherches en informatique, ISSN 0763-2770 Importance : 232p Présentation : ill Format : 24cmx16cm ISBN/ISSN/EAN : 2-225-81967-x Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : éléments de logique modale et temporelle  logique temporelle linéaire  logique temporelle arborescente et vérification automatique de programme parallèle  synthèse de programmes parallèles . Logique temporelle : Sémantique et validation de programmes parallèles [texte imprimé] / Eric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Farinas Del Cerro, Auteur . - Masson, 1990 . - 232p : ill ; 24cmx16cm. - (études et recherches en informatique, ISSN 0763-2770) . ISSN : 2-225-81967-x Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique:02 Logiciels et Programmation Mots-clés : éléments de logique modale et temporelle  logique temporelle linéaire  logique temporelle arborescente et vérification automatique de programme parallèle  synthèse de programmes parallèles .

Réservation

Réserver ce document

Exemplaires(1)

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

---

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