University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004 - Informatique
Ajouter le résultat dans votre panier Affiner la recherche
De la programmation linéaire la programmation par contraintes / Eric Bourreau
Titre : De la programmation linéaire la programmation par contraintes Type de document : texte imprimé Auteurs : Eric Bourreau, ; Matthieu Gondran, ; Philippe Lacomme, ; Marina Vinot, Editeur : Paris : Ellipses Année de publication : 2019. Collection : Technosup Importance : 1 vol. (350 p.) Présentation : ill., couv. ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-340-02946-0 Note générale : 978-2-340-02946-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Programmation par contraintes
Programmation linéaiIndex. décimale : 004 - Informatique Résumé :
La 4e de couv. indique : "Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC. La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC. Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux de Java avec NetBeams."
Note de contenu :
Sommaire
Chapitre 1, Modélisation linéaire et outils de résolution
Chapitre 2, Choco et CPLEX pour la propagation par contraintes
Chapitre 3, Notions de base en PPC et utilisation avancée de Choco
Chapitre 4, Modélisations PPC pour le RCPSP et le Job-Shop
Chapitre 5, Modélisation spécifiques à la PPC
Chapitre 6, Annexes-ComplémentsCôte titre : Fs/23323-23325 De la programmation linéaire la programmation par contraintes [texte imprimé] / Eric Bourreau, ; Matthieu Gondran, ; Philippe Lacomme, ; Marina Vinot, . - Paris : Ellipses, 2019. . - 1 vol. (350 p.) : ill., couv. ill. ; 26 cm.. - (Technosup) .
ISBN : 978-2-340-02946-0
978-2-340-02946-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Programmation par contraintes
Programmation linéaiIndex. décimale : 004 - Informatique Résumé :
La 4e de couv. indique : "Cet ouvrage propose une découverte pragmatique de la programmation par contraintes (PPC), sans en aborder la partie théorique. Il constitue un guide permettant aux ingénieurs, chercheurs et étudiants formés en programmation linéaire de se familiariser avec la PPC. La programmation linéaire, très répandue dans toutes les formations d'ingénieurs, permet de résoudre des problèmes concrets de grande taille. Quant à la PPC, elle offre une alternative pour laquelle il n'est plus nécessaire d'avoir préalablement une formalisation linéaire du problème. En lieu et place des outils classiques de la programmation linéaire, elle utilise des solveurs PPC. Les exemples du livre sont essentiellement des problèmes d'optimisation de type ordonnancement/transport. Ils sont résolus avec Choco (solveur de PPC français) et CPLEX. Les codes informatiques sont proposés en Java pour les exemples traités en Choco ou avec Gusek. Ils sont proposés en C++ pour les exemples traités avec CPLEX. Les développements en C++ sont effectués avec Visual Studio et ceux de Java avec NetBeams."
Note de contenu :
Sommaire
Chapitre 1, Modélisation linéaire et outils de résolution
Chapitre 2, Choco et CPLEX pour la propagation par contraintes
Chapitre 3, Notions de base en PPC et utilisation avancée de Choco
Chapitre 4, Modélisations PPC pour le RCPSP et le Job-Shop
Chapitre 5, Modélisation spécifiques à la PPC
Chapitre 6, Annexes-ComplémentsCôte titre : Fs/23323-23325 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/23323 Fs/23323-23325 livre Bibliothéque des sciences Français Disponible
DisponibleFs/23324 Fs/23323-23325 livre Bibliothéque des sciences Français Disponible
DisponibleFs/23325 Fs/23323-23325 livre Bibliothéque des sciences Français Disponible
DisponibleProgrammation Linux 2.0 / Rémy Card
Titre : Programmation Linux 2.0 : API système et fonctionnement du noyau Type de document : texte imprimé Auteurs : Rémy Card ; Eric Dumas ; Franck Mével Editeur : Paris : Eyrolles Année de publication : 2000 Importance : 1 vol (515 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-212-09183-0 Note générale : 978-2-212-09183-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Linux
Système d'exploitation
Systèmes informatiques :Mise en oeuvre
Ordinateurs :Équipement d'entrée-sortie
Ordinateurs :MémoiresIndex. décimale : 004 - Informatique Résumé :
Destiné aux étudiants, aux développeurs système et à tous les passionnés de Linux, cet ouvrage est plus qu'un simple manuel de programmation. Il vous conduira au coeur du système d'exploitation grâce à une analyse approfondie du fonctionnement interne du noyau.
Chaque chapitre traite en détail une des composantes du système : processus - signaux - systèmes de fichiers - entrées/sorties - gestion de la mémoire - terminaux Posix - communication par tubes - IPC System V - modules chargeables - administration du système.
La première partie de chaque chapitre, accessible aux débutants, présente les concepts et décrit les appels système associés, en les illustrant d'exemples en langage C. La seconde partie, plus avancée, montre comment ces concepts sont implémentés au niveau du noyau : structures de données utilisées et fonctions internes de Linux.
Cet ouvrage a fait l'objet de traductions en langues anglaise (The Linux Kernel Book, Wiley), espagnole (Programación Linux 2.0, Gestión2000) et japonaise (OhmshaCôte titre : Fs/8633 Programmation Linux 2.0 : API système et fonctionnement du noyau [texte imprimé] / Rémy Card ; Eric Dumas ; Franck Mével . - Paris : Eyrolles, 2000 . - 1 vol (515 p.) ; 24 cm.
ISBN : 978-2-212-09183-0
978-2-212-09183-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Linux
Système d'exploitation
Systèmes informatiques :Mise en oeuvre
Ordinateurs :Équipement d'entrée-sortie
Ordinateurs :MémoiresIndex. décimale : 004 - Informatique Résumé :
Destiné aux étudiants, aux développeurs système et à tous les passionnés de Linux, cet ouvrage est plus qu'un simple manuel de programmation. Il vous conduira au coeur du système d'exploitation grâce à une analyse approfondie du fonctionnement interne du noyau.
Chaque chapitre traite en détail une des composantes du système : processus - signaux - systèmes de fichiers - entrées/sorties - gestion de la mémoire - terminaux Posix - communication par tubes - IPC System V - modules chargeables - administration du système.
La première partie de chaque chapitre, accessible aux débutants, présente les concepts et décrit les appels système associés, en les illustrant d'exemples en langage C. La seconde partie, plus avancée, montre comment ces concepts sont implémentés au niveau du noyau : structures de données utilisées et fonctions internes de Linux.
Cet ouvrage a fait l'objet de traductions en langues anglaise (The Linux Kernel Book, Wiley), espagnole (Programación Linux 2.0, Gestión2000) et japonaise (OhmshaCôte titre : Fs/8633 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8633 Fs/8633 livre Bibliothéque des sciences Français Disponible
DisponibleProgrammation multimédia pour Windows / Steve Rimmer
Titre : Programmation multimédia pour Windows Type de document : texte imprimé Auteurs : Steve Rimmer ; Bonnie,Trad Cupac Editeur : Paris : ITPF Année de publication : 1995 Importance : 1 vol (378 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-84180-001-8 Note générale : 978-2-84180-001-8 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Programmation multimédia
Son numérique
Vidéo sous windows
Image bitmap
Standard MIDIIndex. décimale : 004 - Informatique Côte titre : Fs/8637 Programmation multimédia pour Windows [texte imprimé] / Steve Rimmer ; Bonnie,Trad Cupac . - Paris : ITPF, 1995 . - 1 vol (378 p.) ; 24 cm.
ISBN : 978-2-84180-001-8
978-2-84180-001-8
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Programmation multimédia
Son numérique
Vidéo sous windows
Image bitmap
Standard MIDIIndex. décimale : 004 - Informatique Côte titre : Fs/8637 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8637 Fs/8637 livre Bibliothéque des sciences Français Disponible
DisponibleLa Programmation en Pascal / Peter Grogono
Titre : La Programmation en Pascal Type de document : texte imprimé Auteurs : Peter Grogono ; Sylvie,Trad. Vignes Editeur : Paris : Inter éd. Année de publication : 1986 Importance : 1 vol. (373 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7296-0128-7 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Pascal
Programmation
Fichier
TableauIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Les concepts de la programmation
2- Données, expressions, instruction
3- Décision et répétition
4- Procédures et fonctions
5- Types simples, ensembles, instruction case
6- Tableaux et enregistrements
7- Les fichers
8- Structures de données dynamiques
9- Programmation avancée en pascal
10- La conception des programmesCôte titre : Fs/8427 La Programmation en Pascal [texte imprimé] / Peter Grogono ; Sylvie,Trad. Vignes . - Paris : Inter éd., 1986 . - 1 vol. (373 p.) : ill. ; 24 cm.
ISBN : 978-2-7296-0128-7
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Pascal
Programmation
Fichier
TableauIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Les concepts de la programmation
2- Données, expressions, instruction
3- Décision et répétition
4- Procédures et fonctions
5- Types simples, ensembles, instruction case
6- Tableaux et enregistrements
7- Les fichers
8- Structures de données dynamiques
9- Programmation avancée en pascal
10- La conception des programmesCôte titre : Fs/8427 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8427 Fs/8427 livre Bibliothéque des sciences Français Disponible
DisponibleLa Programmation sous Unix / Jean-Marie Rifflet
Titre : La Programmation sous Unix Type de document : texte imprimé Auteurs : Jean-Marie Rifflet Mention d'édition : 3e éd Editeur : Paris : ED sciences Année de publication : 1993 Collection : Informatique Importance : 1 vol. (630 p.) Format : 24 cm ISBN/ISSN/EAN : 2-10-0066-48-x Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Unix
Système d'exploitationIndex. décimale : 004 - Informatique Résumé :
Cet ouvrage est consacré au système UNIX. Le lecteur y trouvera tout d'abord une présentation générale de l'environnement UNIX : grandes caractéristiques et organisation générale, principales commandes et interprètes de langages de commandes, éditeurs de texte et communication entre systèmes. Dans une seconde partie, le développeur y trouvera les grandes caractéristiques du langage C (dans sa forme ANSI) et les principaux outils pour la mise au point et l'évaluation de programmes dans un environnement UNIX. Enfin, la troisième partie du livre étudie le système d'un point de vue plus interne et décrit l'interface des applications avec le système (entrées-sorties, processus et communication).
La troisième édition de ce livre a été totalement réécrite et prend en compte les aspects les plus récents du système : langage de commandes Korn-Shell, environnement X-Window, édition de lien dynamique et norme POSIX.
Ce livre est le résultat de l'expérience pédagogique de son auteur tant à l'université Paris VII où Jean-Marie Rifflet est professeur, qu'en milieu industriel (chez Bull en particulier) où il enseigne la programmation dans un environnement UNIX. Ce livre est illustré de très nombreux exemples simples qui permettent l'assimilation rapide des notions présentées. Il doit ainsi faciliter la prise de contact des utilisateurs avec un environnement UNIX. Les utilisateurs plus expérimentés y trouveront également des compléments précieux aux manuels standard du système pour le développement d'applications plus pointues.Côte titre : Fs/8428 La Programmation sous Unix [texte imprimé] / Jean-Marie Rifflet . - 3e éd . - Paris : ED sciences, 1993 . - 1 vol. (630 p.) ; 24 cm. - (Informatique) .
ISSN : 2-10-0066-48-x
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Unix
Système d'exploitationIndex. décimale : 004 - Informatique Résumé :
Cet ouvrage est consacré au système UNIX. Le lecteur y trouvera tout d'abord une présentation générale de l'environnement UNIX : grandes caractéristiques et organisation générale, principales commandes et interprètes de langages de commandes, éditeurs de texte et communication entre systèmes. Dans une seconde partie, le développeur y trouvera les grandes caractéristiques du langage C (dans sa forme ANSI) et les principaux outils pour la mise au point et l'évaluation de programmes dans un environnement UNIX. Enfin, la troisième partie du livre étudie le système d'un point de vue plus interne et décrit l'interface des applications avec le système (entrées-sorties, processus et communication).
La troisième édition de ce livre a été totalement réécrite et prend en compte les aspects les plus récents du système : langage de commandes Korn-Shell, environnement X-Window, édition de lien dynamique et norme POSIX.
Ce livre est le résultat de l'expérience pédagogique de son auteur tant à l'université Paris VII où Jean-Marie Rifflet est professeur, qu'en milieu industriel (chez Bull en particulier) où il enseigne la programmation dans un environnement UNIX. Ce livre est illustré de très nombreux exemples simples qui permettent l'assimilation rapide des notions présentées. Il doit ainsi faciliter la prise de contact des utilisateurs avec un environnement UNIX. Les utilisateurs plus expérimentés y trouveront également des compléments précieux aux manuels standard du système pour le développement d'applications plus pointues.Côte titre : Fs/8428 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8428 Fs/8428 livre Bibliothéque des sciences Français Disponible
DisponibleProgrammation Unix / Warren W Gay
PermalinkProgrammation Visual basic 5 / Matthias Franke
PermalinkProgrammer les bases de données avec Microsoft Access / Mc Belaid
PermalinkProgrammer en Java / Claude Delannoy
PermalinkProgrammez vos jeux D'action rapide sur trs 80 / Pascal Pellier
PermalinkProjets informatiques : S'approprier le guide pmbok pour réussir votre gestion de projet / Hervé Spanneut
PermalinkProtection des contenus des images médicales dans le Cloud par camouflage d’informations secrètes pour aide à la télémédecine / Soualmi ,Abdallah
PermalinkPermalinkPermalinkPermalinkPermalinkUn Protocole MAC Broadcast Receiver Initiated pour les Réseaux de Capteurs Sans Fil / Zerroug, Mounir
PermalinkUn protocole MAC initié par le récepteur Coopératif pour un réseau de capteurs sans fil / Helali ,Lahcen
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink