Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Collection Etudes et recherches en informatique
|
|
Documents disponibles dans la collection (13)
Faire une suggestion Affiner la recherche
Titre : Algorithmes et architectures systoliques Type de document : texte imprimé Auteurs : Patrice QUINTON, Auteur ; Yves ROBERT, Auteur ; Jean-Pierre Verjus, Préfacier, etc. Editeur : Masson Année de publication : 1989 Collection : Etudes et recherches en informatique Importance : 353 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81617-8 Langues : Français (fre) Catégories : MICRO INFORMATIQUE:Réseaux locaux Index. décimale : 24-05 Réseaux locaux Algorithmes et architectures systoliques [texte imprimé] / Patrice QUINTON, Auteur ; Yves ROBERT, Auteur ; Jean-Pierre Verjus, Préfacier, etc. . - Masson, 1989 . - 353 p. : ill. ; 24 cm.. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81617-8
Langues : Français (fre)
Catégories : MICRO INFORMATIQUE:Réseaux locaux Index. décimale : 24-05 Réseaux locaux Réservation
Réserver ce document
Exemplaires(4)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001001160132 24-05-0004 Livre Magazin Documentaires Disponible 61530 00001000664092 24-05-0004 Livre Magazin Documentaires Disponible 61532 00001001157401 24-05-0004 Livre Magazin Documentaires Disponible 61529 00001000856821 24-05-0004 Livre Salle 2 Documentaires Exclu du prêt 61531
Titre : Arithmétique des ordinateurs, opérateurs et fonctions élémentaires Type de document : texte imprimé Auteurs : J.-M. MULLER, Auteur ; M. COSNARD, Préfacier, etc. Editeur : Masson Année de publication : 1989 Collection : Etudes et recherches en informatique Importance : 214 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81689-5 Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Informatique générale Index. décimale : 08-01 Informatique générale Arithmétique des ordinateurs, opérateurs et fonctions élémentaires [texte imprimé] / J.-M. MULLER, Auteur ; M. COSNARD, Préfacier, etc. . - Masson, 1989 . - 214 p. ; 25 cm.. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81689-5
index
Langues : Français (fre)
Catégories : INFORMATIQUE:Informatique générale Index. décimale : 08-01 Informatique générale Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000545069 08-01-374 Livre Salle 1 Documentaires Exclu du prêt 101965
Titre : Aspect mathématiques des réseaux de pétri Type de document : texte imprimé Auteurs : Christophe REUTENAUER, Auteur Editeur : Masson Année de publication : 1989 Collection : Etudes et recherches en informatique Importance : 117 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81492-1 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Aspect mathématiques des réseaux de pétri [texte imprimé] / Christophe REUTENAUER, Auteur . - Masson, 1989 . - 117 p. ; 25 cm.. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81492-1
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000114999 04-07-16 Livre Salle 1 Documentaires Exclu du prêt 62060
Titre : Calcul formel, système et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J. DAVENPORT, Auteur ; Y. SIRET, Auteur ; E. TOURNIER, Auteur Editeur : Masson Année de publication : 1993 Collection : Etudes et recherches en informatique Importance : 275 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84200-9 Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Calcul formel, système et algorithmes de manipulations algébriques [texte imprimé] / J. DAVENPORT, Auteur ; Y. SIRET, Auteur ; E. TOURNIER, Auteur . - Masson, 1993 . - 275 p. ; 25 cm.. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-84200-9
index
Langues : Français (fre)
Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000406189 08-02-637 Livre Salle 1 Documentaires Exclu du prêt 62936
Titre : Langages algébriques Type de document : texte imprimé Auteurs : J.-M. AUTEBERT, Auteur Editeur : Masson Année de publication : 1987 Collection : Etudes et recherches en informatique Importance : 278 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81087-9 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Algébre Index. décimale : 04-03 Algébre Résumé : Le présent ouvrage de théorie des langages est centré sur l'étude des langages algébriques. On y montre comment les générer à l'aide de grammaire, les reconnaitre à l'aide d'automates à pile, et on établit de nombreuses propriétés des langages de cette famille : théorèmes d'Ogden, de Chomsky-Schützenberger, de Shamir-Greibach ... On développe également les éléments les plus saillants de la théorie des langages rationnels, à savoir le théorème de Kleene et la construction de l'automate minimal. Enfin, les langages récursivement énumérables et les machines de Turing sont introduits succinctement pour parler des problèmes de décidabilité concernant les langages algébriques. Chaque chapitre est suivi d'exercices et une série de problèmes termine l'ouvrage.
SOMMAIRE:
LES LANGAGES FORMELS
LES LANGAGES ALGEBRIQUES
LES LANGAGES RATIONNELS
FERMETURES
DERIVATIONS DANS LES GRAMMAIRES ALGEBRIQUES
RECONNAISSANCE DES LANGAGES ALGEBRIQUES
PROBLEMES DE DECISIONLangages algébriques [texte imprimé] / J.-M. AUTEBERT, Auteur . - Masson, 1987 . - 278 p. ; 25 cm.. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81087-9
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Algébre Index. décimale : 04-03 Algébre Résumé : Le présent ouvrage de théorie des langages est centré sur l'étude des langages algébriques. On y montre comment les générer à l'aide de grammaire, les reconnaitre à l'aide d'automates à pile, et on établit de nombreuses propriétés des langages de cette famille : théorèmes d'Ogden, de Chomsky-Schützenberger, de Shamir-Greibach ... On développe également les éléments les plus saillants de la théorie des langages rationnels, à savoir le théorème de Kleene et la construction de l'automate minimal. Enfin, les langages récursivement énumérables et les machines de Turing sont introduits succinctement pour parler des problèmes de décidabilité concernant les langages algébriques. Chaque chapitre est suivi d'exercices et une série de problèmes termine l'ouvrage.
SOMMAIRE:
LES LANGAGES FORMELS
LES LANGAGES ALGEBRIQUES
LES LANGAGES RATIONNELS
FERMETURES
DERIVATIONS DANS LES GRAMMAIRES ALGEBRIQUES
RECONNAISSANCE DES LANGAGES ALGEBRIQUES
PROBLEMES DE DECISIONRéservation
Réserver ce document
Exemplaires(4)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000096923 04-03-144 Livre Magazin Documentaires Disponible 28872 00001000810323 04-03-144 Livre Magazin Documentaires Disponible 28874 00001000997351 04-03-144 Livre Magazin Documentaires Disponible 28876 00001000426476 04-03-144 Livre Salle 1 Documentaires Exclu du prêt 28873 PermalinkLogique temporelle, sémantique et validation de programmes parallèles / Eric AUDUREAU / Masson (1990)
PermalinkPermalinkPermalinkPermalink
PermalinkPermalinkPermalink
