الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'éditeur
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Systèmes formels / Claude Benzaken
Titre : Systèmes formels : introduction à la logique et à la théorie des langages Type de document : texte imprimé Auteurs : Claude Benzaken, Editeur : Paris : Masson Année de publication : 1991, cop. 1991 Collection : Logique math©matiques informatique, ISSN 0995-2179 num. 6. Importance : 1 vol. (XIII-166 p.) Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82567-5 Langues : Français (fre) Mots-clés : Systèmes logique théorie langages Index. décimale : 004 Systèmes formels : introduction à la logique et à la théorie des langages [texte imprimé] / Claude Benzaken, . - Paris : Masson, 1991, cop. 1991 . - 1 vol. (XIII-166 p.) ; 24 cm.. - (Logique math©matiques informatique, ISSN 0995-2179; 6.) .
ISBN : 978-2-225-82567-5
Langues : Français (fre)
Mots-clés : Systèmes logique théorie langages Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00218 004-58.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00217 004-58.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Systèmes de transitions finis et sémantique des processus communicants / A. Arnold
Titre : Systèmes de transitions finis et sémantique des processus communicants Type de document : texte imprimé Auteurs : A. Arnold Editeur : Paris : Masson Année de publication : 1992 Importance : xii, 196 p. Présentation : ill. - ISBN/ISSN/EAN : 222582746x Mots-clés : Systèmes Index. décimale : 006 Résumé : Systèmes de transitions finis et sémantique des processus communicants [texte imprimé] / A. Arnold . - Paris : Masson, 1992 . - xii, 196 p. : ill. -.
ISSN : 222582746x
Mots-clés : Systèmes Index. décimale : 006 Résumé : Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei02152 006-22.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02153 006-22.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02154 006-22.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Techniques de base pour le multimédia
Titre : Techniques de base pour le multimédia Type de document : texte imprimé Auteurs : Gérard Weidenfeld (19..-2005), Directeur de publication, rédacteur en chef Editeur : Paris : Masson Année de publication : 1997 Collection : Enseignement de l'informatique, ISSN 1270-9069. Importance : IV-296 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-85387-6 Note générale : Bibliogr. p. 289-292. Index Langues : Français (fre) Mots-clés : multimédia Index. décimale : 006 Techniques de base pour le multimédia [texte imprimé] / Gérard Weidenfeld (19..-2005), Directeur de publication, rédacteur en chef . - Paris : Masson, 1997 . - IV-296 p. : ill., couv. ill. en coul. ; 24 cm. - (Enseignement de l'informatique, ISSN 1270-9069.) .
ISBN : 978-2-225-85387-6
Bibliogr. p. 289-292. Index
Langues : Français (fre)
Mots-clés : multimédia Index. décimale : 006 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02213 006-53.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Technologie de l'intelligence artificielle / Fumio Mizoguchi
Titre : Technologie de l'intelligence artificielle Type de document : texte imprimé Auteurs : Fumio Mizoguchi (1941-....), Auteur ; Jérôme Hubert, Traducteur ; Keiko Hubert-Ozasa, Traducteur Editeur : Paris : Masson Année de publication : 1990 Collection : Manuels informatiques Masson, ISSN 0249-6992 Importance : VI-194 p. Présentation : ill. Format : 1990 ISBN/ISSN/EAN : 978-2-225-81570-6 Note générale : Notes bibliogr. Index Langues : Français (fre) Langues originales : Japonais (jpn) Mots-clés : Technologie Index. décimale : 006 Résumé : L'intelligence artificielle passe actuellement du domaine de la recherche en laboratoire à celui des applications industrielles. Cet ouvrage s'intéresse plus particulièrement au domaine de la conception et de l'ingénierie, et présente de façon approfondie plusieurs systèmes d'intelligence artificielle développés au Japon : conception de lentilles, conception de circuits intégrés, diagnostic industriel et automatique des grands systèmes. Technologie de l'intelligence artificielle [texte imprimé] / Fumio Mizoguchi (1941-....), Auteur ; Jérôme Hubert, Traducteur ; Keiko Hubert-Ozasa, Traducteur . - Paris : Masson, 1990 . - VI-194 p. : ill. ; 1990. - (Manuels informatiques Masson, ISSN 0249-6992) .
ISBN : 978-2-225-81570-6
Notes bibliogr. Index
Langues : Français (fre) Langues originales : Japonais (jpn)
Mots-clés : Technologie Index. décimale : 006 Résumé : L'intelligence artificielle passe actuellement du domaine de la recherche en laboratoire à celui des applications industrielles. Cet ouvrage s'intéresse plus particulièrement au domaine de la conception et de l'ingénierie, et présente de façon approfondie plusieurs systèmes d'intelligence artificielle développés au Japon : conception de lentilles, conception de circuits intégrés, diagnostic industriel et automatique des grands systèmes. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02311 006-102.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02312 006-102.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Thermodynamique / José-Philippe Pérez
Titre : Thermodynamique : fondements et applications ; avec 200 exercices et problèmes résolus Type de document : texte imprimé Auteurs : José-Philippe Pérez (1942-....), Auteur Mention d'édition : 2e éd. Editeur : Paris : Masson Année de publication : 1997 Collection : Enseignement de la physique (Paris), ISSN 0992-5538 Importance : XXVIII-543 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-85572-6 Note générale : La couv. porte en plus : "premiers cycles, licence"
Bibliogr. p. 532-533. IndexLangues : Français (fre) Index. décimale : 530 Thermodynamique : fondements et applications ; avec 200 exercices et problèmes résolus [texte imprimé] / José-Philippe Pérez (1942-....), Auteur . - 2e éd. . - Paris : Masson, 1997 . - XXVIII-543 p. : ill., couv. ill. en coul. ; 24 cm. - (Enseignement de la physique (Paris), ISSN 0992-5538) .
ISBN : 978-2-225-85572-6
La couv. porte en plus : "premiers cycles, licence"
Bibliogr. p. 532-533. Index
Langues : Français (fre)
Index. décimale : 530 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei04179 530-11.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible Transductions rationnelles / Jean-Michel Autebert
PermalinkUNIX : programmation avancée / Marc J. Rochkind
PermalinkVariétés de langages formels / Jean Eric Pin
Permalinkvolution, Fourier, Laplace, Volume 7. Analyse mathématique et calcul numérique pour les sciences et les techniques / Robert Dautray
Permalink