الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
. Faculté des Sciences Exactes et Informatique
1286 résultat(s)
Affiner la recherche
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Titre : Introduction à l'informatique Type de document : texte imprimé Auteurs : Léon F. Wegnez Editeur : Paris : Éditions Eyrolles Année de publication : 1983 Importance : 217 p. Présentation : ill Index. décimale : 004 Résumé : Introduction à l'informatique [texte imprimé] / Léon F. Wegnez . - Paris : Éditions Eyrolles, 1983 . - 217 p. : ill.
Index. décimale : 004 Résumé : Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00778 004-70.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à l'informatique : cours et problèmes / Type de document : texte imprimé Auteurs : Francis J. Scheid Editeur : New York : McGraw-Hill Année de publication : 1974 Importance : 282 p. Présentation : diagr. Format : 27 cm. - ISBN/ISSN/EAN : 978-2-7042-0010-8 Note générale : Traduction de Theory and problems of introduction to computer science. Matériel scolaire. Sur la couv.: 300 exercices résolus. Langues : Français (fre) Mots-clés : informatique Index. décimale : 004 Résumé : Traduction de Theory and problems of introduction to computer science. Matériel scolaire. Sur la couv.: 300 exercices résolus. Introduction à l'informatique : cours et problèmes / [texte imprimé] / Francis J. Scheid . - New York : McGraw-Hill, 1974 . - 282 p. : diagr. ; 27 cm. -.
ISBN : 978-2-7042-0010-8
Traduction de Theory and problems of introduction to computer science. Matériel scolaire. Sur la couv.: 300 exercices résolus.
Langues : Français (fre)
Mots-clés : informatique Index. décimale : 004 Résumé : Traduction de Theory and problems of introduction to computer science. Matériel scolaire. Sur la couv.: 300 exercices résolus. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00782 004-247.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction Java Type de document : texte imprimé Auteurs : Patrick Niemeyer (19..-....), ; Jonathan B Knudsen, ; Raymond Debonne, Editeur : Paris : O'Reilly Année de publication : 2000. Importance : 1 vol. (xvi-758 p.) Présentation : ill., couv.ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-84177-127-1 Langues : Français (fre) Langues originales : Allemand (ger) Mots-clés : Java Index. décimale : 005 Introduction Java [texte imprimé] / Patrick Niemeyer (19..-....), ; Jonathan B Knudsen, ; Raymond Debonne, . - Paris : O'Reilly, 2000. . - 1 vol. (xvi-758 p.) : ill., couv.ill. en coul. ; 24 cm.
ISBN : 978-2-84177-127-1
Langues : Français (fre) Langues originales : Allemand (ger)
Mots-clés : Java Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01378 005-236.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction au langage C Type de document : texte imprimé Auteurs : Boucenna, Ahmed, Auteur Editeur : OPU:Alger Année de publication : 1993 Importance : 157 p. Format : 22 x 15 cm. Langues : Français (fre) Mots-clés : langage C Index. décimale : 005 Introduction au langage C [texte imprimé] / Boucenna, Ahmed, Auteur . - [S.l.] : OPU:Alger, 1993 . - 157 p. ; 22 x 15 cm.
Langues : Français (fre)
Mots-clés : langage C Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité fsei00295 005-90.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00294 005-90.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00293 005-90.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00296 005-90.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00292 005-90.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01370 005-90.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à Maple Type de document : texte imprimé Auteurs : Albert Levine, Auteur Editeur : Paris : Ellipses Année de publication : 1994 Importance : 254 p. Présentation : ill., couv. ill. en coul. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-9482-5 Note générale : Bibliogr. p. 249-250. Index Langues : Français (fre) Mots-clés : Maple Index. décimale : 004 Introduction à Maple [texte imprimé] / Albert Levine, Auteur . - Paris : Ellipses, 1994 . - 254 p. : ill., couv. ill. en coul. ; 26 cm.
ISBN : 978-2-7298-9482-5
Bibliogr. p. 249-250. Index
Langues : Français (fre)
Mots-clés : Maple Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00745 004-215.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à MATLAB Type de document : texte imprimé Auteurs : J.-T Lapresté Editeur : Paris : Ellipses Année de publication : 1999 Importance : 223 p. Présentation : ill. Format : 26 x 18 cm. ISBN/ISSN/EAN : 978-2-7298-7927-3 Langues : Français (fre) Mots-clés : Informatique Matlab Index. décimale : 004 Résumé : Introduction à MATLAB [texte imprimé] / J.-T Lapresté . - Paris : Ellipses, 1999 . - 223 p. : ill. ; 26 x 18 cm.
ISBN : 978-2-7298-7927-3
Langues : Français (fre)
Mots-clés : Informatique Matlab Index. décimale : 004 Résumé : Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei00306 004-104.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01866 004-104.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01865 004-104.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00307 004-104.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00308 004-104.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à la programmation avec VBA : applications avec Excel Type de document : texte imprimé Auteurs : Robert Chevallier (1943-....), Auteur Editeur : Montreuil : Pearson Année de publication : cop. 2012 Importance : 1 vol. (VI-279 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7440-7608-4 Note générale : La couv. porte en plus : "apprendre, toujours"
IndexLangues : Français (fre) Mots-clés : VBA Index. décimale : 005 Résumé : Cet ouvrage présente tous les éléments nécessaires à un bon apprentissage de la programmation VBA, de façon rigoureuse et progressive, en structurant l’étude par étapes, des problèmes les plus simples à ceux qui exigent des raisonnements plus sophistiqués. Il donne la marche à suivre pour développer des applications dans le cadre du tableur EXCEL en utilisant le minimum d’objets. Le lecteur apprendra qu’il est possible de réaliser facilement des applications assez complexes, aussi bien dans la gestion de données que dans le domaine financier, ou comment utiliser la couleur à bon escient au sein des feuilles de calcul. L’ouvrage présente ensuite plusieurs applications qui permettent de développer des calculs numériques sophistiqués et de visualiser rapidement lesrésultats recherchés. Cet ouvrage sera utile à l’étudiant comme au professionnel, aussi bien dans ledomaine de l’analyse numérique que dans celui des mathématiques financières. Introduction à la programmation avec VBA : applications avec Excel [texte imprimé] / Robert Chevallier (1943-....), Auteur . - Montreuil : Pearson, cop. 2012 . - 1 vol. (VI-279 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7440-7608-4
La couv. porte en plus : "apprendre, toujours"
Index
Langues : Français (fre)
Mots-clés : VBA Index. décimale : 005 Résumé : Cet ouvrage présente tous les éléments nécessaires à un bon apprentissage de la programmation VBA, de façon rigoureuse et progressive, en structurant l’étude par étapes, des problèmes les plus simples à ceux qui exigent des raisonnements plus sophistiqués. Il donne la marche à suivre pour développer des applications dans le cadre du tableur EXCEL en utilisant le minimum d’objets. Le lecteur apprendra qu’il est possible de réaliser facilement des applications assez complexes, aussi bien dans la gestion de données que dans le domaine financier, ou comment utiliser la couleur à bon escient au sein des feuilles de calcul. L’ouvrage présente ensuite plusieurs applications qui permettent de développer des calculs numériques sophistiqués et de visualiser rapidement lesrésultats recherchés. Cet ouvrage sera utile à l’étudiant comme au professionnel, aussi bien dans ledomaine de l’analyse numérique que dans celui des mathématiques financières. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei09871 005-599.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09870 005-599.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09869 005-599.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09868 005-599.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09867 005-599.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à la programmation objet en Java : cours et exercices Type de document : texte imprimé Auteurs : Jean Brondeau, Editeur : Paris : Dunod Année de publication : cop. 1999 Collection : Sciences sup Sous-collection : Informatique. Importance : 1 vol. (XIV-256 p.) Présentation : ill., couv. ill. en coul Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-004106-0 Note générale : Bibliogr. p. 245-246. Index. Langues : Français (fre) Mots-clés : Programmation objet en Java Index. décimale : 005 Résumé : Java, introduit par Sun en 1995, a été immédiatement plébiscité par tous les utilisateurs. Cet ouvrage permet de s'initier à la programmation objet et au langage Java. Il utilise des exemples tires de l'univers scientifique. Il suppose connues les notions de base de la programmation "non objet", car les étudiants qui arrivent en licence sont déjà familiarisés avec Pascal et/ou C. L'auteur, qui enseigne cette approche à ses étudiants depuis plusieurs années, à une démarche très pragmatique, sous forme de nombreux chapitres très courts. Les corrigés des exercices sont disponibles sur le site Web de l'auteur.
Sommaire : Introduction. Entrée en matière. Découverte d'un objet par la résolution d'une équation du second degré. Paquetage et portée de classe. Héritage. Types simples, chaînes de caractères et tableaux. Expressions et instructions. Entrées-Sorties. Exceptions. Quelques précisions. Interface graphique : les composants et leur mise en place. Interface graphique : les évènements lui donnent la vie. JavaBeans. Threads.
Public : Étudiants en 2e cycle d'informatique, autres étudiants en sciences "dures", étudiants en écoles d'ingénieurs, professionnels scientifiques non informaticiens. .Introduction à la programmation objet en Java : cours et exercices [texte imprimé] / Jean Brondeau, . - Paris : Dunod, cop. 1999 . - 1 vol. (XIV-256 p.) : ill., couv. ill. en coul ; 24 cm.. - (Sciences sup. Informatique.) .
ISBN : 978-2-10-004106-0
Bibliogr. p. 245-246. Index.
Langues : Français (fre)
Mots-clés : Programmation objet en Java Index. décimale : 005 Résumé : Java, introduit par Sun en 1995, a été immédiatement plébiscité par tous les utilisateurs. Cet ouvrage permet de s'initier à la programmation objet et au langage Java. Il utilise des exemples tires de l'univers scientifique. Il suppose connues les notions de base de la programmation "non objet", car les étudiants qui arrivent en licence sont déjà familiarisés avec Pascal et/ou C. L'auteur, qui enseigne cette approche à ses étudiants depuis plusieurs années, à une démarche très pragmatique, sous forme de nombreux chapitres très courts. Les corrigés des exercices sont disponibles sur le site Web de l'auteur.
Sommaire : Introduction. Entrée en matière. Découverte d'un objet par la résolution d'une équation du second degré. Paquetage et portée de classe. Héritage. Types simples, chaînes de caractères et tableaux. Expressions et instructions. Entrées-Sorties. Exceptions. Quelques précisions. Interface graphique : les composants et leur mise en place. Interface graphique : les évènements lui donnent la vie. JavaBeans. Threads.
Public : Étudiants en 2e cycle d'informatique, autres étudiants en sciences "dures", étudiants en écoles d'ingénieurs, professionnels scientifiques non informaticiens. .Réservation
Réserver ce document
Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité fsei00808 005-44.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00807 005-44.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01212 005-44.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01364 005-44.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01361 005-44.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01362 005-44.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01363 005-44.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction aux réseaux Type de document : texte imprimé Auteurs : Xavier Lagrange, ; Dominique Seret, Editeur : Paris : Hermès Année de publication : 1998 Importance : 361 p. Présentation : ill. Format : 24 x 15 cm. ISBN/ISSN/EAN : 978-2-86601-698-2 Langues : Français (fre) Mots-clés : réseaux Index. décimale : 004 Résumé : Introduction aux réseaux fournit les bases indispensables pour la compréhension des architectures de réseaux : adressage, routage, acheminement, constitution et protocoles de liaisons, relais de trame, interconnexions, modélisation et dimensionnement, codage des informations et techniques de compression. Il décrit les couches dites "basses", ainsi que les grandes fonctionnalités des couches "hautes" pour aboutir au modèle en couches. Il présente clairement la nature des informations transmises et les contraintes de transfert qui y sont attachées. Il rappelle les grandes étapes de la téléinformatique permettant ainsi d'introduire la nécessité d'une structuration en couches. Introduction aux réseaux [texte imprimé] / Xavier Lagrange, ; Dominique Seret, . - Paris : Hermès, 1998 . - 361 p. : ill. ; 24 x 15 cm.
ISBN : 978-2-86601-698-2
Langues : Français (fre)
Mots-clés : réseaux Index. décimale : 004 Résumé : Introduction aux réseaux fournit les bases indispensables pour la compréhension des architectures de réseaux : adressage, routage, acheminement, constitution et protocoles de liaisons, relais de trame, interconnexions, modélisation et dimensionnement, codage des informations et techniques de compression. Il décrit les couches dites "basses", ainsi que les grandes fonctionnalités des couches "hautes" pour aboutir au modèle en couches. Il présente clairement la nature des informations transmises et les contraintes de transfert qui y sont attachées. Il rappelle les grandes étapes de la téléinformatique permettant ainsi d'introduire la nécessité d'une structuration en couches. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00505 004-209.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction Scilab : exercices pratiques corriges d'algebre lineaire Type de document : texte imprimé Auteurs : Allaire Gregoire ; Sidi Mahmoud. Kaber Editeur : Ellipses Année de publication : 2002 Collection : Mathematiques pour le 2e cycle Importance : viii-226 p. Présentation : ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-1002-3 Langues : Français (fre) Mots-clés : Instructions SCILAB graphiques Algèbre Linéaire Matrices variables Index. décimale : 005 Résumé : Le but de ce livre est double. D'une part, il présente le logiciel Scilab de manière simple et auto-contenue. D'autre part, il contient des énoncés et des corrigés détaillés d'exercices pratiques d'algèbre linéaire numérique qui utilisent le logiciel Scilab. Introduction Scilab : exercices pratiques corriges d'algebre lineaire [texte imprimé] / Allaire Gregoire ; Sidi Mahmoud. Kaber . - [S.l.] : Ellipses, 2002 . - viii-226 p. : ill. ; 26 cm.. - (Mathematiques pour le 2e cycle) .
ISBN : 978-2-7298-1002-3
Langues : Français (fre)
Mots-clés : Instructions SCILAB graphiques Algèbre Linéaire Matrices variables Index. décimale : 005 Résumé : Le but de ce livre est double. D'une part, il présente le logiciel Scilab de manière simple et auto-contenue. D'autre part, il contient des énoncés et des corrigés détaillés d'exercices pratiques d'algèbre linéaire numérique qui utilisent le logiciel Scilab. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01311 005-215.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction au standard SQL Type de document : texte imprimé Auteurs : Chris Date, Auteur ; Éric Terrier, Traducteur Editeur : Paris : InterÉditions Année de publication : 1989 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 num. 17 Importance : 239 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0261-1 Note générale : Bibliogr. p. 233-235. Index Langues : Français (fre) Mots-clés : Introduction SQL Index. décimale : 005 Introduction au standard SQL [texte imprimé] / Chris Date, Auteur ; Éric Terrier, Traducteur . - Paris : InterÉditions, 1989 . - 239 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416; 17) .
ISBN : 978-2-7296-0261-1
Bibliogr. p. 233-235. Index
Langues : Français (fre)
Mots-clés : Introduction SQL Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei01309 005-214.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01310 005-214.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01308 005-214.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Une introduction à TCP, IP Type de document : texte imprimé Auteurs : Davidson J., Auteur Editeur : Paris : Masson Année de publication : 1991 Importance : 86 p. Présentation : ill Format : 24x 16 cm. ISBN/ISSN/EAN : 978-2-225-82521-7 Langues : Français (fre) Mots-clés : TCP IP Index. décimale : 004 Une introduction à TCP, IP [texte imprimé] / Davidson J., Auteur . - Paris : Masson, 1991 . - 86 p. : ill ; 24x 16 cm.
ISBN : 978-2-225-82521-7
Langues : Français (fre)
Mots-clés : TCP IP Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00226 004-64.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction a la téléinformatique Type de document : texte imprimé Auteurs : Munier J.M., Auteur Editeur : Paris : Eyrolles Année de publication : 1986 Importance : 182 p. Présentation : ill Format : 22 x 16 cm. Langues : Français (fre) Mots-clés : Informatique Téléinformatique Index. décimale : 004 Introduction a la téléinformatique [texte imprimé] / Munier J.M., Auteur . - Paris : Eyrolles, 1986 . - 182 p. : ill ; 22 x 16 cm.
Langues : Français (fre)
Mots-clés : Informatique Téléinformatique Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00277 004-92.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00278 004-92.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Bertrand Meyer (1950-....), Auteur ; Jean-François Picardat (1959-....), Traducteur Editeur : Paris : InterÉd. Année de publication : 1992 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 Importance : XVII-451 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0416-5 Note générale : Bibliogr. p. 423-433. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : programmation théorie des langages Index. décimale : 005 Résumé : Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués. Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre. Introduction à la théorie des langages de programmation [texte imprimé] / Bertrand Meyer (1950-....), Auteur ; Jean-François Picardat (1959-....), Traducteur . - Paris : InterÉd., 1992 . - XVII-451 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) .
ISBN : 978-2-7296-0416-5
Bibliogr. p. 423-433. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : programmation théorie des langages Index. décimale : 005 Résumé : Pour les développeurs de logiciel, les langages de programmation sont l'outil fondamental et quotidien. Trop peu pourtant connaissent les bases théoriques qui permettent de maîtriser les langages et de mieux les employer. Par une démarche progressive, claire et bien structurée, l'auteur présente successivement les notions de syntaxe abstraite et de sémantique formelle. Puis il développe la sémantique dénotationnelle et la sémantique axiomatique. Pour illustrer son discours, il expose et approfondit des concepts importants, comme le lambda-calcul et les définitions récursives. Ce livre fournit, de surcroît, une excellente étude comparative des caractéristiques de différents langages de programmation. Algol, Ada, Lisp, Pascal, C... et les langages à objets. notamment Eiffel, sont tour à tour évoqués. Il en ressort une vue synthétique très riche de leurs différences et/ou de leurs parentés ainsi que des choix qui ont présidé à leur implémentation. La présentation a été conçue pour des praticiens de la programmation ; l'auteur utilise en permanence des exemples de programmes concrets et des analogies empruntées aux situations les plus courantes de la construction de logiciel. Tous les concepts mathématiques nécessaires sont empruntés à la théorie élémentaire des ensembles et définis clairement dans un bref chapitre d'introduction. Enfin, le lecteur appréciera de pouvoir évaluer ses acquis grâce aux exercices proposés à la fin de chaque chapitre. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei01001 005-104.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00997 005-104.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00998 005-104.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00999 005-104.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01000 005-104.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprimé Auteurs : Gilles Dowek (1966-....), Auteur ; Jean-Jacques Lévy (19..-....), Auteur Editeur : Palaiseau : les Éd. de l'École polytechnique Année de publication : impr. 2006 Importance : 1 vol. (109 p.) Présentation : ill., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-7302-1333-2 Note générale : Bibliogr., 4 p. Index Langues : Français (fre) Mots-clés : langages programmation Index. décimale : 005 Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Introduction à la théorie des langages de programmation [texte imprimé] / Gilles Dowek (1966-....), Auteur ; Jean-Jacques Lévy (19..-....), Auteur . - Palaiseau : les Éd. de l'École polytechnique, impr. 2006 . - 1 vol. (109 p.) : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7302-1333-2
Bibliogr., 4 p. Index
Langues : Français (fre)
Mots-clés : langages programmation Index. décimale : 005 Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets,... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01859 005-472.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01860 005-472.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible