University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail d'une collection
|
Documents disponibles dans la collection



Titre : Introduction à Scilab Type de document : texte imprimé Auteurs : J-P. Chancelier ; E.M. Wright ; C. Gomez Editeur : Paris : Springer Année de publication : 2007 Collection : IRIS/Puech,Nicolas Importance : 1 vol. (264 p.) Présentation : ill. ISBN/ISSN/EAN : 13-978-2-287-25247-1 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Côte titre : Fs/9315 Introduction à Scilab [texte imprimé] / J-P. Chancelier ; E.M. Wright ; C. Gomez . - Paris : Springer, 2007 . - 1 vol. (264 p.) : ill.. - (IRIS/Puech,Nicolas) .
ISSN : 13-978-2-287-25247-1
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Côte titre : Fs/9315 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/9315 Fs/9315 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Optimisation combinatoire :Théorie et algorithmes Type de document : texte imprimé Auteurs : KORTE ,Bernhard ; VYGEN,Jens Editeur : Paris : Springer Année de publication : 2010 Collection : IRIS/Puech,Nicolas Importance : 1 vol. (663 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-287-99036-6 Langues : Français (fre) Catégories : Mathématique Mots-clés : Optimisation combinatoire
Algorithmes- MathématiquesIndex. décimale : 510 - Mathématique Résumé :
Cet ouvrage décrit de manière détaillée les résultats théoriques et les algorithmes efficaces de l'optimisation combinatoire. Il présente des démonstrations concises mais complètes de nombreux résultats dont certains n'avaient jamais été exposés auparavant. De la théorie des graphes à la programmation linéaire, des problèmes de mariage aux théories des matroïdes et de la complexité, le propos couvre l'ensemble des thématiques classiques et contemporaines de ce champ qui compte parmi les plus actifs des mathématiques discrètesNote de contenu :
Sommaire
Introduction
Graphes
Programmation linéaire
Algorithmes de programmation linéaire
Programmation en nombres entiers
Arbres couvrants et arborescences
Plus courts chemins
Flots dans les réseaux
Flots de coût minimum
Couplage maximum
Couplage avec poids
b-couplages et T-joints
Matroïdes
Généralisations des matroïdes
NP-complétude
Algorithmes d'approximation
Le problème du sac à dos
Le problème du bin-packing
Multiflots et chaînes arête-disjointes
Problèmes de conception de réseaux
Le problème du voyageur de commerce
Le problème de localisationCôte titre : Fs/6998-6999 Optimisation combinatoire :Théorie et algorithmes [texte imprimé] / KORTE ,Bernhard ; VYGEN,Jens . - Paris : Springer, 2010 . - 1 vol. (663 p.) ; 24 cm. - (IRIS/Puech,Nicolas) .
ISBN : 978-2-287-99036-6
Langues : Français (fre)
Catégories : Mathématique Mots-clés : Optimisation combinatoire
Algorithmes- MathématiquesIndex. décimale : 510 - Mathématique Résumé :
Cet ouvrage décrit de manière détaillée les résultats théoriques et les algorithmes efficaces de l'optimisation combinatoire. Il présente des démonstrations concises mais complètes de nombreux résultats dont certains n'avaient jamais été exposés auparavant. De la théorie des graphes à la programmation linéaire, des problèmes de mariage aux théories des matroïdes et de la complexité, le propos couvre l'ensemble des thématiques classiques et contemporaines de ce champ qui compte parmi les plus actifs des mathématiques discrètesNote de contenu :
Sommaire
Introduction
Graphes
Programmation linéaire
Algorithmes de programmation linéaire
Programmation en nombres entiers
Arbres couvrants et arborescences
Plus courts chemins
Flots dans les réseaux
Flots de coût minimum
Couplage maximum
Couplage avec poids
b-couplages et T-joints
Matroïdes
Généralisations des matroïdes
NP-complétude
Algorithmes d'approximation
Le problème du sac à dos
Le problème du bin-packing
Multiflots et chaînes arête-disjointes
Problèmes de conception de réseaux
Le problème du voyageur de commerce
Le problème de localisationCôte titre : Fs/6998-6999 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/6998 Fs/6998-6999 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6999 Fs/6998-6999 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Les Virus informatiques :Théorie, pratique et applications Type de document : texte imprimé Auteurs : Éric Filiol Mention d'édition : 2e éd. Editeur : Paris : Springer Année de publication : 2009 Collection : IRIS/Puech,Nicolas Importance : 1 vol. (570 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-287-98199-9 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Cet ouvrage est la deuxième édition du livre désormais incontournable d'Éric Filiol consacré aux virus informatiques (fondements théoriques, aspects algorithmiques et pratiques, et applications des virus). Il comporte trois chapitres entièrement nouveaux qui permettront au lecteur de découvrir les évolutions récentes de la virologie et de prendre connaissance de codes malveillants qui n'étaient pas décrits dans la précédente édition (virus de documents, botnets, propagation des vers et développements théoriques récents).
Le lecteur trouvera dans cet ouvrage un tableau clair et détaillé des différents types d'infections informatiques. Ce tableau est fondé sur une formalisation théorique au moyen de machines de Turing, d'automates auto-reproducteurs et de fonctions récursives. Il permettra d'apprécier les principaux enjeux de la protection et de la lutte antivirale. L'étude détaillée du code source de diverses familles représentatives de l'algorithmique virale facilitera aussi la compréhension des mécanismes fondamentaux mis en oeuvre par un virus ou un ver. Le langage C a été systématiquement utilisé dans les exemples afin de faciliter la compréhension des programmes étudiés.Note de contenu :
Sommaire
Les virus : genèse et théorie
Introduction
Les bases de la formalisation
La formalisation : F. Cohen et L. Adleman (1984-1989)
Résultats théoriques depuis Cohen (1989-2007)
Taxonomie, techniques et outils
La lutte antivirale
Les virus : pratique
Introduction
Les virus compagnons
Les vers
Les botnets
Les virus de documents
Les virus : applications
Introduction
Virus et applications
Les virus de BIOS
Cryptanalyse appliquée de systèmes de chiffrementCôte titre : Fs/9689-9692 Les Virus informatiques :Théorie, pratique et applications [texte imprimé] / Éric Filiol . - 2e éd. . - Paris : Springer, 2009 . - 1 vol. (570 p.) : ill. ; 24 cm. - (IRIS/Puech,Nicolas) .
ISBN : 978-2-287-98199-9
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique Résumé :
Cet ouvrage est la deuxième édition du livre désormais incontournable d'Éric Filiol consacré aux virus informatiques (fondements théoriques, aspects algorithmiques et pratiques, et applications des virus). Il comporte trois chapitres entièrement nouveaux qui permettront au lecteur de découvrir les évolutions récentes de la virologie et de prendre connaissance de codes malveillants qui n'étaient pas décrits dans la précédente édition (virus de documents, botnets, propagation des vers et développements théoriques récents).
Le lecteur trouvera dans cet ouvrage un tableau clair et détaillé des différents types d'infections informatiques. Ce tableau est fondé sur une formalisation théorique au moyen de machines de Turing, d'automates auto-reproducteurs et de fonctions récursives. Il permettra d'apprécier les principaux enjeux de la protection et de la lutte antivirale. L'étude détaillée du code source de diverses familles représentatives de l'algorithmique virale facilitera aussi la compréhension des mécanismes fondamentaux mis en oeuvre par un virus ou un ver. Le langage C a été systématiquement utilisé dans les exemples afin de faciliter la compréhension des programmes étudiés.Note de contenu :
Sommaire
Les virus : genèse et théorie
Introduction
Les bases de la formalisation
La formalisation : F. Cohen et L. Adleman (1984-1989)
Résultats théoriques depuis Cohen (1989-2007)
Taxonomie, techniques et outils
La lutte antivirale
Les virus : pratique
Introduction
Les virus compagnons
Les vers
Les botnets
Les virus de documents
Les virus : applications
Introduction
Virus et applications
Les virus de BIOS
Cryptanalyse appliquée de systèmes de chiffrementCôte titre : Fs/9689-9692 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/9689 Fs/9689-9692 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9690 Fs/9689-9692 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9691 Fs/9689-9692 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9692 Fs/9689-9692 livre Bibliothéque des sciences Français Disponible
Disponible