University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Précis de génie logiciel / Marie-Claude Gaudel
Titre : Précis de génie logiciel Type de document : texte imprimé Auteurs : Marie-Claude Gaudel ; Bruno Marre ; Francoise Schlienger Editeur : Paris : Masson Année de publication : 1996 Collection : En,sgeinement de l'informatique Importance : 1 vol (142 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-225-85189-6 Note générale : 978-2-225-85189-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Génie logicielIndex. décimale : 004 Informatique Résumé :
Le génie logiciel a pour objectif de spécifier, de concevoir, de réaliser et de faire évoluer, avec des moyens et dans des délais raisonnables, des programmes, des documentations et des procédures de qualité en vue d'utiliser un ordinateur pour résoudre certains problèmes. L'auteur propose un panorama des méthodes utilisées en génie logiciel. Il expose, pour chaque étape de la vie d'un logiciel, les modèles reconnus et appliqués aujourd'hui. Écrit avec un réel souci pédagogique, cet ouvrage est concis et permettra au lecteur une entrée en matière immédiateNote de contenu :
Sommaire
Modèles de développement du logiciel.
Méthodes d'analyse, de spécification et de conception.
Méthodes formelles de spécification et de développement.
Langage de programmation.
Test de logiciel.
Méthodes de preuve de développement de logiciel.Côte titre : Fs/8614 Précis de génie logiciel [texte imprimé] / Marie-Claude Gaudel ; Bruno Marre ; Francoise Schlienger . - Paris : Masson, 1996 . - 1 vol (142 p.) ; 24 cm. - (En,sgeinement de l'informatique) .
ISBN : 978-2-225-85189-6
978-2-225-85189-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Génie logicielIndex. décimale : 004 Informatique Résumé :
Le génie logiciel a pour objectif de spécifier, de concevoir, de réaliser et de faire évoluer, avec des moyens et dans des délais raisonnables, des programmes, des documentations et des procédures de qualité en vue d'utiliser un ordinateur pour résoudre certains problèmes. L'auteur propose un panorama des méthodes utilisées en génie logiciel. Il expose, pour chaque étape de la vie d'un logiciel, les modèles reconnus et appliqués aujourd'hui. Écrit avec un réel souci pédagogique, cet ouvrage est concis et permettra au lecteur une entrée en matière immédiateNote de contenu :
Sommaire
Modèles de développement du logiciel.
Méthodes d'analyse, de spécification et de conception.
Méthodes formelles de spécification et de développement.
Langage de programmation.
Test de logiciel.
Méthodes de preuve de développement de logiciel.Côte titre : Fs/8614 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8614 Fs/8614 livre Bibliothéque des sciences Français Disponible
DisponiblePrécis d'informatique : théorie, technologie et technique : pour universitaires, ingénieurs et scientifiques / Rocuet, Jean-Luc
Titre : Précis d'informatique : théorie, technologie et technique : pour universitaires, ingénieurs et scientifiques Type de document : texte imprimé Auteurs : Rocuet, Jean-Luc Editeur : ESTA France Année de publication : 2013 Importance : 1 vol. (372 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-911868-33-7 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Cet ouvrage a été conçu à la fois comme un document de référence et un document d'aide opérationnelle, à destination des universitaires, ingénieurs et scientifiques désireux d'avoir une vision la plus large possible, essentielle et précise de l'informatique dans ses composantes logique, calcul, matériel, physique, électronique, logiciel, télécommunications, développement, projet, sécurité...
A travers les nombreux chapitres thématiques, fruits d'une recherche approfondie où l'approximation n'a pas sa place, et d'un retour d'expérience en entreprises de premier plan, tout est passé au crible en termes d'utilité et de nécessité. Le contenu répond notamment aux besoins académiques des étudiants engagés dans des enseignements du supérieur : électroniciens, télécoms, informaticiens, logiciens, analystes...Note de contenu :
Sommaire
Introduction - Généralités
Les normes et la normalisation
Architecture
Electronique des ordinateurs
Architecture parallèle
Logique
Logique binaire
Fonctions logiques à deux variables
...
Projet informatique et conduite de projetCôte titre : Fs/15411-15415 Précis d'informatique : théorie, technologie et technique : pour universitaires, ingénieurs et scientifiques [texte imprimé] / Rocuet, Jean-Luc . - [S.l.] : ESTA France, 2013 . - 1 vol. (372 p.) ; 24 cm.
ISBN : 978-2-911868-33-7
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Cet ouvrage a été conçu à la fois comme un document de référence et un document d'aide opérationnelle, à destination des universitaires, ingénieurs et scientifiques désireux d'avoir une vision la plus large possible, essentielle et précise de l'informatique dans ses composantes logique, calcul, matériel, physique, électronique, logiciel, télécommunications, développement, projet, sécurité...
A travers les nombreux chapitres thématiques, fruits d'une recherche approfondie où l'approximation n'a pas sa place, et d'un retour d'expérience en entreprises de premier plan, tout est passé au crible en termes d'utilité et de nécessité. Le contenu répond notamment aux besoins académiques des étudiants engagés dans des enseignements du supérieur : électroniciens, télécoms, informaticiens, logiciens, analystes...Note de contenu :
Sommaire
Introduction - Généralités
Les normes et la normalisation
Architecture
Electronique des ordinateurs
Architecture parallèle
Logique
Logique binaire
Fonctions logiques à deux variables
...
Projet informatique et conduite de projetCôte titre : Fs/15411-15415 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/15411 Fs/15411-15415 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15412 Fs/15411-15415 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15413 Fs/15411-15415 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15414 Fs/15411-15415 livre Bibliothéque des sciences Français Disponible
DisponibleFs/15415 Fs/15411-15415 livre Bibliothéque des sciences Français Disponible
DisponiblePremier cours de programmation avec schéme du fonctionnel pur aux objets avec drscheme / ROY,Jean-Paul
Titre : Premier cours de programmation avec schéme du fonctionnel pur aux objets avec drscheme Type de document : texte imprimé Auteurs : ROY,Jean-Paul Editeur : Paris : Ellipses Année de publication : 2010 Collection : Cours et exercices Importance : 1 vol. (430 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-7298-6081-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique, Programmation fonctionnelle, Schéme, Langage impératif Index. décimale : 004 - Informatique Résumé :
Le langage algorithmique Scheme est utilisé dans de nombreuses universités du monde, à la fois pour la formation initiale des étudiants à la programmation et pour la recherche fondamentale sur les problèmes de sémantique des langages ou de programmation du Web.
Initialement friand du style fonctionnel, il permet néanmoins au programmeur d'en adopter un autre pour le problème en cours : impératif, par objets, paresseux, etc. Cette capacité à absorber tous les paradigmes de programmation en fait un extraordinaire vecteur de compréhension des langages. Ce livre est rédigé sous la forme d'un cours pour grands débutants, du lycée aux écoles d'ingénieurs, mais il a été augmenté d'aspects avancés comme l'interprétation, les analyseurs syntaxiques ou les continuations, de manière à satisfaire un lecteur auto-didacte souhaitant se tenir au courant de ce qui fait l'essentiel d'un langage de programmation moderne. De nombreux exercices terminent chaque chapitre.
Le logiciel utilisé est DrRacket, anciennement DrScheme, gratuit sur tous les systèmes d'exploitation. Il contient tout le nécessaire pour programmer en Scheme, construire des interfaces graphiques et accéder à Internet.Note de contenu :
Sommaire
1- La programmation fonctionnelle
Les expressions préfixées
Les fonctions
Construire des images
2- L'impératif et les objets
La mutation
Le texte et les entrées-sorties
La programmation par objets et l'API graphique
3- Syntaxe et sémantique
Des analyseurs syntaxiques
Interprétation d'un sous-ensemble de Scheme
La prise en main du contrôleCôte titre : Fs/7024-7025 Premier cours de programmation avec schéme du fonctionnel pur aux objets avec drscheme [texte imprimé] / ROY,Jean-Paul . - Paris : Ellipses, 2010 . - 1 vol. (430 p.) : ill. ; 25 cm. - (Cours et exercices) .
ISBN : 978-2-7298-6081-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique, Programmation fonctionnelle, Schéme, Langage impératif Index. décimale : 004 - Informatique Résumé :
Le langage algorithmique Scheme est utilisé dans de nombreuses universités du monde, à la fois pour la formation initiale des étudiants à la programmation et pour la recherche fondamentale sur les problèmes de sémantique des langages ou de programmation du Web.
Initialement friand du style fonctionnel, il permet néanmoins au programmeur d'en adopter un autre pour le problème en cours : impératif, par objets, paresseux, etc. Cette capacité à absorber tous les paradigmes de programmation en fait un extraordinaire vecteur de compréhension des langages. Ce livre est rédigé sous la forme d'un cours pour grands débutants, du lycée aux écoles d'ingénieurs, mais il a été augmenté d'aspects avancés comme l'interprétation, les analyseurs syntaxiques ou les continuations, de manière à satisfaire un lecteur auto-didacte souhaitant se tenir au courant de ce qui fait l'essentiel d'un langage de programmation moderne. De nombreux exercices terminent chaque chapitre.
Le logiciel utilisé est DrRacket, anciennement DrScheme, gratuit sur tous les systèmes d'exploitation. Il contient tout le nécessaire pour programmer en Scheme, construire des interfaces graphiques et accéder à Internet.Note de contenu :
Sommaire
1- La programmation fonctionnelle
Les expressions préfixées
Les fonctions
Construire des images
2- L'impératif et les objets
La mutation
Le texte et les entrées-sorties
La programmation par objets et l'API graphique
3- Syntaxe et sémantique
Des analyseurs syntaxiques
Interprétation d'un sous-ensemble de Scheme
La prise en main du contrôleCôte titre : Fs/7024-7025 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/7024 Fs/7024-7025 livre Bibliothéque des sciences Français Disponible
DisponibleFs/7025 Fs/7024-7025 livre Bibliothéque des sciences Français Disponible
DisponibleUn premier cours de programmation en Pascal / Keller,Arthur M
Titre : Un premier cours de programmation en Pascal Type de document : texte imprimé Auteurs : Keller,Arthur M ; MIAUX,Michel,Trad. ; Goutier,Claude, Trad Editeur : Montréal : McGraw-Hill Année de publication : 1985 Importance : 1 vol (367 p.) Format : 28 cm ISBN/ISSN/EAN : 978-0-07-548669-5 Note générale : 978-0-07-548669-5 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Langage Pascal
ProgrammationIndex. décimale : 004 - Informatique Côte titre : Fs/8740 Un premier cours de programmation en Pascal [texte imprimé] / Keller,Arthur M ; MIAUX,Michel,Trad. ; Goutier,Claude, Trad . - Montréal : McGraw-Hill, 1985 . - 1 vol (367 p.) ; 28 cm.
ISBN : 978-0-07-548669-5
978-0-07-548669-5
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Langage Pascal
ProgrammationIndex. décimale : 004 - Informatique Côte titre : Fs/8740 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8740 Fs/8740 livre Bibliothéque des sciences Français Disponible
DisponiblePremier livre de programmation / Mondou,Odette Arsac
Titre : Premier livre de programmation Type de document : texte imprimé Auteurs : Mondou,Odette Arsac ; Camescsse,Christiane Bourgeois ; Mireille Gourtay Editeur : Paris : CEDIC Année de publication : 1982 Importance : 1 vol (214 p.) Présentation : ill. Format : 21 cm ISBN/ISSN/EAN : 978-2-7124-0313-3 Note générale : 978-2-7124-0313-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
ProgrammationIndex. décimale : 004 - Informatique Côte titre : Fs/8615 Premier livre de programmation [texte imprimé] / Mondou,Odette Arsac ; Camescsse,Christiane Bourgeois ; Mireille Gourtay . - Paris : CEDIC, 1982 . - 1 vol (214 p.) : ill. ; 21 cm.
ISBN : 978-2-7124-0313-3
978-2-7124-0313-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
ProgrammationIndex. décimale : 004 - Informatique Côte titre : Fs/8615 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8615 Fs/8615 livre Bibliothéque des sciences Français Disponible
DisponiblePremiers pas en CSS et XHTML / Francis Draillard
PermalinkPréparation à la certification LPIC-1 Linux / Sébastien Rohaut
PermalinkPréparation à la certification MCTS Windows 7 / Emmanuel Dreux
PermalinkPréparation au MCSE / Emmett Dulaney
PermalinkPréparation au MCSE / Michael Wolfe
PermalinkPréparation au MCSE
PermalinkPréservation de la confidentialité des informations sensibles contenues dans des données publiées / HARAFA, Ibtissem
PermalinkPrestaShop 1.7 / Didier Mazier
PermalinkLes principes des langages de programmation / Gilles Dowek
PermalinkPrincipes des ordinateurs / Patrick Miribel
Permalink