A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
. Magasin d'Ouvrages / INF
22 résultat(s)
Ajouter le résultat dans votre panier Affiner la recherche
A Ajouter le résultat dans votre panier Affiner la rechercheCalculabilité, complexité et approximation / Jean-François Rey (DL 2004, cop. 2004)
Titre : Calculabilité, complexité et approximation Type de document : texte imprime Auteurs : Jean-François Rey ; Berstel, Jean, Auteur Editeur : Paris : Vuibert Année de publication : DL 2004, cop. 2004 Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7117-4808-2 Note générale : Bibliogr. p. 357-358. Glossaire. Index
Langues : Français Mots-clés : Fonctions calculables Algorithmes Approximation, Théorie de l' Complexité de calcul (informatique )Approximation numérique Informatique:mathématiques Résumé :
L'algorithme est au cœur de l'informatique. S'il remonte à la plus haute antiquité, un algorithme désigne aujourd'hui la description d'une suite finie et organisée d'actions qui, appliquée à une donnée, permet d'aboutir de façon certaine à un résultat déterminé, solution d'un problème donné. Quelle est la frontière entre un problème admettant une solution algorithmique et celui n'en possédant pas ? Un algorithme peut-il donner une solution exacte en un temps réaliste ? Peut-on trouver une solution approchée quand les algorithmes exacts sont irréalisables et mesurer ces approximations ? Voilà l'objet de cet ouvrage, qui se présente sous la forme d'un cours avec exercices corrigés et qui synthétise les notions fondamentales nécessaires pour répondre à ces questions. Sont notamment étudiées les notions de décidabilité et de calculabilité, les classes de complexité, y compris les classes probabilistes, les classes d'approximation, avec plusieurs exemples concrets d'algorithme d'approximation.Note de contenu :
La notion de calcul
Les machines de Turing
Décidabilité
Complexité
Les classes de complexité polynômiale
ApproximationPermalink : ./index.php?lvl=notice_display&id=13539 Calculabilité, complexité et approximation [texte imprime] / Jean-François Rey ; Berstel, Jean, Auteur . - Paris : Vuibert, DL 2004, cop. 2004 . - : ill., couv. ill. ; 24 cm.
ISBN : 978-2-7117-4808-2
Bibliogr. p. 357-358. Glossaire. Index
Langues : Français
Mots-clés : Fonctions calculables Algorithmes Approximation, Théorie de l' Complexité de calcul (informatique )Approximation numérique Informatique:mathématiques Résumé :
L'algorithme est au cœur de l'informatique. S'il remonte à la plus haute antiquité, un algorithme désigne aujourd'hui la description d'une suite finie et organisée d'actions qui, appliquée à une donnée, permet d'aboutir de façon certaine à un résultat déterminé, solution d'un problème donné. Quelle est la frontière entre un problème admettant une solution algorithmique et celui n'en possédant pas ? Un algorithme peut-il donner une solution exacte en un temps réaliste ? Peut-on trouver une solution approchée quand les algorithmes exacts sont irréalisables et mesurer ces approximations ? Voilà l'objet de cet ouvrage, qui se présente sous la forme d'un cours avec exercices corrigés et qui synthétise les notions fondamentales nécessaires pour répondre à ces questions. Sont notamment étudiées les notions de décidabilité et de calculabilité, les classes de complexité, y compris les classes probabilistes, les classes d'approximation, avec plusieurs exemples concrets d'algorithme d'approximation.Note de contenu :
La notion de calcul
Les machines de Turing
Décidabilité
Complexité
Les classes de complexité polynômiale
ApproximationPermalink : ./index.php?lvl=notice_display&id=13539 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP05/1 COMP05 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP05/2 COMP05 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Calculabilité et décidabilité une introduction Type de document : texte imprime Auteurs : Autebert, Jean-Michel Editeur : Paris : Masson Année de publication : DL 1992 Collection : Manuels informatiques, ISSN 0249-6992 Importance : 118 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82632-0 Note générale :
Bibliogr. p. 115. IndexLangues : Français Mots-clés : Complexité de calcul (informatique) Automates mathématiques, Théorie des Calcul formel Logique mathématique Fonctions calculables Décidabilité (logique mathématique) Index. décimale : 511.35 Résumé :
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2021Permalink : ./index.php?lvl=notice_display&id=13549 Calculabilité et décidabilité une introduction [texte imprime] / Autebert, Jean-Michel . - Paris : Masson, DL 1992 . - 118 p. : ill. ; 24 cm.. - (Manuels informatiques, ISSN 0249-6992) .
ISBN : 978-2-225-82632-0
Bibliogr. p. 115. Index
Langues : Français
Mots-clés : Complexité de calcul (informatique) Automates mathématiques, Théorie des Calcul formel Logique mathématique Fonctions calculables Décidabilité (logique mathématique) Index. décimale : 511.35 Résumé :
Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices. ©Electre 2021Permalink : ./index.php?lvl=notice_display&id=13549 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP18/1 COMP18 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP18/2 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP18/3 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP18/4 COMP18 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compilateurs avec C++ : du concept à la réalisation avec des langages objets Type de document : texte imprime Auteurs : Jacques Menu Editeur : Paris : Wesley Année de publication : 1994 Importance : VI-406p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-87908-092-5 Note générale : Bibliogr. p. 395-398. Index Langues : Français Mots-clés : Programmation orientée objets (informatique) Compilation (informatique) Compilateurs (logiciels) C plus-plus (langage de programmation) Interpréteurs (logiciels) Résumé : Un compilateur est un traducteur automatique d'emploi très courant en informatique. Il convertit une spécification, dite " forme source ", en une autre, dite " forme objet ", mieux adaptée à ce que l'on désire faire. Le cas usuel est celui où la forme source est un texte dans un langage de programmation et la forme objet des tables de code binaire pour un processeur du marché. Ce livre présente de manière pragmatique les techniques d'écriture des compilateurs. Les aspects théoriques sont évoqués de manière succinte lorsqu'ils ont un intérêt pratique. De nombreux exemples et figures illustrent la matière traitée. Au sommaire : - les concepts fondamentaux de syntaxe et de sémantique, ainsi que les notions de machine informatique, de compilation et d'interprétation ; - les méthodes d'analyse lexicale et syntaxique les plus répandues, y compris un exposé complet des possibilités des outils lex et yacc ; - les techniques permettant de réaliser l'analyse sémantique, et en particulier l'inférence (déduction automatique) des types ; - les procédés d'évaluation des expressions et des paramètres passés par valeur, par nom et par besoin (évaluation paresseuse) ; - la structuration de l'environnement d'exécution des programmes pour mettre en oeuvre les appels de fonctions, les passages de paramètres et la récursion ; - la synthèse du code pour une machine informatique donnée. Les différentes techniques de compilation présentées sont mises en oeuvre pour implanter Formula, un petit langage créé par l'auteur pour les besoins de ce livre. Les langages choisis pour écrire les algorithmes correspondants sont C++, en s'appuyant sur l'orientation objets, et ponctuellement Prolog. Compilateurs avec C++ propose aux professionnels et aux étudiants en informatique un point de vue moderne et synthétique sur le fonctionnement des compilateurs. Il est aussi utile aux personnes intéressées par l'analyse automatique de textes. Permalink : ./index.php?lvl=notice_display&id=13542 Compilateurs avec C++ : du concept à la réalisation avec des langages objets [texte imprime] / Jacques Menu . - Paris : Wesley, 1994 . - VI-406p. : ill. ; 24 cm.
ISBN : 978-2-87908-092-5
Bibliogr. p. 395-398. Index
Langues : Français
Mots-clés : Programmation orientée objets (informatique) Compilation (informatique) Compilateurs (logiciels) C plus-plus (langage de programmation) Interpréteurs (logiciels) Résumé : Un compilateur est un traducteur automatique d'emploi très courant en informatique. Il convertit une spécification, dite " forme source ", en une autre, dite " forme objet ", mieux adaptée à ce que l'on désire faire. Le cas usuel est celui où la forme source est un texte dans un langage de programmation et la forme objet des tables de code binaire pour un processeur du marché. Ce livre présente de manière pragmatique les techniques d'écriture des compilateurs. Les aspects théoriques sont évoqués de manière succinte lorsqu'ils ont un intérêt pratique. De nombreux exemples et figures illustrent la matière traitée. Au sommaire : - les concepts fondamentaux de syntaxe et de sémantique, ainsi que les notions de machine informatique, de compilation et d'interprétation ; - les méthodes d'analyse lexicale et syntaxique les plus répandues, y compris un exposé complet des possibilités des outils lex et yacc ; - les techniques permettant de réaliser l'analyse sémantique, et en particulier l'inférence (déduction automatique) des types ; - les procédés d'évaluation des expressions et des paramètres passés par valeur, par nom et par besoin (évaluation paresseuse) ; - la structuration de l'environnement d'exécution des programmes pour mettre en oeuvre les appels de fonctions, les passages de paramètres et la récursion ; - la synthèse du code pour une machine informatique donnée. Les différentes techniques de compilation présentées sont mises en oeuvre pour implanter Formula, un petit langage créé par l'auteur pour les besoins de ce livre. Les langages choisis pour écrire les algorithmes correspondants sont C++, en s'appuyant sur l'orientation objets, et ponctuellement Prolog. Compilateurs avec C++ propose aux professionnels et aux étudiants en informatique un point de vue moderne et synthétique sur le fonctionnement des compilateurs. Il est aussi utile aux personnes intéressées par l'analyse automatique de textes. Permalink : ./index.php?lvl=notice_display&id=13542 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP08/1 COMP08 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP08/2 COMP08 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compilateurs : cours et exercices corrigés Type de document : texte imprime Auteurs : Dick Grune, Auteur ; Bal, Henri E., Auteur ; Jacobs, Ceriel J. H., Auteur ; Lecarme, Olivier, Traducteur ; Fédèle, Carine, Traducteur Editeur : Paris : Dunod Année de publication : impr. 2002 Collection : Science Sup Importance : 774 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-005887-7 Note générale : Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site http://www.wiley.com/wileychi/grune. - Trad. de : "Modern compiler design". - La couv. porte en plus "2e cycle, IUT, écoles d'ingénieurs"
Bibliographie p. [729]-741. Index. GlossaireLangues : Français Mots-clés : Compilateurs Implémentations Optimisation Automatisation Code intermidiaire Memoire Programmes Résumé :
Les compilateurs sont des composants vitaux du logiciel de base d'un ordinateur : ils traduisent les programmes rédigés dans des langages de haut niveau en commandes de bas niveau que la machine peut comprendre et exécuter. Cet ouvrage s'intéresse non seulement aux techniques utilisées pour les langages impératifs ou procéduraux tels que C ou Pascal, mais couvre également les techniques de compilation utilisées pour les langages orientés objet, fonctionnels, logiques et parallèles. Rédigé dans un style intuitif, illustré par de nombreux exemples pratiques, il met l'accent sur les techniques essentielles, classiques ou plus récentes, communes à tous les paradigmes de programmation, afin de donner au lecteur les connaissances nécessaires à la construction de compilateurs modernes. Il insiste aussi sur les aspects pratiques des techniques d'implémentation et d'optimisation, y compris les outils d'automatisation de la construction des compilateurs. Cet ouvrage est destiné aux étudiants des IUT et de deuxième cycle d'informatique, ainsi qu'aux élèves des écoles d'ingénieurs. Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site www.wiley.com/wileychi/grune.Note de contenu :
Du texte du programme à l'arbre abstrait
Décoration de l'arbre abstrait : le contexte
Traitement du code intermédiaire
Gestion de la mémoire
Programmes impératifs et orientés objet
Programmes fonctionnels
Programmes logiques
Programmes parallèles et distribuésPermalink : ./index.php?lvl=notice_display&id=13554 Compilateurs : cours et exercices corrigés [texte imprime] / Dick Grune, Auteur ; Bal, Henri E., Auteur ; Jacobs, Ceriel J. H., Auteur ; Lecarme, Olivier, Traducteur ; Fédèle, Carine, Traducteur . - Paris : Dunod, impr. 2002 . - 774 p. : ill. ; 24 cm.. - (Science Sup) .
ISBN : 978-2-10-005887-7
Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site http://www.wiley.com/wileychi/grune. - Trad. de : "Modern compiler design". - La couv. porte en plus "2e cycle, IUT, écoles d'ingénieurs"
Bibliographie p. [729]-741. Index. Glossaire
Langues : Français
Mots-clés : Compilateurs Implémentations Optimisation Automatisation Code intermidiaire Memoire Programmes Résumé :
Les compilateurs sont des composants vitaux du logiciel de base d'un ordinateur : ils traduisent les programmes rédigés dans des langages de haut niveau en commandes de bas niveau que la machine peut comprendre et exécuter. Cet ouvrage s'intéresse non seulement aux techniques utilisées pour les langages impératifs ou procéduraux tels que C ou Pascal, mais couvre également les techniques de compilation utilisées pour les langages orientés objet, fonctionnels, logiques et parallèles. Rédigé dans un style intuitif, illustré par de nombreux exemples pratiques, il met l'accent sur les techniques essentielles, classiques ou plus récentes, communes à tous les paradigmes de programmation, afin de donner au lecteur les connaissances nécessaires à la construction de compilateurs modernes. Il insiste aussi sur les aspects pratiques des techniques d'implémentation et d'optimisation, y compris les outils d'automatisation de la construction des compilateurs. Cet ouvrage est destiné aux étudiants des IUT et de deuxième cycle d'informatique, ainsi qu'aux élèves des écoles d'ingénieurs. Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site www.wiley.com/wileychi/grune.Note de contenu :
Du texte du programme à l'arbre abstrait
Décoration de l'arbre abstrait : le contexte
Traitement du code intermédiaire
Gestion de la mémoire
Programmes impératifs et orientés objet
Programmes fonctionnels
Programmes logiques
Programmes parallèles et distribuésPermalink : ./index.php?lvl=notice_display&id=13554 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP22/1 COMP22 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP22/2 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/3 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/4 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/5 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/6 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/7 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/8 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/9 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/10 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/11 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/12 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/13 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/14 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/15 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/16 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/17 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/18 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compilateurs : principes , techniques et outils Type de document : texte imprime Auteurs : Alfred Aho ; R.Seth M.Lam Mention d'édition : 2è éd. Editeur : Paris : Pearson Education Année de publication : 2007 Importance : 900 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7440-7037-2 Note générale : Bibliogr. p. [595]-603. Index Langues : Français Mots-clés : Compilateurs Ordinateurs Langage de programmation Texte Analyse Code Parallélisme Résumé :
Le " Dragon ", l'ouvrage de référence en matière de compilation, revient avec une édition entièrement actualisée et qui prend en compte toutes les évolutions récentes du domaine. Les auteurs, enseignants dans les universités américaines les plus prestigieuses, ont adopté une présentation encore plus pédagogique, abondamment illustrée d'exemples concrets et d'exercices. Le livre couvre tous les aspects théoriques et pratiques de la compilation des langages de programmation. Il s'attache également à démontrer la pertinence du recours à la compilation pour résoudre les problèmes les plus fréquemment rencontrés lors de la conception de logiciels de traitement des langages. La compilation permet en effet de rechercher des erreurs dans des logiciels ou de découvrir des failles de sécurité dans les codes existants. La première partie traite des concepts fondamentaux suivants : architecture des ordinateurs et langages de programmation, description et démonstration des notions de base avec un compilateur jouet, analyses lexicale et syntaxique, génération de code intermédiaire et de code cible. La seconde partie porte sur l'optimisation de code : techniques et algorithmes d'optimisation, extraction et exploitation du parallélisme, analyse interprocédurale. Le livre comprend par ailleurs plus de 200 exercices d'application, ce qui en fait un support de formation de premier ordre. Il est indispensable pour toute personne qui désire concevoir et développer un compilateur complet ou un traducteur de langages.Note de contenu :
Un traducteur simple en une passe.
Analyse lexicale. Analyse syntaxique.
Traduction dirigée par la syntaxe.
Production de code intermédiaire.
Environnements d'exécution.
Production de code.
Optimisations indépendantes de la machine.
Parallélisme entre instructions.
Parallélisme et localité des données.
Analyses interprocéduralesPermalink : ./index.php?lvl=notice_display&id=13555 Compilateurs : principes , techniques et outils [texte imprime] / Alfred Aho ; R.Seth M.Lam . - 2è éd. . - Paris : Pearson Education, 2007 . - 900 p. : ill. ; 24 cm.
ISBN : 978-2-7440-7037-2
Bibliogr. p. [595]-603. Index
Langues : Français
Mots-clés : Compilateurs Ordinateurs Langage de programmation Texte Analyse Code Parallélisme Résumé :
Le " Dragon ", l'ouvrage de référence en matière de compilation, revient avec une édition entièrement actualisée et qui prend en compte toutes les évolutions récentes du domaine. Les auteurs, enseignants dans les universités américaines les plus prestigieuses, ont adopté une présentation encore plus pédagogique, abondamment illustrée d'exemples concrets et d'exercices. Le livre couvre tous les aspects théoriques et pratiques de la compilation des langages de programmation. Il s'attache également à démontrer la pertinence du recours à la compilation pour résoudre les problèmes les plus fréquemment rencontrés lors de la conception de logiciels de traitement des langages. La compilation permet en effet de rechercher des erreurs dans des logiciels ou de découvrir des failles de sécurité dans les codes existants. La première partie traite des concepts fondamentaux suivants : architecture des ordinateurs et langages de programmation, description et démonstration des notions de base avec un compilateur jouet, analyses lexicale et syntaxique, génération de code intermédiaire et de code cible. La seconde partie porte sur l'optimisation de code : techniques et algorithmes d'optimisation, extraction et exploitation du parallélisme, analyse interprocédurale. Le livre comprend par ailleurs plus de 200 exercices d'application, ce qui en fait un support de formation de premier ordre. Il est indispensable pour toute personne qui désire concevoir et développer un compilateur complet ou un traducteur de langages.Note de contenu :
Un traducteur simple en une passe.
Analyse lexicale. Analyse syntaxique.
Traduction dirigée par la syntaxe.
Production de code intermédiaire.
Environnements d'exécution.
Production de code.
Optimisations indépendantes de la machine.
Parallélisme entre instructions.
Parallélisme et localité des données.
Analyses interprocéduralesPermalink : ./index.php?lvl=notice_display&id=13555 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP12/1 COMP12 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP12/2 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/3 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/4 COMP12 Livre Magasin d'Ouvrages / INF Compilation Sorti jusqu'au 03/01/2025 COMP12/5 COMP12 Livre Magasin d'Ouvrages / INF Compilation Sorti jusqu'au 02/01/2025 COMP12/6 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/7 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/8 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/9 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Génie logiciel Gustafson, David Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Les compilateurs : théorie - construction - génération Type de document : texte imprime Auteurs : Reinhard Wilhelm, Auteur ; Maurer, Dieter, Auteur ; Thomasset, François, Auteur Editeur : Paris : Masson Année de publication : 1994 Collection : Manuel Informatique Masson , ISSN 0249-6992 Importance : XII-612 p. Présentation : ill., graph., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-84615-1 Note générale :
Bibliogr. p. [595]-603. IndexLangues : Français Mots-clés : Compilateurs (logiciels) Compilation (informatique) Traducteurs (logiciels) Résumé :
Ce livre fournit aux étudiants en informatique les bases théoriques relatives à la compilation des langages impératifs, fonctionnels et logiques, et présente en outre les principaux outils utiles dans ce domaine. Les cinq premiers chapitres sont une introduction aux différents aspects du sujet, ainsi qu'aux résultats fondamentaux. Les sept chapitres suivants présentent des procédés constructifs pour la génération automatique d'analyseurs lexicaux, syntaxiques, sémantiques et de générateurs de code. Outre la traduction des langages de programmation conventionnels impératifs tels que Fortran, C, ou Pascal, on considère également la compilation de langages à objets (Eiffel, C++), fonctionnels (Lisp, Miranda) et logiques (Prolog). En ce qui concerne la génération de code, les architectures modernes de machines possédant un parallélisme à grain fin sont prises en compte. Les auteurs fournissent les bases théoriques de l'analyse statique des programmes, élément essentiel aussi bien de l'aide au développement des logiciels que de la production de codes efficaces. Les connaissances nécessaires sont tirées de la théorie des langages formels et de la théorie des automates. De nombreux exercices complètent le cours, permettant à l'étudiant un contrôle efficace de ses connaissances.Permalink : ./index.php?lvl=notice_display&id=13543 Les compilateurs : théorie - construction - génération [texte imprime] / Reinhard Wilhelm, Auteur ; Maurer, Dieter, Auteur ; Thomasset, François, Auteur . - Paris : Masson, 1994 . - XII-612 p. : ill., graph., couv. ill. en coul. ; 24 cm. - (Manuel Informatique Masson , ISSN 0249-6992) .
ISBN : 978-2-225-84615-1
Bibliogr. p. [595]-603. Index
Langues : Français
Mots-clés : Compilateurs (logiciels) Compilation (informatique) Traducteurs (logiciels) Résumé :
Ce livre fournit aux étudiants en informatique les bases théoriques relatives à la compilation des langages impératifs, fonctionnels et logiques, et présente en outre les principaux outils utiles dans ce domaine. Les cinq premiers chapitres sont une introduction aux différents aspects du sujet, ainsi qu'aux résultats fondamentaux. Les sept chapitres suivants présentent des procédés constructifs pour la génération automatique d'analyseurs lexicaux, syntaxiques, sémantiques et de générateurs de code. Outre la traduction des langages de programmation conventionnels impératifs tels que Fortran, C, ou Pascal, on considère également la compilation de langages à objets (Eiffel, C++), fonctionnels (Lisp, Miranda) et logiques (Prolog). En ce qui concerne la génération de code, les architectures modernes de machines possédant un parallélisme à grain fin sont prises en compte. Les auteurs fournissent les bases théoriques de l'analyse statique des programmes, élément essentiel aussi bien de l'aide au développement des logiciels que de la production de codes efficaces. Les connaissances nécessaires sont tirées de la théorie des langages formels et de la théorie des automates. De nombreux exercices complètent le cours, permettant à l'étudiant un contrôle efficace de ses connaissances.Permalink : ./index.php?lvl=notice_display&id=13543 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP09/1 COMP09 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP09/2 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/3 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/4 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/5 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/6 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/7 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP02/1 COMP02 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compiler construction : a recursive descent model Type de document : texte imprime Auteurs : John Elder Editeur : New York : Prentice-Hall Année de publication : 1994 Importance : XV, 437 p. Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-0-13-291139-9 Note générale :
Includes bibliographical references and index.Langues : Anglais Mots-clés : Compilers (Computer programs) Compilateurs (logiciels) Permalink : ./index.php?lvl=notice_display&id=13541 Compiler construction : a recursive descent model [texte imprime] / John Elder . - New York : Prentice-Hall, 1994 . - XV, 437 p. : ill. ; 23 cm.
ISBN : 978-0-13-291139-9
Includes bibliographical references and index.
Langues : Anglais
Mots-clés : Compilers (Computer programs) Compilateurs (logiciels) Permalink : ./index.php?lvl=notice_display&id=13541 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP07/1 COMP07 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compilers : principles, techniques and tools Type de document : texte imprime Auteurs : Aho, Alfred Vaino, Auteur ; Sethi, Ravi, Auteur Editeur : London : Addison-Wesley publishing company Année de publication : cop. 1986 Collection : Addison-Wesley Series in Computer Science Importance : 796p. Présentation : ill. Format : 24cm. ISBN/ISSN/EAN : 978-0-201-10088-4 Note générale : Bibliogr. p. [752]-779. Index Langues : Anglais Mots-clés : Compilation (informatique) Compilers (Computer programs) Compilateurs (logiciels) Résumé :
his classic book, known to professors, students, and developers worldwide as "the Dragon Book" is the bible of compiler design. It provides a thorough grounding in the theory and practice of compilers.
Now available online are new chapters from the forthcoming second edition. Authors Aho, Lam, Sethi and Ullman have written all new material to address the monumental changes in computing that have occurred since the last edition published in 1986, from high level languages (object-oriented programming) to computer architecture (RISC).Permalink : ./index.php?lvl=notice_display&id=13536 Compilers : principles, techniques and tools [texte imprime] / Aho, Alfred Vaino, Auteur ; Sethi, Ravi, Auteur . - London : Addison-Wesley publishing company, cop. 1986 . - 796p. : ill. ; 24cm.. - (Addison-Wesley Series in Computer Science) .
ISBN : 978-0-201-10088-4
Bibliogr. p. [752]-779. Index
Langues : Anglais
Mots-clés : Compilation (informatique) Compilers (Computer programs) Compilateurs (logiciels) Résumé :
his classic book, known to professors, students, and developers worldwide as "the Dragon Book" is the bible of compiler design. It provides a thorough grounding in the theory and practice of compilers.
Now available online are new chapters from the forthcoming second edition. Authors Aho, Lam, Sethi and Ullman have written all new material to address the monumental changes in computing that have occurred since the last edition published in 1986, from high level languages (object-oriented programming) to computer architecture (RISC).Permalink : ./index.php?lvl=notice_display&id=13536 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP03/1 COMP03 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP03/2 COMP03 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Computation : finite and infinite machines Type de document : texte imprime Auteurs : Marvin L. Minsky Editeur : New York : Prentice-Hall Année de publication : 1967 Importance : 317p. Présentation : ill. Format : 24 cm. Note générale : Bibliogr. Index Langues : Anglais Mots-clés : Machines Neural Networks Effective computability Digital computers Recursive functions Permalink : ./index.php?lvl=notice_display&id=13544 Computation : finite and infinite machines [texte imprime] / Marvin L. Minsky . - New York : Prentice-Hall, 1967 . - 317p. : ill. ; 24 cm.
Bibliogr. Index
Langues : Anglais
Mots-clés : Machines Neural Networks Effective computability Digital computers Recursive functions Permalink : ./index.php?lvl=notice_display&id=13544 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP10/1 COMP10 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Concepts fondamentaux de l'informatique Type de document : texte imprime Auteurs : Aho, Alfred Vaino, Auteur ; Ullman, Jeffrey David, Auteur ; Cazin, Xavier, Traducteur ; Gourhant, Ivon, Traducteur ; Le Narzul, Jean-Pierre, Traducteur Editeur : Paris : Dunod Année de publication : DL 1993 Collection : Science Sup Importance : (XVI-856 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-003127-6 Note générale : Trad. de : "Foundations of computer science". - Autres tirages : 1996, 1998, 2001, 2003. - La couv. porte en plus : "2e cycle universitaire, Ecoles d'ingénieurs"
Notes bibliogr. en fin de chapitres. IndexLangues : Français Mots-clés : Automates mathématiques, Théorie des Informatique Résumé :
Cet ouvrage est l'indispensable " bible " des étudiants et des professionnels en informatique. Il présente, en effet, tous les éléments-clés de la discipline ainsi que les outils théoriques nécessaires à la pratique quotidienne et c'est à ce titre qu'il peut être considéré comme l'ouvrage de référence qui n'existait pas encore. Pour la première fois, les auteurs, Alfred A. Aho et Jeffrey D. Ullman, bien connus des milieux universitaires européens, intègrent les mathématiques discrètes et les modèles, les concepts et les techniques de l'informatique. Ils démontrent ainsi comment transformer des abstractions mathématiques en programmes opérationnels. Écrits en Pascal, tous les exemples sont étudiés en profondeur, complétés par des preuves mathématiques et illustrés par de nombreux exercices dont le niveau de difficulté est progressif. Best-seller aux Etats-Unis, nul doute que ce livre marque un développement remarquable de l'enseignement des principes de la science informatique et deviendra l'indispensable ouvrage de l'indispensable ouvrage de base de votre bibliothèque personnelle.Note de contenu :
Mécanisation de l'abstraction
Itération, récurrence et récursivité
Temps d'exécution des programmes
Modèles de données: arbre, liste ensemble, modèle relationnel et graphe
Motifs, automates et expressions régulières
Description récursive des motifs; logique propositionnelle et logique des prédicats; logique au service de la conception des composants d'ordinateurPermalink : ./index.php?lvl=notice_display&id=13551 Concepts fondamentaux de l'informatique [texte imprime] / Aho, Alfred Vaino, Auteur ; Ullman, Jeffrey David, Auteur ; Cazin, Xavier, Traducteur ; Gourhant, Ivon, Traducteur ; Le Narzul, Jean-Pierre, Traducteur . - Paris : Dunod, DL 1993 . - (XVI-856 p.) : ill., couv. ill. en coul. ; 24 cm. - (Science Sup) .
ISBN : 978-2-10-003127-6
Trad. de : "Foundations of computer science". - Autres tirages : 1996, 1998, 2001, 2003. - La couv. porte en plus : "2e cycle universitaire, Ecoles d'ingénieurs"
Notes bibliogr. en fin de chapitres. Index
Langues : Français
Mots-clés : Automates mathématiques, Théorie des Informatique Résumé :
Cet ouvrage est l'indispensable " bible " des étudiants et des professionnels en informatique. Il présente, en effet, tous les éléments-clés de la discipline ainsi que les outils théoriques nécessaires à la pratique quotidienne et c'est à ce titre qu'il peut être considéré comme l'ouvrage de référence qui n'existait pas encore. Pour la première fois, les auteurs, Alfred A. Aho et Jeffrey D. Ullman, bien connus des milieux universitaires européens, intègrent les mathématiques discrètes et les modèles, les concepts et les techniques de l'informatique. Ils démontrent ainsi comment transformer des abstractions mathématiques en programmes opérationnels. Écrits en Pascal, tous les exemples sont étudiés en profondeur, complétés par des preuves mathématiques et illustrés par de nombreux exercices dont le niveau de difficulté est progressif. Best-seller aux Etats-Unis, nul doute que ce livre marque un développement remarquable de l'enseignement des principes de la science informatique et deviendra l'indispensable ouvrage de l'indispensable ouvrage de base de votre bibliothèque personnelle.Note de contenu :
Mécanisation de l'abstraction
Itération, récurrence et récursivité
Temps d'exécution des programmes
Modèles de données: arbre, liste ensemble, modèle relationnel et graphe
Motifs, automates et expressions régulières
Description récursive des motifs; logique propositionnelle et logique des prédicats; logique au service de la conception des composants d'ordinateurPermalink : ./index.php?lvl=notice_display&id=13551 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP20/1 COMP20 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Digital image processing Type de document : texte imprime Auteurs : Jan Teuber Editeur : Prentice Hall Année de publication : 1993 Collection : (Prentice Hall international series in acoustics, speech and signal processing) Importance : 263p. Présentation : ill. Format : 23cm. ISBN/ISSN/EAN : 978-0-13-213364-7 Note générale :
Translated from the Danish: Digital billedbehandling
Bibliogr.: p. 254-255. IndexLangues : Anglais Mots-clés : Traitement d'images Traitement du signal :techniques numériques Image processing:digital techniques Signal processing:digital techniques Résumé : This work describes at a fundamental level the principles of Digital Image Processing, discussing signals, systems and information theory before applying these topics specifically to images. Great care is taken to stress those principles which appear in different contexts. It stresses very general mathematical principles, focusing upon the close connection with classical mathematical disciplines such as algebra, geometry and statistics. Recent developments in digital image processing are boiled down to their mathematical essence. The book contains extensive treatment of the important new field of digital image restoration ("de-blurring" or "de-smearing") and many powerful or "optimal" methods are introduced, for example, signal approximation, coding, segmentation, estimation and interpolation.
Permalink : ./index.php?lvl=notice_display&id=13534 Digital image processing [texte imprime] / Jan Teuber . - [S.l.] : Prentice Hall, 1993 . - 263p. : ill. ; 23cm.. - ((Prentice Hall international series in acoustics, speech and signal processing)) .
ISBN : 978-0-13-213364-7
Translated from the Danish: Digital billedbehandling
Bibliogr.: p. 254-255. Index
Langues : Anglais
Mots-clés : Traitement d'images Traitement du signal :techniques numériques Image processing:digital techniques Signal processing:digital techniques Résumé : This work describes at a fundamental level the principles of Digital Image Processing, discussing signals, systems and information theory before applying these topics specifically to images. Great care is taken to stress those principles which appear in different contexts. It stresses very general mathematical principles, focusing upon the close connection with classical mathematical disciplines such as algebra, geometry and statistics. Recent developments in digital image processing are boiled down to their mathematical essence. The book contains extensive treatment of the important new field of digital image restoration ("de-blurring" or "de-smearing") and many powerful or "optimal" methods are introduced, for example, signal approximation, coding, segmentation, estimation and interpolation.
Permalink : ./index.php?lvl=notice_display&id=13534 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP01/1 COMP01 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Fundamentals of Algebraic Specification : module specifications and constraints Vol.2 Type de document : texte imprime Auteurs : Hartmut Ehrig ; Mahr, Bernd Editeur : New York : Springer-Verlag Année de publication : cop.1990 Importance : 427 p. Présentation : ill. Format : 25 cm. ISBN/ISSN/EAN : 978-0-387-51799-5 Note générale :
Bibliogr. p. 403-421Langues : Anglais Mots-clés : Logiciels:développement Programmation (mathématiques) Structures de données (informatique) Data structures (Computer science) Algebra Algèbre En ligne : https://www.amazon.fr/Fundamentals-Algebraic-Specification-monographs-theoretica [...] Permalink : ./index.php?lvl=notice_display&id=13547 Fundamentals of Algebraic Specification : module specifications and constraints Vol.2 [texte imprime] / Hartmut Ehrig ; Mahr, Bernd . - New York : Springer-Verlag, cop.1990 . - 427 p. : ill. ; 25 cm.
ISBN : 978-0-387-51799-5
Bibliogr. p. 403-421
Langues : Anglais
Mots-clés : Logiciels:développement Programmation (mathématiques) Structures de données (informatique) Data structures (Computer science) Algebra Algèbre En ligne : https://www.amazon.fr/Fundamentals-Algebraic-Specification-monographs-theoretica [...] Permalink : ./index.php?lvl=notice_display&id=13547 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP16/T2/1 COMP16/T2 Livre Magasin d'Ouvrages / INF Compilation 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 !
Titre : Logique (s) , langages formels et complexité pour l'informatique Type de document : texte imprime Auteurs : Narendra Jussien, Auteur Editeur : Paris : Lavoisier Année de publication : 2006 Collection : Informatique Importance : 313 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1395-1 Note générale :
Bibliogr. p. 301-303, index
Langues : Français Mots-clés : Logique informatique Complexité de calcul (informatique) Langages formels Logique mathématique Résumé :
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.Note de contenu :
Logique(s).
-Une brève histoire de la logique.
Logique des propositions.
Logique des prédicats.
Logiques non classiques.
Langages formels et automates.
Langages formels et grammaires.
Automates.
Langages et automates.
Calculabilité, complexité. Calculabilité, décidabilité. Complexité. Annexes. Bibliographie. Index.
Complexité.
Annexes.
Bibliographie.
Index.
Permalink : ./index.php?lvl=notice_display&id=13548 Logique (s) , langages formels et complexité pour l'informatique [texte imprime] / Narendra Jussien, Auteur . - Paris : Lavoisier, 2006 . - 313 p. : fig. ; 24 cm. - (Informatique) .
ISBN : 978-2-7462-1395-1
Bibliogr. p. 301-303, index
Langues : Français
Mots-clés : Logique informatique Complexité de calcul (informatique) Langages formels Logique mathématique Résumé :
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate. Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent soixante-dix exercices corrigés.Note de contenu :
Logique(s).
-Une brève histoire de la logique.
Logique des propositions.
Logique des prédicats.
Logiques non classiques.
Langages formels et automates.
Langages formels et grammaires.
Automates.
Langages et automates.
Calculabilité, complexité. Calculabilité, décidabilité. Complexité. Annexes. Bibliographie. Index.
Complexité.
Annexes.
Bibliographie.
Index.
Permalink : ./index.php?lvl=notice_display&id=13548 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP17/1 COMP17 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP17/2 COMP17 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP17/3 COMP17 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP17/4 COMP17 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Les séries rationnelles et leurs langages Type de document : texte imprime Auteurs : J. Brestel ; C. Reutenauer Editeur : Paris : Masson Année de publication : 1984 Collection : Etude et recherches en informatique Importance : 132 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-80137-2 Note générale : Bibliogr. Index Langues : Français Mots-clés : Serie rationnelles Algorithmes Langages formels Algébre syntaxique Décidabilité Linéaires réduites Permalink : ./index.php?lvl=notice_display&id=13545 Les séries rationnelles et leurs langages [texte imprime] / J. Brestel ; C. Reutenauer . - Paris : Masson, 1984 . - 132 p. : ill. ; 24 cm.. - (Etude et recherches en informatique) .
ISBN : 978-2-225-80137-2
Bibliogr. Index
Langues : Français
Mots-clés : Serie rationnelles Algorithmes Langages formels Algébre syntaxique Décidabilité Linéaires réduites Permalink : ./index.php?lvl=notice_display&id=13545 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP13/1 COMP13 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : The B-Book : assigning programs to meanings Type de document : texte imprime Auteurs : Abrial, Jean-Raymond, Auteur Editeur : Great Britain : Cambridge University Press Année de publication : 1996 Importance : (XXXIV-779 p.) Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-0-521-49619-3 Note générale : Index Langues : Anglais Mots-clés : Génie logiciel Informatique Programmation Ordinateurs:programmation Logique mathématique Théorie des ensembles B (méthode formelle) Programming (Electronic computers) B (Computer program language) Résumé :
The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers the very important notion of refinement. It shows how to construct large software systems by means of layered architectures of modules. With the appearance of The B-Book, formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.Note de contenu :
Tribute;
Foreword;
Introduction;
Part I. Mathematics:
1. Mathematical reasoning;
2. Set notation; 3.
Mathematical objects;
Part II. Abstract Machines:
4. Introduction to abstract machines;
5. Formal definition of abstract machines;
6. Theory of abstract machines; 7.
Constructing large abstract machines;
8. Examples of abstract machines;
Part III. Programming:
9. Sequencing and loop;
10. Programming examples;
Part IV. Refinement:
11. Refinement;
12. Constructing large software systems;
13. Examples of refinement;
Appendixes;
Index.En ligne : https://www.amazon.fr/B-Book-Assigning-Programs-Meanings/dp/0521496195/ref=sr_1_ [...] Permalink : ./index.php?lvl=notice_display&id=13550 The B-Book : assigning programs to meanings [texte imprime] / Abrial, Jean-Raymond, Auteur . - Great Britain : Cambridge University Press, 1996 . - (XXXIV-779 p.) : ill. ; 26 cm.
ISBN : 978-0-521-49619-3
Index
Langues : Anglais
Mots-clés : Génie logiciel Informatique Programmation Ordinateurs:programmation Logique mathématique Théorie des ensembles B (méthode formelle) Programming (Electronic computers) B (Computer program language) Résumé :
The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers the very important notion of refinement. It shows how to construct large software systems by means of layered architectures of modules. With the appearance of The B-Book, formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.Note de contenu :
Tribute;
Foreword;
Introduction;
Part I. Mathematics:
1. Mathematical reasoning;
2. Set notation; 3.
Mathematical objects;
Part II. Abstract Machines:
4. Introduction to abstract machines;
5. Formal definition of abstract machines;
6. Theory of abstract machines; 7.
Constructing large abstract machines;
8. Examples of abstract machines;
Part III. Programming:
9. Sequencing and loop;
10. Programming examples;
Part IV. Refinement:
11. Refinement;
12. Constructing large software systems;
13. Examples of refinement;
Appendixes;
Index.En ligne : https://www.amazon.fr/B-Book-Assigning-Programs-Meanings/dp/0521496195/ref=sr_1_ [...] Permalink : ./index.php?lvl=notice_display&id=13550 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP19/1 COMP19 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : The theory of parsing, translation, and Compiling Vol.2 : compiling Type de document : texte imprime Auteurs : Aho, Alfred Vaino, Auteur ; Ullman, Jeffrey David, Auteur Editeur : New York : Prentice-Hall Année de publication : 1973 Importance : P. XII-543-1002) Présentation : ill. Format : 23 cm ISBN/ISSN/EAN : 978-0-13-914564-3 Note générale : Bibliogr. p. 961-986. Index Langues : Anglais Mots-clés : Analyse informatique Compilation (informatique) Permalink : ./index.php?lvl=notice_display&id=13538 The theory of parsing, translation, and Compiling Vol.2 : compiling [texte imprime] / Aho, Alfred Vaino, Auteur ; Ullman, Jeffrey David, Auteur . - New York : Prentice-Hall, 1973 . - P. XII-543-1002) : ill. ; 23 cm.
ISBN : 978-0-13-914564-3
Bibliogr. p. 961-986. Index
Langues : Anglais
Mots-clés : Analyse informatique Compilation (informatique) Permalink : ./index.php?lvl=notice_display&id=13538 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP04/V2/1 COMP04/V2 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP04/V2/2 COMP04/V2 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP04/V2/3 COMP04/V2 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP04/V2/4 COMP04/V2 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : The theory of parsing, translation, and compiling. Volume I, Parsing Type de document : texte imprime Auteurs : V. Alfred Aho ; Jeffrey D. Ullman Editeur : New York : Prentice-Hall Année de publication : 1972 Importance : (XVIII-542 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-13-914556-8 Note générale : Bibliogr. p. 519-530. Index Langues : Anglais Mots-clés : Analyse informatique Compilation (informatique) Note de contenu :
Mathematical preliminaries;
An introduction to compiling;
Elements of language theory;
Theory of translation;
General parsing methods;
One-pass no backtrack parsing;
Limited backtrack parsing algorithms.Permalink : ./index.php?lvl=notice_display&id=13537 The theory of parsing, translation, and compiling. Volume I, Parsing [texte imprime] / V. Alfred Aho ; Jeffrey D. Ullman . - New York : Prentice-Hall, 1972 . - (XVIII-542 p.) : ill. ; 24 cm.
ISBN : 978-0-13-914556-8
Bibliogr. p. 519-530. Index
Langues : Anglais
Mots-clés : Analyse informatique Compilation (informatique) Note de contenu :
Mathematical preliminaries;
An introduction to compiling;
Elements of language theory;
Theory of translation;
General parsing methods;
One-pass no backtrack parsing;
Limited backtrack parsing algorithms.Permalink : ./index.php?lvl=notice_display&id=13537 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP04/V1/1 COMP04/V1 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP04/V1/2 COMP04/V1 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP04/V1/3 COMP04/V1 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP04/V1/4 COMP04/V1 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Théorie des automates Type de document : texte imprime Auteurs : Séebold, Patrice, Auteur Editeur : Paris : Vuibert Année de publication : 1999 Collection : Passeport pour l'informatique Importance : X-198 p. Présentation : ill., couv. ill. en coul. Format : 24 cm Note générale : La couv. porte en plus : "classes préparatoires, 1er et 2e cycles universitaires".
IndexLangues : Français Mots-clés : Automates mathématiques,Théorie des:problèmes et exercices Index. décimale : 5113 Résumé :
notes :Permalink : ./index.php?lvl=notice_display&id=13552 Théorie des automates [texte imprime] / Séebold, Patrice, Auteur . - Paris : Vuibert, 1999 . - X-198 p. : ill., couv. ill. en coul. ; 24 cm. - (Passeport pour l'informatique) .
La couv. porte en plus : "classes préparatoires, 1er et 2e cycles universitaires".
Index
Langues : Français
Mots-clés : Automates mathématiques,Théorie des:problèmes et exercices Index. décimale : 5113 Résumé :
notes :Permalink : ./index.php?lvl=notice_display&id=13552 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP11/1 COMP11 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
