A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
10 résultat(s) recherche sur le mot-clé 'Automates' 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes Faire une suggestionSynthèse des automates micro-programmés / Baranov, Samari I. (1983)
Titre : Synthèse des automates micro-programmés Type de document : texte imprime Auteurs : Baranov, Samari I., Auteur ; Pavlov;Boris, Auteur Editeur : Paris : Mir Année de publication : 1983 Importance : 336 p. Présentation : ill. Format : 23 cm Note générale : Bibliogr.Index Langues : Français Mots-clés : Automates Automates microprogrammés Algorithmes Matrice Permalink : ./index.php?lvl=notice_display&id=9928 Synthèse des automates micro-programmés [texte imprime] / Baranov, Samari I., Auteur ; Pavlov;Boris, Auteur . - Paris : Mir, 1983 . - 336 p. : ill. ; 23 cm.
Bibliogr.Index
Langues : Français
Mots-clés : Automates Automates microprogrammés Algorithmes Matrice Permalink : ./index.php?lvl=notice_display&id=9928 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C98/1 C98 Livre Magasin d'Ouvrages / FGE Commandes Consultation sur place
Exclu du prêtC98/2 C98 Livre Magasin d'Ouvrages / FGE Commandes Disponible C98/3 C98 Livre Magasin d'Ouvrages / FGE Commandes Disponible C98/4 C98 Livre Magasin d'Ouvrages / FGE Commandes Disponible C98/5 C98 Livre Magasin d'Ouvrages / FGE Commandes Disponible C98/6 C98 Livre Magasin d'Ouvrages / FGE Commandes Disponible C98/7 C98 Livre Magasin d'Ouvrages / FGE Commandes Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Compression de données à l'aide des automates d'états finis déterministes / Lyes MOKRANE (2013)
Titre : Compression de données à l'aide des automates d'états finis déterministes Type de document : theses et memoires Auteurs : Lyes MOKRANE ; Ramdani Lydia ; S. Sadou, Directeur de thèse Editeur : Tizi Ouzou : UMMTO.FGEI Année de publication : 2013 Importance : 80p. Format : 24cm. Note générale : Bibliog. Langues : Français Mots-clés : Automates Copression de données Codage Code Résumé : Notre travail consiste à implémenter une nouvelle méthode de compression de données qui est
classée parmi les méthodes sans perte car après la décompression on peut avoir exactement le
fichier original.
Cette technique est basée sur les automates d’états finis déterministes qui représente une
structure efficace pour la compression et la décompression de données.
Cette méthode nous a permis de compresser tout type de données : textuelles, Web, images et
binaires afin de réduire autant que possible la quantité de données à stocker ou à transmettre.En ligne : D:\CD.TH.2013\MAST.2013\MOKRANE.LYES-RAMDANI.LYDIA.PDF Format de la ressource électronique : Permalink : ./index.php?lvl=notice_display&id=31173 Compression de données à l'aide des automates d'états finis déterministes [theses et memoires] / Lyes MOKRANE ; Ramdani Lydia ; S. Sadou, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2013 . - 80p. ; 24cm.
Bibliog.
Langues : Français
Mots-clés : Automates Copression de données Codage Code Résumé : Notre travail consiste à implémenter une nouvelle méthode de compression de données qui est
classée parmi les méthodes sans perte car après la décompression on peut avoir exactement le
fichier original.
Cette technique est basée sur les automates d’états finis déterministes qui représente une
structure efficace pour la compression et la décompression de données.
Cette méthode nous a permis de compresser tout type de données : textuelles, Web, images et
binaires afin de réduire autant que possible la quantité de données à stocker ou à transmettre.En ligne : D:\CD.TH.2013\MAST.2013\MOKRANE.LYES-RAMDANI.LYDIA.PDF Format de la ressource électronique : Permalink : ./index.php?lvl=notice_display&id=31173 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MAST.INF.21-13/2 MAST.INF.21-13 Mémoires Magasin de Thèses et Mémoires / INF Master en Informatique Disponible MAST.INF.21-13/1 MAST.INF.21-13 Mémoires Magasin de Thèses et Mémoires / INF Master en Informatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Elèments de théorie des automates Type de document : texte imprime Auteurs : Jacques Sakarovitch Editeur : Paris : Vuibert Informatique Année de publication : 2003 Importance : 816 p. Format : 25 cm ISBN/ISSN/EAN : 978-2-7117-4807-5 Note générale : Bibliogr. Index Langues : Français Mots-clés : Automates Informatique Machines Enumération Transducterurs Algébre Index. décimale : 003.6 Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage Note de contenu :
Voir les offres de ces vendeurs.
2 d'occasion à partir de EUR 70,00
‹ Retourner à l'aperçu du produit
Table des matières
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnelsPermalink : ./index.php?lvl=notice_display&id=11990 Elèments de théorie des automates [texte imprime] / Jacques Sakarovitch . - Paris : Vuibert Informatique, 2003 . - 816 p. ; 25 cm.
ISBN : 978-2-7117-4807-5
Bibliogr. Index
Langues : Français
Mots-clés : Automates Informatique Machines Enumération Transducterurs Algébre Index. décimale : 003.6 Résumé : La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Depuis cinquante ans, elle a donné lieu à une littérature abondante traitant de résultats nombreux et profonds. Cet ouvrage veut rendre compte de cette richesse dans un cadre cohérent, aller au-delà des prémices habituelles tout en donnant des preuves complètes, mettre en perspective les différentes propriétés obtenues par des formulations de plus en plus générales. Sont traités en particulier dans cet esprit les automates avec multiplicité et les automates avec sortie (transducteurs). Il s'adresse aux étudiants (le premier chapitre très complet est rédigé à un niveau élémentaire et couvre la partie correspondante de l'option informatique des classes préparatoires), aux enseignants et aux chercheurs en informatique. Il intéressera également les ingénieurs développeurs de logiciels comme introduction aux méthodes formelles de vérification, les linguistes pour lesquels est présentée en détail la théorie des transducteurs, les mathématiciens enfin qui y trouveront un ensemble de techniques utilisables dans d'autres domaines des mathématiques (combinatoire, groupes hyperboliques, théorie algébrique des nombres). Plus de trois cents exercices corrigés guident et complètent la lecture de cet ouvrage Note de contenu :
Voir les offres de ces vendeurs.
2 d'occasion à partir de EUR 70,00
‹ Retourner à l'aperçu du produit
Table des matières
LES TROIS STADES DE LA RATIONALITE
La machine la plus simple
Puissance de l'algèbre
Pertinence de l'énumération
LA RATIONALITE DANS LES RELATIONS
Richesse des transducteurs
Simplicité des transducteurs fonctionnelsPermalink : ./index.php?lvl=notice_display&id=11990 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA296/1 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA296/2 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/3 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/4 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/5 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/6 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/7 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/8 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/9 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/10 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA296/11 IA296 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Automatismes industriels Bleux, J.M. Le Grafcet Moreno, Simon Génie électrique Boye, Pierre Analyse Monier, Jean-Marie Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Pratique des systémes logiques .Tome 2 ,Automates et graphes cartésiens Type de document : texte imprime Auteurs : Pierre Vergez Editeur : Paris : Tech.& Doc. Année de publication : 1979 Importance : 351p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-85206-055-5 Note générale : Index Langues : Français Mots-clés : Automates Graphes Vecteur Transcodage Control Transition Commutation Fonctions Echelle comptage Permalink : ./index.php?lvl=notice_display&id=9907 Pratique des systémes logiques .Tome 2 ,Automates et graphes cartésiens [texte imprime] / Pierre Vergez . - Paris : Tech.& Doc., 1979 . - 351p. : ill. ; 25 cm.
ISBN : 978-2-85206-055-5
Index
Langues : Français
Mots-clés : Automates Graphes Vecteur Transcodage Control Transition Commutation Fonctions Echelle comptage Permalink : ./index.php?lvl=notice_display&id=9907 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité C58/T2/1 C58/T2 Livre Magasin d'Ouvrages / FGE Commandes Consultation sur place
Exclu du prêtC58/T2/2 C58/T2 Livre Magasin d'Ouvrages / FGE Commandes Disponible AFO02/T2/1 AFO02/T2 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Introduction à la calculabilité et exercices Type de document : texte imprime Auteurs : Pierre Wolper Mention d'édition : 3è éd. Editeur : Paris : Dunod Année de publication : 2006 Collection : Science Sup Importance : 224p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-049981-6 Note générale : Bibliogr. Index Langues : Français Mots-clés : Calculabilité Automates Machines Non Calculabilité Langage formels Résumé : La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets. Note de contenu :
Les automates finis.
Les grammaires régulières.
Automates à pile et langages hors-contexte.
Les machines de turing. Les fonctions récursives.
La non-calculabilité.
La complexitéPermalink : ./index.php?lvl=notice_display&id=13553 Introduction à la calculabilité et exercices [texte imprime] / Pierre Wolper . - 3è éd. . - Paris : Dunod, 2006 . - 224p. : ill. ; 24 cm.. - (Science Sup) .
ISBN : 978-2-10-049981-6
Bibliogr. Index
Langues : Français
Mots-clés : Calculabilité Automates Machines Non Calculabilité Langage formels Résumé : La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets. Note de contenu :
Les automates finis.
Les grammaires régulières.
Automates à pile et langages hors-contexte.
Les machines de turing. Les fonctions récursives.
La non-calculabilité.
La complexitéPermalink : ./index.php?lvl=notice_display&id=13553 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP23/1 COMP23 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP23/2 COMP23 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP23/3 COMP23 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP23/4 COMP23 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
Permalink
Permalink
Permalink
