University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1 - Programmation
Ajouter le résultat dans votre panier Affiner la recherche
Transformation de Programmes / B Robnet
Titre : Transformation de Programmes : Colloque international sur la programmation Type de document : texte imprimé Auteurs : B Robnet ; LIPSCHUTZ,Seymour Mention d'édition : 3e éd. Editeur : Paris : Bordas Année de publication : 1978 Importance : 1 vol (426 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010355-2 Note générale : 978-2-04-010355-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Technique de transformation de programme
ProgrammationIndex. décimale : 005.1 - Programmation Note de contenu :
Sommaire
Environnement de la programmation
Sachems de Control et Synchronisation
Analyses formelles de systemes
Arbres et programmation
Ttransformations de programms
Types de donnees
Optimisation et validation
Verification et correction
Côte titre : Fs/8722 Transformation de Programmes : Colloque international sur la programmation [texte imprimé] / B Robnet ; LIPSCHUTZ,Seymour . - 3e éd. . - Paris : Bordas, 1978 . - 1 vol (426 p .) ; 24 cm.
ISBN : 978-2-04-010355-2
978-2-04-010355-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Technique de transformation de programme
ProgrammationIndex. décimale : 005.1 - Programmation Note de contenu :
Sommaire
Environnement de la programmation
Sachems de Control et Synchronisation
Analyses formelles de systemes
Arbres et programmation
Ttransformations de programms
Types de donnees
Optimisation et validation
Verification et correction
Côte titre : Fs/8722 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8722 Fs/8722 livre Bibliothéque des sciences Français Disponible
DisponibleUML 2 par la pratique / Pascal Roques
Titre : UML 2 par la pratique Type de document : texte imprimé Auteurs : Pascal Roques, Auteur Editeur : Paris : Eyrolles Année de publication : 2011 Collection : Best of Importance : 1 vol. (367 p.) Présentation : ill. Format : 20 cm ISBN/ISSN/EAN : 978-2-212-13344-8 Langues : Français (fre) Catégories : Informatique Mots-clés : Programmation
UML 2Index. décimale : 005.1 - Programmation Résumé :
Le cours magistral de Pascal Roques plébiscité par les étudiants et les professionnels pour comprendre et utiliser UML. Réédition au format semi-poche de la 6e édition du livre culte de Pascal Roques consacré à UML 2, ce support de cours exemplaire enseigne à travers de nombreux exercices corrigés et études de cas une démarche méthodique de modélisation UML, tant sur les axes fonctionnel que statique et dynamique.
Chaque choix de modélisation est minutieusement commenté et accompagné de conseils issus de l'expérience de l'auteur. Un glossaire reprend en fin d'ouvrage les définitions des principaux concepts et une étude de cas complète illustre le processus itératif de modélisation depuis la modélisation métier jusqu'à la conception en Java et C#.Note de contenu :
Sommaire
POINT DE VUE FONCTIONNEL
Modélisation fonctionnelle : étude de cas
Modélisation fonctionnelle : exercices corrigés et conseils méthodologiques
POINT DE VUE STATIQUE
Modélisation statique : étude de cas
Modélisation statique : exercices corrigés et conseils méthodologiques
POINT DE VUE DYNAMIQUE
Modélisation dynamique : étude de cas
Modélisation dynamique : exercices corrigés et conseils méthodologiques
CONCEPTION
Etude de cas complète : de la modélisation métier à la conception détaillée en Java ou C#
Etudes de cas complémentairesCôte titre : Fs/11668-11671,Fs/9165-9168,Fs/6865-6866 UML 2 par la pratique [texte imprimé] / Pascal Roques, Auteur . - Paris : Eyrolles, 2011 . - 1 vol. (367 p.) : ill. ; 20 cm. - (Best of) .
ISBN : 978-2-212-13344-8
Langues : Français (fre)
Catégories : Informatique Mots-clés : Programmation
UML 2Index. décimale : 005.1 - Programmation Résumé :
Le cours magistral de Pascal Roques plébiscité par les étudiants et les professionnels pour comprendre et utiliser UML. Réédition au format semi-poche de la 6e édition du livre culte de Pascal Roques consacré à UML 2, ce support de cours exemplaire enseigne à travers de nombreux exercices corrigés et études de cas une démarche méthodique de modélisation UML, tant sur les axes fonctionnel que statique et dynamique.
Chaque choix de modélisation est minutieusement commenté et accompagné de conseils issus de l'expérience de l'auteur. Un glossaire reprend en fin d'ouvrage les définitions des principaux concepts et une étude de cas complète illustre le processus itératif de modélisation depuis la modélisation métier jusqu'à la conception en Java et C#.Note de contenu :
Sommaire
POINT DE VUE FONCTIONNEL
Modélisation fonctionnelle : étude de cas
Modélisation fonctionnelle : exercices corrigés et conseils méthodologiques
POINT DE VUE STATIQUE
Modélisation statique : étude de cas
Modélisation statique : exercices corrigés et conseils méthodologiques
POINT DE VUE DYNAMIQUE
Modélisation dynamique : étude de cas
Modélisation dynamique : exercices corrigés et conseils méthodologiques
CONCEPTION
Etude de cas complète : de la modélisation métier à la conception détaillée en Java ou C#
Etudes de cas complémentairesCôte titre : Fs/11668-11671,Fs/9165-9168,Fs/6865-6866 Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Fs/11671 Fs/11668-11671 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11670 Fs/11668-11671 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11669 Fs/11668-11671 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11668 Fs/11668-11671 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6866 Fs/6865-6866 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6865 Fs/6865-6866 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9165 Fs/9165-9168 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9166 Fs/9165-9168 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9167 Fs/9165-9168 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9168 Fs/9165-9168 livre Bibliothéque des sciences Français Disponible
DisponibleUnix / Jean-Marie Rifflet
Titre : Unix : Programmation et communication Type de document : texte imprimé Auteurs : Jean-Marie Rifflet ; Baptiste yunés,Jean Editeur : Paris : Dunod Année de publication : 2003 Collection : Infopro Importance : 1 vol (774 p.) Format : 25 cm ISBN/ISSN/EAN : 978-2-10-007966-7 Note générale : Bibliogr. p.745-748,index p.749-774 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Unix
Système d'exploitation
Programmation Unix
Communication entre UnixIndex. décimale : 005.1 - Programmation Résumé :
Conçu comme un guide de programmation système, cet ouvrage présente également une étude approfondie des mécanismes internes d'Unix. Illustré par de nombreux exemples, il aborde successivement quatre aspects qui permettent au lecteur de progresser dans l'univers d'Unix :
L'environnement Unix avec les principales commandes, les interpréteurs de langage de commandes, les éditeurs de texte et la communication entre systèmes.
L'environnement de développement d'applications C sous Unix avec les grandes caractéristiques du langage C, les principaux outils pour la mise au point et l'évaluation des programmes (outils GNU) ainsi que les éléments et règles permettant le développement d'applications portables respectant la norme POSIX.
L'interface de programmation (API) entre les applications et le système (entrées-sorties, processus et communication) ainsi que les aspects temps-réel (signaux temps-réels, threads, IPC et timers POSIX).
Les applications réparties et leur développement avec une présentation des concepts essentiels relatifs aux réseaux, à Internet et ses protocoles (IPv4, UDP, TCP...) ainsi qu'aux éléments permettant l'implantation d'applications réparties communiquant par sockets ou par appels de procédures distantes.Note de contenu :
Sommaire
Prise en main
Le système de gestion de fichiers
Les processus
Les principales commandes du système
Les langages de commandes
L'édition de textes
Les environnements graphiques
Le langage C
Les outils de développement
Généralités sur l'interface avec le système
Les entrées-sorties
Terminaux, groupes et sessions
La gestion des processus
La gestion des signaux
La communication par tubes
IPC System V et IPC POSIX
Les threads
Réseaux, Internet, Unix
Les sockets
Scrutation et asynchronisme
Le protocole RPC
Bibliographie
Index des commandes
Index des fonctions
IndexCôte titre : Fs/8753 Unix : Programmation et communication [texte imprimé] / Jean-Marie Rifflet ; Baptiste yunés,Jean . - Paris : Dunod, 2003 . - 1 vol (774 p.) ; 25 cm. - (Infopro) .
ISBN : 978-2-10-007966-7
Bibliogr. p.745-748,index p.749-774
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Unix
Système d'exploitation
Programmation Unix
Communication entre UnixIndex. décimale : 005.1 - Programmation Résumé :
Conçu comme un guide de programmation système, cet ouvrage présente également une étude approfondie des mécanismes internes d'Unix. Illustré par de nombreux exemples, il aborde successivement quatre aspects qui permettent au lecteur de progresser dans l'univers d'Unix :
L'environnement Unix avec les principales commandes, les interpréteurs de langage de commandes, les éditeurs de texte et la communication entre systèmes.
L'environnement de développement d'applications C sous Unix avec les grandes caractéristiques du langage C, les principaux outils pour la mise au point et l'évaluation des programmes (outils GNU) ainsi que les éléments et règles permettant le développement d'applications portables respectant la norme POSIX.
L'interface de programmation (API) entre les applications et le système (entrées-sorties, processus et communication) ainsi que les aspects temps-réel (signaux temps-réels, threads, IPC et timers POSIX).
Les applications réparties et leur développement avec une présentation des concepts essentiels relatifs aux réseaux, à Internet et ses protocoles (IPv4, UDP, TCP...) ainsi qu'aux éléments permettant l'implantation d'applications réparties communiquant par sockets ou par appels de procédures distantes.Note de contenu :
Sommaire
Prise en main
Le système de gestion de fichiers
Les processus
Les principales commandes du système
Les langages de commandes
L'édition de textes
Les environnements graphiques
Le langage C
Les outils de développement
Généralités sur l'interface avec le système
Les entrées-sorties
Terminaux, groupes et sessions
La gestion des processus
La gestion des signaux
La communication par tubes
IPC System V et IPC POSIX
Les threads
Réseaux, Internet, Unix
Les sockets
Scrutation et asynchronisme
Le protocole RPC
Bibliographie
Index des commandes
Index des fonctions
IndexCôte titre : Fs/8753 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8753 Fs/8753 livre Bibliothéque des sciences Français Disponible
DisponibleVers Ada 95 par l'exemple / Didier Fayard
Titre : Vers Ada 95 par l'exemple Titre original : Langage,technique et pratique Type de document : texte imprimé Auteurs : Didier Fayard ; Martine Rousseau, Auteur Mention d'édition : 2e ed Editeur : Paris : De Boeck Année de publication : 1999 Importance : 1 vol (401 p.) Format : 25 cm ISBN/ISSN/EAN : 978-2-8041-3310-8 Note générale : 978-2-8041-3310-8 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langage AdaIndex. décimale : 005.1 - Programmation Résumé :
Né dans les années 80, le langage Ada prend un nouveau souffle par sa mise à jour et la normalisation de sa nouvelle version Ada 95 qui intègre les réponses aux préoccupations actuelles du génie logiciel : modularité, programmation objet, généricité, développement réparti.
Destiné aux étudiants des 1er et 2e cycles ainsi qu'à tous ceux qui recherchent un langage permettant d'intégrer, dans leur développement, les préoccupations du génie logiciel, la deuxième édition, enrichie, de cet ouvrage pragmatique veut aider, en guidant pas à pas le lecteur, à la compréhension de ce langage très riche.
Il propose de très nombreux exemples et des exercices corrigés pour chaque chapitre, permettant ainsi à l'apprenant de progresser méthodiquement. Tout au long du livre sont mis en évidence les apports substantiels de la nouvelle version. Tous les exemples ont été testés sur plusieurs compilateurs dont celui du GNATNote de contenu :
Sommaire
Premiers pas en ada.
Instructions et structures de contrôle.
Types.
Procédures et fonctions.
Paquetages.
Exceptions.
Pratique d'ada, compilation séparée et composition incrémentale.
Ada et le génie logiciel.
Compléments sur les types.
Compléments sur les paquetages.
Unités génériques.
Entrées-sorties.
Le parallélisme et les tâches.
Approche objet et ada 95.
Améliorations en ada 95.
Les mots réservés ada.
Les paquetages spécifiques entrées-sorties.
Les paquetages calendarCôte titre : Fs/8758 Vers Ada 95 par l'exemple = Langage,technique et pratique [texte imprimé] / Didier Fayard ; Martine Rousseau, Auteur . - 2e ed . - Paris : De Boeck, 1999 . - 1 vol (401 p.) ; 25 cm.
ISBN : 978-2-8041-3310-8
978-2-8041-3310-8
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langage AdaIndex. décimale : 005.1 - Programmation Résumé :
Né dans les années 80, le langage Ada prend un nouveau souffle par sa mise à jour et la normalisation de sa nouvelle version Ada 95 qui intègre les réponses aux préoccupations actuelles du génie logiciel : modularité, programmation objet, généricité, développement réparti.
Destiné aux étudiants des 1er et 2e cycles ainsi qu'à tous ceux qui recherchent un langage permettant d'intégrer, dans leur développement, les préoccupations du génie logiciel, la deuxième édition, enrichie, de cet ouvrage pragmatique veut aider, en guidant pas à pas le lecteur, à la compréhension de ce langage très riche.
Il propose de très nombreux exemples et des exercices corrigés pour chaque chapitre, permettant ainsi à l'apprenant de progresser méthodiquement. Tout au long du livre sont mis en évidence les apports substantiels de la nouvelle version. Tous les exemples ont été testés sur plusieurs compilateurs dont celui du GNATNote de contenu :
Sommaire
Premiers pas en ada.
Instructions et structures de contrôle.
Types.
Procédures et fonctions.
Paquetages.
Exceptions.
Pratique d'ada, compilation séparée et composition incrémentale.
Ada et le génie logiciel.
Compléments sur les types.
Compléments sur les paquetages.
Unités génériques.
Entrées-sorties.
Le parallélisme et les tâches.
Approche objet et ada 95.
Améliorations en ada 95.
Les mots réservés ada.
Les paquetages spécifiques entrées-sorties.
Les paquetages calendarCôte titre : Fs/8758 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8758 Fs/8758 livre Bibliothéque des sciences Français Disponible
DisponibleWeb 2.0 / Jean-Frransois Gervais
Titre : Web 2.0 : Les Internautes au pouvoirblogs,réseaux sociaux,partagé de vidéos,mashups Type de document : texte imprimé Auteurs : Jean-Frransois Gervais Editeur : Paris : Dunod Année de publication : 2007 Importance : 1 vol (216 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-10-050701-6 Note générale : 978-2-10-050701-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Réseau
WebIndex. décimale : 005.1 - Programmation Résumé :
Les internautes ont pris le pouvoir !Véritables acteurs de la toile, ils ne sont plus passifs mais font désormais partie d'un système collaboratif alimenté par ses utilisateurs : annoter et partager des photos ou des vidéos, commenter ce que les autres écrivent sur leur blog, personnaliser sa façon de consulter l'actualité... Tout cela est maintenant possible et se résume en un mot : Web 2.0. Mais qu'est-ce qui se dissimule exactement derrière cette mystérieuse appellation ? Un réel espace de liberté et de parole qui sonnerait le glas des médias traditionnels ? Une formidable base de connaissances qui concentrerait le savoir de l'Humanité ? Ou une gigantesque manipulation ourdie par de puissantes multinationales pour ficher les internautes et vendre des espaces publicitaires ?Cet ouvrage décode, de manière concrète et accessible à tous, ce que recouvre le concept de Web 2.0. Il dresse un panorama complet des nouveaux usages du Web et aborde les enjeux économiques qui en découlent, aussi bien pour l'internaute que pour les entreprises. Vous aussi, prenez le pouvoirNote de contenu :
Sommaire
GEOLOCALISATION
Google Earth
Web et GPS
La carte n'est pas le territoire
La nouveauté : les mashups
LES CONTENUS GENERES PAR LES UTILISATEURS
Les sites de partage de vidéos
Les sites de partage de photos
RESEAUX SOCIAUX ET OUTILS COLLABORATIFS
Les réseaux sociaux
Les outils collaboratifs
BLOGS ET MEDIAS PERSONNELS
Les blogs
Actualités et médias
ENTREPRISE 2.0
Les blogs d'entreprise
Intranet et blog
Les réseaux sociaux
L'entreprise responsable
Le marketing viral
Les recettes publicitaires sur le Web
Les outils collaboratifCôte titre : Fs/8769 Web 2.0 : Les Internautes au pouvoirblogs,réseaux sociaux,partagé de vidéos,mashups [texte imprimé] / Jean-Frransois Gervais . - Paris : Dunod, 2007 . - 1 vol (216 p.) ; 24 cm.
ISBN : 978-2-10-050701-6
978-2-10-050701-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Réseau
WebIndex. décimale : 005.1 - Programmation Résumé :
Les internautes ont pris le pouvoir !Véritables acteurs de la toile, ils ne sont plus passifs mais font désormais partie d'un système collaboratif alimenté par ses utilisateurs : annoter et partager des photos ou des vidéos, commenter ce que les autres écrivent sur leur blog, personnaliser sa façon de consulter l'actualité... Tout cela est maintenant possible et se résume en un mot : Web 2.0. Mais qu'est-ce qui se dissimule exactement derrière cette mystérieuse appellation ? Un réel espace de liberté et de parole qui sonnerait le glas des médias traditionnels ? Une formidable base de connaissances qui concentrerait le savoir de l'Humanité ? Ou une gigantesque manipulation ourdie par de puissantes multinationales pour ficher les internautes et vendre des espaces publicitaires ?Cet ouvrage décode, de manière concrète et accessible à tous, ce que recouvre le concept de Web 2.0. Il dresse un panorama complet des nouveaux usages du Web et aborde les enjeux économiques qui en découlent, aussi bien pour l'internaute que pour les entreprises. Vous aussi, prenez le pouvoirNote de contenu :
Sommaire
GEOLOCALISATION
Google Earth
Web et GPS
La carte n'est pas le territoire
La nouveauté : les mashups
LES CONTENUS GENERES PAR LES UTILISATEURS
Les sites de partage de vidéos
Les sites de partage de photos
RESEAUX SOCIAUX ET OUTILS COLLABORATIFS
Les réseaux sociaux
Les outils collaboratifs
BLOGS ET MEDIAS PERSONNELS
Les blogs
Actualités et médias
ENTREPRISE 2.0
Les blogs d'entreprise
Intranet et blog
Les réseaux sociaux
L'entreprise responsable
Le marketing viral
Les recettes publicitaires sur le Web
Les outils collaboratifCôte titre : Fs/8769 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8769 Fs/8769 livre Bibliothéque des sciences Français Disponible
DisponibleWindows 95 et NT 4.0 / Jerry Honeycutt
Permalink