الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'langages'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Les Langages à objets
Titre : Les Langages à objets : langages de classes, langages de frames, langages d'acteurs Type de document : texte imprimé Editeur : Paris : InterÉd. Année de publication : 1989 Collection : IIA Informatique intelligence artificielle, ISSN 0297-5416 Importance : 584 p. Présentation : ill., couv. ill. en coul. Format : 23 cm ISBN/ISSN/EAN : 978-2-7296-0275-8 Note générale : Bibliogr. p. 525-561. Index Langues : Français (fre) Mots-clés : Langages objets Index. décimale : 004 Résumé : L'ouvrage présente différents langages, notamment Smalltalk, Lisp et leurs dérivés, C++, Eiffel, Plasma... Les Langages à objets : langages de classes, langages de frames, langages d'acteurs [texte imprimé] . - Paris : InterÉd., 1989 . - 584 p. : ill., couv. ill. en coul. ; 23 cm. - (IIA Informatique intelligence artificielle, ISSN 0297-5416) .
ISBN : 978-2-7296-0275-8
Bibliogr. p. 525-561. Index
Langues : Français (fre)
Mots-clés : Langages objets Index. décimale : 004 Résumé : L'ouvrage présente différents langages, notamment Smalltalk, Lisp et leurs dérivés, C++, Eiffel, Plasma... Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00490 004-199.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00985 004-199.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Introduction à la théorie des langages de programmation / Gilles Dowek
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 Les langages à objets / Michel Beaudouin-Lafon
Titre : Les langages à objets : principes de base, techniques de programmation Type de document : texte imprimé Auteurs : Michel Beaudouin-Lafon Editeur : Paris : A. Colin Année de publication : 1992 Importance : 148 p. Présentation : ill. - ISBN/ISSN/EAN : 978-2-200-42051-2 Mots-clés : langages objets Index. décimale : 005 Résumé : Les langages à objets : principes de base, techniques de programmation [texte imprimé] / Michel Beaudouin-Lafon . - Paris : A. Colin, 1992 . - 148 p. : ill. -.
ISBN : 978-2-200-42051-2
Mots-clés : langages objets Index. décimale : 005 Résumé : Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00983 005-95.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Systèmes formels / Claude Benzaken
Titre : Systèmes formels : introduction à la logique et à la théorie des langages Type de document : texte imprimé Auteurs : Claude Benzaken, Editeur : Paris : Masson Année de publication : 1991, cop. 1991 Collection : Logique math©matiques informatique, ISSN 0995-2179 num. 6. Importance : 1 vol. (XIII-166 p.) Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-82567-5 Langues : Français (fre) Mots-clés : Systèmes logique théorie langages Index. décimale : 004 Systèmes formels : introduction à la logique et à la théorie des langages [texte imprimé] / Claude Benzaken, . - Paris : Masson, 1991, cop. 1991 . - 1 vol. (XIII-166 p.) ; 24 cm.. - (Logique math©matiques informatique, ISSN 0995-2179; 6.) .
ISBN : 978-2-225-82567-5
Langues : Français (fre)
Mots-clés : Systèmes logique théorie langages Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei00218 004-58.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00217 004-58.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Théorie des langages / Myriam Nourddine
Titre : Théorie des langages Type de document : texte imprimé Auteurs : Myriam Nourddine, Auteur Editeur : OPU:Alger Année de publication : 2005 Importance : 238 p. Format : 21 x 15 cm. Langues : Français (fre) Mots-clés : Théorie langages Index. décimale : 004 Théorie des langages [texte imprimé] / Myriam Nourddine, Auteur . - [S.l.] : OPU:Alger, 2005 . - 238 p. ; 21 x 15 cm.
Langues : Français (fre)
Mots-clés : Théorie langages Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei00635 004-172.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible