University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 005.1
Ajouter le résultat dans votre panier Affiner la recherche
Cours et exercices corrigés d'algorithmique / Jacques Julliand
Titre : Cours et exercices corrigés d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique Type de document : texte imprimé Auteurs : Jacques Julliand, Auteur Editeur : Paris : Vuibert Année de publication : 2010 Importance : 1 vol. (264 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Note générale : 978-2-311-00020-7 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Algorithmes
Langages de programmation
Programmation système (informatique)
Logique informatique
Logiciels : VérificationIndex. décimale : 005.1 Programmation Résumé :
Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/ _JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée a des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et Leirios Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigésNote de contenu :
Sommaire
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercicesCôte titre : Fs/4633,Fs/13096-13099 Cours et exercices corrigés d'algorithmique : Vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique [texte imprimé] / Jacques Julliand, Auteur . - Paris : Vuibert, 2010 . - 1 vol. (264 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-311-00020-7
978-2-311-00020-7
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Algorithmes
Langages de programmation
Programmation système (informatique)
Logique informatique
Logiciels : VérificationIndex. décimale : 005.1 Programmation Résumé :
Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validation (JAVA/ _JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée a des questions pratiques liées à la mise en oeuvre de la méthode avec des outils - Atelier B et Leirios Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigésNote de contenu :
Sommaire
Modéliser pour vérifier et développer des programmes
Test et vérification de programmes
Vérification de programmes par exécution symbolique
Un langage de programmation générique
La logique des prédicats du premier ordre - le langage de modélisation du premier ordre
La logique de Hoare - le système de vérification
Quelques éléments de stratégie de vérification de programmes
Exemple de découverte d'erreurs à la vérification
Etude de cas - modélisation et vérification d'un programme de calcul de la racine carrée entière par division
Développer des programmes corrects par construction à partir de modèles
Automatisation de la vérification et de la génération de tests à partir de modèles
Modélisation de programmes en B
Modéliser en B pour engendrer des tests boîte noire
Modéliser des programmes en B pour les vérifier
Solutions des exercicesCôte titre : Fs/4633,Fs/13096-13099 Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité Fs/13096 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13097 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13098 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13099 Fs/13096-13099 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4633 Fs/4633 livre Bibliothéque des sciences Français Disponible
DisponibleDéfinition des besoins pour le logiciel / Yves Constantinidis
Titre : Définition des besoins pour le logiciel Type de document : texte imprimé Auteurs : Yves Constantinidis, Auteur Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2006 Collection : Études et logiciels informatiques, ISSN 1635-7353 Importance : 1 vol. (214 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1237-4 Note générale : 978-2-7462-1237-4 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Génie logiciel.
Logiciels : Développement : Planification.
cahier des charges : logiciel.Index. décimale : 005.1 Programmation Résumé :
Définir les besoins pour un logiciel est un processus difficile qui fait appel à des compétences humaines, techniques et méthodologiques très variées, alliant rigueur et créativité. Une étude efficace des besoins réduit très sensiblement le coût du développement et de la maintenance d'une application et accroît sa qualité. Définition des besoins pour le logiciel est un outil d'aide à la maîtrise d'ouvrage et à la conception de projets. Il permet de recueillir et d'analyser les besoins et d'élaborer un cahier des charges pour un logiciel. L'ouvrage décrit : les étapes pour définir les besoins en partant des objectifs, les différentes techniques de recueil et d'analyse, une méthode efficace pour élaborer un cahier des charges, des plans types de cahiers des charges et un guide de rédaction, des conseils techniques et des recommandations aux managers, des études de cas.Note de contenu :
Sommaire
Le besoin et l'exigence
Qu'est-ce qu'un bon logiciel ?
La maîtrise de l'ouvrage
La définition des objectifs
Recueil et analyse des besoins
Sept critères d'ergonomie
Le cahier des charges : élaboration
Le cahier des charges : guide de rédaction
Validation et diagnostics
La gestion et le suivi des exigences
Quelques conseils techniques
Aspects managériaux et facteurs humains
Trois études de cas
Un nouveau métier : le designer de logicielCôte titre : Fs/10655-10658,Fs/13110-13112 Définition des besoins pour le logiciel [texte imprimé] / Yves Constantinidis, Auteur . - Paris : Hermès science publications-Lavoisier, 2006 . - 1 vol. (214 p.) : ill. ; 24 cm. - (Études et logiciels informatiques, ISSN 1635-7353) .
ISBN : 978-2-7462-1237-4
978-2-7462-1237-4
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique Mots-clés : Génie logiciel.
Logiciels : Développement : Planification.
cahier des charges : logiciel.Index. décimale : 005.1 Programmation Résumé :
Définir les besoins pour un logiciel est un processus difficile qui fait appel à des compétences humaines, techniques et méthodologiques très variées, alliant rigueur et créativité. Une étude efficace des besoins réduit très sensiblement le coût du développement et de la maintenance d'une application et accroît sa qualité. Définition des besoins pour le logiciel est un outil d'aide à la maîtrise d'ouvrage et à la conception de projets. Il permet de recueillir et d'analyser les besoins et d'élaborer un cahier des charges pour un logiciel. L'ouvrage décrit : les étapes pour définir les besoins en partant des objectifs, les différentes techniques de recueil et d'analyse, une méthode efficace pour élaborer un cahier des charges, des plans types de cahiers des charges et un guide de rédaction, des conseils techniques et des recommandations aux managers, des études de cas.Note de contenu :
Sommaire
Le besoin et l'exigence
Qu'est-ce qu'un bon logiciel ?
La maîtrise de l'ouvrage
La définition des objectifs
Recueil et analyse des besoins
Sept critères d'ergonomie
Le cahier des charges : élaboration
Le cahier des charges : guide de rédaction
Validation et diagnostics
La gestion et le suivi des exigences
Quelques conseils techniques
Aspects managériaux et facteurs humains
Trois études de cas
Un nouveau métier : le designer de logicielCôte titre : Fs/10655-10658,Fs/13110-13112 Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité Fs/10655 Fs/10655-10658 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10656 Fs/10655-10658 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10657 Fs/10655-10658 livre Bibliothéque des sciences Français Disponible
DisponibleFs/10658 Fs/10655-10658 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13110 Fs/13110-13112 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13112 Fs/13110-13112 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/13111 Fs/13110-13112 Livre Bibliothéque des sciences Français Disponible
DisponibleDesign patterns pour C# / Laurent Debrauwer
Titre : Design patterns pour C# : les 23 modèles de conception, descriptions et solutions illustrées en UML 2 et C# Type de document : texte imprimé Auteurs : Laurent Debrauwer, Auteur Editeur : Saint-Herblain : Éd. ENI Année de publication : 2009 Collection : Expert IT, ISSN 1958-9913 Importance : 1 vol. (325 p.) Présentation : ill., couv. ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7460-4916-1 Note générale : Index Langues : Français (fre) Catégories : Informatique Mots-clés : Design patterns
Programmation
C#Index. décimale : 005.1 Programmation Résumé :
Ce livre sur UML 2 présente de façon concise et pratique les 23 modèles de conception (design patterns) fondamentaux en les illustrant par des exemples pertinents et rapides à appréhender. Chaque exemple est décrit en UML et en C# sous la forme dŽun petit programme complet et exécutable. Pour chaque pattern, l'auteur détaille son nom, le problème correspondant, la solution proposée, ses domaines dŽapplication et sa structure générique.
Le livre sŽadresse aux concepteurs et développeurs en Programmation Orientée Objet. Pour bien lŽappréhender, il est préférable de disposer de connaissances sur les principaux éléments des diagrammes de classes UML et de la dernière version du langage C# (à partir de la version 2.0).
Le livre est organisé en trois parties qui correspondent aux trois familles des patterns de conception : les patterns de construction, les patterns de structuration et les patterns de comportement.
Les exemples utilisés dans ces parties sont issus dŽune application de vente en ligne de véhicules et sont téléchargeables sur le site de l'éditeur.Note de contenu :
SOMMAIRE
Introduction
Introduction aux patterns de conception
Une étude de cas : la vente en ligne de véhicules
Patterns de construction
Introduction aux patterns de construction
Le pattern Abstract Factory
Le pattern Builder
Le pattern Factory Method
Le pattern Prototype
Le pattern Singleton
Patterns de structuration
Introduction aux patterns de structuration
Le pattern Adapter
Le pattern Bridge
Le pattern Composite
Le pattern Decorator
Le pattern Facade
Le pattern Flyweight
Le pattern Proxy
Patterns de comportement
Introduction aux patterns de comportement
Le pattern Chain of Responsibility
Le pattern Command
Le pattern Interpreter
Le pattern Iterator
Le pattern Mediator
Le pattern Memento
Le pattern Observer
Le pattern State
Le pattern Strategy
Le pattern Template Method
Le pattern Visitor
Conclusion - Les patterns dans la conception de logiciels
Annexe - Exercices (énoncés, corrigés)Design patterns pour C# : les 23 modèles de conception, descriptions et solutions illustrées en UML 2 et C# [texte imprimé] / Laurent Debrauwer, Auteur . - Saint-Herblain : Éd. ENI, 2009 . - 1 vol. (325 p.) : ill., couv. ill. ; 22 cm. - (Expert IT, ISSN 1958-9913) .
ISBN : 978-2-7460-4916-1
Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Design patterns
Programmation
C#Index. décimale : 005.1 Programmation Résumé :
Ce livre sur UML 2 présente de façon concise et pratique les 23 modèles de conception (design patterns) fondamentaux en les illustrant par des exemples pertinents et rapides à appréhender. Chaque exemple est décrit en UML et en C# sous la forme dŽun petit programme complet et exécutable. Pour chaque pattern, l'auteur détaille son nom, le problème correspondant, la solution proposée, ses domaines dŽapplication et sa structure générique.
Le livre sŽadresse aux concepteurs et développeurs en Programmation Orientée Objet. Pour bien lŽappréhender, il est préférable de disposer de connaissances sur les principaux éléments des diagrammes de classes UML et de la dernière version du langage C# (à partir de la version 2.0).
Le livre est organisé en trois parties qui correspondent aux trois familles des patterns de conception : les patterns de construction, les patterns de structuration et les patterns de comportement.
Les exemples utilisés dans ces parties sont issus dŽune application de vente en ligne de véhicules et sont téléchargeables sur le site de l'éditeur.Note de contenu :
SOMMAIRE
Introduction
Introduction aux patterns de conception
Une étude de cas : la vente en ligne de véhicules
Patterns de construction
Introduction aux patterns de construction
Le pattern Abstract Factory
Le pattern Builder
Le pattern Factory Method
Le pattern Prototype
Le pattern Singleton
Patterns de structuration
Introduction aux patterns de structuration
Le pattern Adapter
Le pattern Bridge
Le pattern Composite
Le pattern Decorator
Le pattern Facade
Le pattern Flyweight
Le pattern Proxy
Patterns de comportement
Introduction aux patterns de comportement
Le pattern Chain of Responsibility
Le pattern Command
Le pattern Interpreter
Le pattern Iterator
Le pattern Mediator
Le pattern Memento
Le pattern Observer
Le pattern State
Le pattern Strategy
Le pattern Template Method
Le pattern Visitor
Conclusion - Les patterns dans la conception de logiciels
Annexe - Exercices (énoncés, corrigés)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/4982 Fs/4982 livre Bibliothéque des sciences Français Disponible
DisponibleDéveloppement informatique / Michel Gineste
Titre : Développement informatique : apprenez à concevoir avant de programmer Type de document : texte imprimé Auteurs : Michel Gineste (19..-....), Auteur Editeur : Saint-Herblain : Éd. ENI Année de publication : 2018 Collection : Ressources informatiques (Nantes), ISSN 1627-8224 Importance : 1 vol. (904 p.) Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-409-01239-6 Note générale : Index Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.1 Programmation Résumé :
Que faut-il maîtriser pour devenir un professionnel du développement informatique ? Des langages de programmation, des méthodes de programmation, des méthodes de conception, une pratique des architectures réparties, des bases de données, des serveurs...L'ouvrage présente l'utilisation de toutes ces techniques, utilisées aussi bien dans la conception que dans la programmation, à travers de nombreux exemples concrets.
Réaliser, voilà le maître-mot ! Acquérir des bases solides qui permettent de travailler et d'évoluer, c'est l'objectif de ce livre. Cette recherche d'enseignement de bases solides assure à l'ouvrage une certaine stabilité, le rendant moins susceptible d'obsolescence en cas d'évolution technologique. Chaque technique n'est pas exposée en détail. Pas de syntaxe complète du langage Java, mais des programmes opérationnels.
Pas d'exposé exhaustif sur UML, mais une utilisation de diagrammes en fonction des besoins. Ce livre ne se substitue donc pas aux documentations et ouvrages de référence. Au contraire, apprendre à utiliser ces ressources, c'est aussi un des objectifs qu'il cherche à atteindre. Des éléments complémentaires sont en téléchargement sur le site www.editions-eni.fr.Note de contenu :
Sommaire
Avant-propos
Initiation
Les tableaux
Les pointeurs
Les chaînes de caractères
Les fonctions
Les structures de données : struct, typedef struct
Bibliothèques de fonctions
Les fichiers
Algorithmique - Présentation de la méthode
Algorithmique - Groupes alternatifs de données
Algorithmique - Données de phase, sauts de page
Algorithmique - Les tableaux
Algorithmique - Alternatives complexes
Présentation
Éléments syntaxiques
Programmation objet, notions de base
Chaînes de caractères
Les tableaux
L'héritage
Les collections
Les exceptions
Les flux
Fenêtres - Évènements
Contrôles - Layout
Dessins
JTable - DAO - MVC
JDBC - Mapping Objet/Relationnel
Programmation réseau - Architecture 3-tiers
XML - Architecture 3-tiers
Présentation
Servlet
JSP - MVC
Servlet - JSP : compléments
Objets distants - RMI - EJB
Les EJB Session
Les EJB Entity
IndexCôte titre : Fs/24198-24199 Développement informatique : apprenez à concevoir avant de programmer [texte imprimé] / Michel Gineste (19..-....), Auteur . - Saint-Herblain : Éd. ENI, 2018 . - 1 vol. (904 p.) : ill. ; 22 cm. - (Ressources informatiques (Nantes), ISSN 1627-8224) .
ISBN : 978-2-409-01239-6
Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 005.1 Programmation Résumé :
Que faut-il maîtriser pour devenir un professionnel du développement informatique ? Des langages de programmation, des méthodes de programmation, des méthodes de conception, une pratique des architectures réparties, des bases de données, des serveurs...L'ouvrage présente l'utilisation de toutes ces techniques, utilisées aussi bien dans la conception que dans la programmation, à travers de nombreux exemples concrets.
Réaliser, voilà le maître-mot ! Acquérir des bases solides qui permettent de travailler et d'évoluer, c'est l'objectif de ce livre. Cette recherche d'enseignement de bases solides assure à l'ouvrage une certaine stabilité, le rendant moins susceptible d'obsolescence en cas d'évolution technologique. Chaque technique n'est pas exposée en détail. Pas de syntaxe complète du langage Java, mais des programmes opérationnels.
Pas d'exposé exhaustif sur UML, mais une utilisation de diagrammes en fonction des besoins. Ce livre ne se substitue donc pas aux documentations et ouvrages de référence. Au contraire, apprendre à utiliser ces ressources, c'est aussi un des objectifs qu'il cherche à atteindre. Des éléments complémentaires sont en téléchargement sur le site www.editions-eni.fr.Note de contenu :
Sommaire
Avant-propos
Initiation
Les tableaux
Les pointeurs
Les chaînes de caractères
Les fonctions
Les structures de données : struct, typedef struct
Bibliothèques de fonctions
Les fichiers
Algorithmique - Présentation de la méthode
Algorithmique - Groupes alternatifs de données
Algorithmique - Données de phase, sauts de page
Algorithmique - Les tableaux
Algorithmique - Alternatives complexes
Présentation
Éléments syntaxiques
Programmation objet, notions de base
Chaînes de caractères
Les tableaux
L'héritage
Les collections
Les exceptions
Les flux
Fenêtres - Évènements
Contrôles - Layout
Dessins
JTable - DAO - MVC
JDBC - Mapping Objet/Relationnel
Programmation réseau - Architecture 3-tiers
XML - Architecture 3-tiers
Présentation
Servlet
JSP - MVC
Servlet - JSP : compléments
Objets distants - RMI - EJB
Les EJB Session
Les EJB Entity
IndexCôte titre : Fs/24198-24199 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/24198 Fs/24198-24199 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24199 Fs/24198-24199 livre Bibliothéque des sciences Français Disponible
DisponibleL'Environnement de programmation Unix / Brian Kenighan
Titre : L'Environnement de programmation Unix Type de document : texte imprimé Auteurs : Brian Kenighan ; Rob Pike ; Eric, Trad Horlait Editeur : Paris : Inter éd. Année de publication : 1986 Importance : 1 vol (372 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-7296-0130-0 Note générale : 978-2-7296-0130-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Unix
Système d'exploitationIndex. décimale : 005.1 Programmation Note de contenu :
Sommaire
Unix pour les débutants
Les systéme de fichiers
L'utilisation du shell
les filtres
La programmation des E/Standard
Le utilisation du noyau UNIX
le développement d'une application
la préparation de documents
Côte titre : Fs/8475 L'Environnement de programmation Unix [texte imprimé] / Brian Kenighan ; Rob Pike ; Eric, Trad Horlait . - Paris : Inter éd., 1986 . - 1 vol (372 p.) ; 24 cm.
ISBN : 978-2-7296-0130-0
978-2-7296-0130-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Unix
Système d'exploitationIndex. décimale : 005.1 Programmation Note de contenu :
Sommaire
Unix pour les débutants
Les systéme de fichiers
L'utilisation du shell
les filtres
La programmation des E/Standard
Le utilisation du noyau UNIX
le développement d'une application
la préparation de documents
Côte titre : Fs/8475 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8475 Fs/8475 livre Bibliothéque des sciences Français Disponible
DisponibleL'essentiel du Microsoft windows Version 3.1 / Ziani ,Nabil
PermalinkExercices en Java / Claude Delannoy
PermalinkExercices en langage C++ / Claude Delannoy
PermalinkExercices en langage C++ / Claude Delannoy
PermalinkPermalinkGénie logiciel / André, Pascal
PermalinkPermalinkPermalinkPermalinkHandbook of computer programming with Python / Christos Manolas
PermalinkInformatique / Thierry Audibert
PermalinkInformatique, programmation et simulation en Scilab / Arnaud Bégyn
PermalinkPermalinkInitiation à la cryptographie:Cours et exercices corrigés / Duberrtet,Gilles
PermalinkInitiation à matlab / Mourad Djebli
PermalinkIntroduction to algorithms / Thomas H. Cormen
PermalinkJava / Vincent Granet
PermalinkJava 6 / Thierry Groussard
PermalinkJava EE 5 / Antonio Goncalves
PermalinkJava Enterprise Edition / Thierry Groussard
PermalinkJavaScript / Alexandre Brillant
PermalinkjQuery / Luc Van Lancker
PermalinkLe Langage C++ / Jesse Liberty
PermalinkLe langage C++ / Liberty, Jesse
PermalinkLe langage C / Brian W. Kernighan
PermalinkLe langage C / Brian W. Kernighan
PermalinkLe Langage de programmation PL / 1 / Charles Berthel
PermalinkLe livre de Java / Anne Tasso
PermalinkLogique de programmation / Jean-Paul Tremblay
PermalinkLogique(s), langages formels et complexité pour l'informatique / Narendra Jussien
PermalinkMerise / Jean Luc Baptiste
PermalinkMéthodesde programmation / Bertrand Meyer
PermalinkLes Micro-ondes T.1 / R Badoual
PermalinkPermalinkMon cours visuel de programmation / Sean McManus
PermalinkObject-oriented software construction / Bertrand Meyer
PermalinkObject-oriented software engineering using UML, patterns, and java / Bernd Bruegge
PermalinkObjective-C pour le développeur avancé / Chatelier, Pierre-Yves
PermalinkOCS Inventory NG / Yves Guimard
PermalinkOrdinateur CDC 3600 le langage colp ass et le systéme / Monique Gineste
PermalinkPC programmation système / Michael Tichael
PermalinkLe PC / Suzanne Weixel
PermalinkLe petit Python orienté objet / Richard Gomez
PermalinkPetites expériences d'électronique avec mon PC / Burkhard Kainka
PermalinkPHP 5.2 / Olivier Heurtel
Permalink