University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
VHDL
Titre : VHDL : langage, modélisation, synthèse Type de document : texte imprimé Mention d'édition : 2e éd. rev. et augm. Editeur : Presses polytechniques et universitaires romandes Année de publication : 1998 Autre Editeur : [Paris] : diff. Tec & doc-Lavoisier Collection : Collection Informatique (Lausanne) Importance : XV-568 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-361-1 Prix : 439 F Note générale : VHDL = Very high speed integrated circuit hardware description
Bibliogr. p. 557-563. Glossaire. IndexLangues : Français (fre) Catégories : Informatique Mots-clés : VHDL (langage de description de matériel informatique)
Circuits intégrés numériques : Conception et construction
Circuits électroniques
Circuits intégrés
Modèles mathématiquesIndex. décimale : 004 Informatique Résumé :
VHDL est un langage de description de systèmes matériels (cartes électroniques, circuits intégrés, circuits programmables, etc.) mondialement utilisé. Le nombre d'outils construits autour de VHDL est impressionnant : simulateurs, outils de synthèse, outils de preuve, outils de spécification graphique... Le langage VHDL est aujourd'hui enseigné dans presque toutes les écoles et universités traitant du domaine de la conception électronique.
Cet ouvrage a pour ambition d'être un cours complet destiné à l'ingénieur, à l'enseignant et à l'étudiant. Au carrefour de l'électronique et de l'informatique, cette édition revue et augmentée (VHDL'93, synthèse) du premier volume offre trois points d'entrée complémentaires. Le premier présente les différents concepts du langage en y incluant les récentes évolutions liées à la nouvelle normalisation de 1993. Le second point d'entrée se consacre à la modélisation à l'aide d'exemples progressifs, nombreux et largement commentés. Le troisième point s'intéresse au domaine essentiel qu'est la synthèse logique. Le but est de donner, de façon concise et illustrée par de nombreuses études de cas, la sémantique d'interprétation du langage VHDL en vue de la production effective de composants électroniques.Note de contenu :
Table des matières
I - LE LANGAGE
. Introduction
. Tour du propriétaire
. Premiers éléments du langage
. Unités de conception
. Sous-programmes
. Types de données
. Déclarations et spécifications
. Instructions séquentielles
. Instructions concurrentes
. Généricité
. Attributs
. Paquetages standard
. Compilation, élaboration, exécution, exploitation
. Variables partagées et autres regrets
. Pièges
II - LA MODELISATION
. Registre et additionneur
. Circuits linéaires
. Automate d'états finis - contrôleur de trafic
. Vérification de temps de set-up, de hold
. Piles lifo et fifo
. Unité arithmétique et logique
. Mémoire vive - ram
. Mémoire morte - rom
. Réseaux de communication
. Réseau neuronique
. Contrôle moteur
. Carte microcalculateur
. Générateur de séquences de stimuli
. Sortie de courbes
. Paquetage sur type bit étendu - idée STD LOGIC 1164
III - LA GRAMMAIRE
. Qu'est-ce que la synthèse ?
. Styles de description
. Circuits combinatoires
. Circuits synchrones
. Paquetages arithmétiques
IV - LES ANNEXESVHDL : langage, modélisation, synthèse [texte imprimé] . - 2e éd. rev. et augm. . - [S.l.] : Presses polytechniques et universitaires romandes : [Paris] : diff. Tec & doc-Lavoisier, 1998 . - XV-568 p. : ill., couv. ill. ; 24 cm. - (Collection Informatique (Lausanne)) .
ISBN : 978-2-88074-361-1 : 439 F
VHDL = Very high speed integrated circuit hardware description
Bibliogr. p. 557-563. Glossaire. Index
Langues : Français (fre)
Catégories : Informatique Mots-clés : VHDL (langage de description de matériel informatique)
Circuits intégrés numériques : Conception et construction
Circuits électroniques
Circuits intégrés
Modèles mathématiquesIndex. décimale : 004 Informatique Résumé :
VHDL est un langage de description de systèmes matériels (cartes électroniques, circuits intégrés, circuits programmables, etc.) mondialement utilisé. Le nombre d'outils construits autour de VHDL est impressionnant : simulateurs, outils de synthèse, outils de preuve, outils de spécification graphique... Le langage VHDL est aujourd'hui enseigné dans presque toutes les écoles et universités traitant du domaine de la conception électronique.
Cet ouvrage a pour ambition d'être un cours complet destiné à l'ingénieur, à l'enseignant et à l'étudiant. Au carrefour de l'électronique et de l'informatique, cette édition revue et augmentée (VHDL'93, synthèse) du premier volume offre trois points d'entrée complémentaires. Le premier présente les différents concepts du langage en y incluant les récentes évolutions liées à la nouvelle normalisation de 1993. Le second point d'entrée se consacre à la modélisation à l'aide d'exemples progressifs, nombreux et largement commentés. Le troisième point s'intéresse au domaine essentiel qu'est la synthèse logique. Le but est de donner, de façon concise et illustrée par de nombreuses études de cas, la sémantique d'interprétation du langage VHDL en vue de la production effective de composants électroniques.Note de contenu :
Table des matières
I - LE LANGAGE
. Introduction
. Tour du propriétaire
. Premiers éléments du langage
. Unités de conception
. Sous-programmes
. Types de données
. Déclarations et spécifications
. Instructions séquentielles
. Instructions concurrentes
. Généricité
. Attributs
. Paquetages standard
. Compilation, élaboration, exécution, exploitation
. Variables partagées et autres regrets
. Pièges
II - LA MODELISATION
. Registre et additionneur
. Circuits linéaires
. Automate d'états finis - contrôleur de trafic
. Vérification de temps de set-up, de hold
. Piles lifo et fifo
. Unité arithmétique et logique
. Mémoire vive - ram
. Mémoire morte - rom
. Réseaux de communication
. Réseau neuronique
. Contrôle moteur
. Carte microcalculateur
. Générateur de séquences de stimuli
. Sortie de courbes
. Paquetage sur type bit étendu - idée STD LOGIC 1164
III - LA GRAMMAIRE
. Qu'est-ce que la synthèse ?
. Styles de description
. Circuits combinatoires
. Circuits synchrones
. Paquetages arithmétiques
IV - LES ANNEXESExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité Fs/1191 Fs/1191-1192 Livre Bibliothéque des sciences Français Disponible
DisponibleFs/1192 Fs/1191-1192 Livre Bibliothéque des sciences Français Disponible
DisponibleVideo codec design / Iain E. G. Richardson
Titre : Video codec design : developing image and video compression systems / Type de document : texte imprimé Auteurs : Iain E. G. Richardson Editeur : Chichester : Wiley Année de publication : 2002 Importance : 1 vol (303 p.) Format : 26 cm ISBN/ISSN/EAN : 978-0-471-48553-7 Note générale : 978-0-471-48553-7 Langues : Anglais (eng) Langues originales : Anglais (eng) Catégories : Informatique Mots-clés : Informatique:Video codec design Index. décimale : 621.3 Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé :
Le codage de compression vidéo est la technologie qui sous-tend une nouvelle vague d'applications de communication. Du streaming vidéo sur Internet à la diffusion de la télévision numérique et du cinéma numérique, le codec vidéo est un élément clé pour une foule de nouvelles applications et services multimédias. Video Codec Design vise à démystifier le sujet du codage vidéo et à présenter une approche pratique, basée sur le design, dans ce domaine émergent.
Avec:
Conseils sur la conception pratique et la mise en œuvre de la technologie de codage vidéo.
Explication des principales normes de codage vidéo, y compris MPEG-2, MPEG-4, H.263 et H.26L.
Couverture détaillée des principales techniques de codage vidéo et des algorithmes de base.
Examen des problèmes de conception critiques, y compris la transmission, la qualité du service et les plates-formes de traitement.
Une mine d'illustrations et d'exemples pratiques, y compris des comparaisons quantitatives d'alternatives de conception.
Video Codec Design fournit aux ingénieurs de communication, aux concepteurs de systèmes, aux chercheurs et aux responsables techniques un manuel essentiel sur la technologie de compression d'image et de vidéo. La présentation claire et l'accent mis sur des exemples concrets font de ce livre un excellent outil d'enseignement pour les instructeurs en informatique et en ingénierie électronique.Note de contenu :
Sommaire
Introduction
Digital video
Image and video compression compression fundamentals
Video coding standards : JPEG and MPEG
Video coding standards: H.261;H.263and H.26L
Motion estimation and compensation
Transform coding
Pre-and post- processing
Rate; distortion and complexity
Transmission of coded video
Platforms
Video codec design
Future developments
Côte titre : Fs/19847 Video codec design : developing image and video compression systems / [texte imprimé] / Iain E. G. Richardson . - Chichester : Wiley, 2002 . - 1 vol (303 p.) ; 26 cm.
ISBN : 978-0-471-48553-7
978-0-471-48553-7
Langues : Anglais (eng) Langues originales : Anglais (eng)
Catégories : Informatique Mots-clés : Informatique:Video codec design Index. décimale : 621.3 Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé :
Le codage de compression vidéo est la technologie qui sous-tend une nouvelle vague d'applications de communication. Du streaming vidéo sur Internet à la diffusion de la télévision numérique et du cinéma numérique, le codec vidéo est un élément clé pour une foule de nouvelles applications et services multimédias. Video Codec Design vise à démystifier le sujet du codage vidéo et à présenter une approche pratique, basée sur le design, dans ce domaine émergent.
Avec:
Conseils sur la conception pratique et la mise en œuvre de la technologie de codage vidéo.
Explication des principales normes de codage vidéo, y compris MPEG-2, MPEG-4, H.263 et H.26L.
Couverture détaillée des principales techniques de codage vidéo et des algorithmes de base.
Examen des problèmes de conception critiques, y compris la transmission, la qualité du service et les plates-formes de traitement.
Une mine d'illustrations et d'exemples pratiques, y compris des comparaisons quantitatives d'alternatives de conception.
Video Codec Design fournit aux ingénieurs de communication, aux concepteurs de systèmes, aux chercheurs et aux responsables techniques un manuel essentiel sur la technologie de compression d'image et de vidéo. La présentation claire et l'accent mis sur des exemples concrets font de ce livre un excellent outil d'enseignement pour les instructeurs en informatique et en ingénierie électronique.Note de contenu :
Sommaire
Introduction
Digital video
Image and video compression compression fundamentals
Video coding standards : JPEG and MPEG
Video coding standards: H.261;H.263and H.26L
Motion estimation and compensation
Transform coding
Pre-and post- processing
Rate; distortion and complexity
Transmission of coded video
Platforms
Video codec design
Future developments
Côte titre : Fs/19847 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19847 Fs/19847 Livre Bibliothéque des sciences Anglais Disponible
DisponibleLes Virus informatiques / Dominique Laloux
Titre : Les Virus informatiques Type de document : texte imprimé Auteurs : Dominique Laloux, Auteur Editeur : Alleur : Marabout Année de publication : 1989 Autre Editeur : [Paris] : diff. Hachette Collection : Marabout service, ISSN 0771-3436 num. 906 Importance : 1 vol (188 p.) Présentation : ill., couv. ill. en coul Format : 18 cm ISBN/ISSN/EAN : 978-2-501-01253-9 Note générale : 2-501-01253-4 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique:Les Virus Index. décimale : 004 - Informatique Résumé :
Un virus est un petit bout de programme pirate qui empêche l'ordinateur de fonctionner normalement.
Les virus informatiques se transmettent lorsque l'utilisateur charge dans son ordinateur un programme déjà contaminé. Lui-même, s'il ne prend pas certaines précautions, transmettra ce virus à un autre utilisateur.
Ce volume fait le point sur tous les virus actuellement connus dans le monde et qui sévissent sur PC, Macintosh, Atari ou Amiga.
Ecrit à la manière d'une enquête policière (dans laquelle le coupable est le virus), ce volume explique à l'utilisateur comment dépister les virus, comment s'en protéger et, le cas échéant, comment les détruire.
Côte titre : Fs/8501 Les Virus informatiques [texte imprimé] / Dominique Laloux, Auteur . - Alleur : Marabout : [Paris] : diff. Hachette, 1989 . - 1 vol (188 p.) : ill., couv. ill. en coul ; 18 cm. - (Marabout service, ISSN 0771-3436; 906) .
ISBN : 978-2-501-01253-9
2-501-01253-4
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique:Les Virus Index. décimale : 004 - Informatique Résumé :
Un virus est un petit bout de programme pirate qui empêche l'ordinateur de fonctionner normalement.
Les virus informatiques se transmettent lorsque l'utilisateur charge dans son ordinateur un programme déjà contaminé. Lui-même, s'il ne prend pas certaines précautions, transmettra ce virus à un autre utilisateur.
Ce volume fait le point sur tous les virus actuellement connus dans le monde et qui sévissent sur PC, Macintosh, Atari ou Amiga.
Ecrit à la manière d'une enquête policière (dans laquelle le coupable est le virus), ce volume explique à l'utilisateur comment dépister les virus, comment s'en protéger et, le cas échéant, comment les détruire.
Côte titre : Fs/8501 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8501 Fs/8501 livre Bibliothéque des sciences Français Disponible
DisponibleLes Virus informatiques :Théorie, pratique et applications / Éric Filiol
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
DisponibleVisual basic 2005 / Nilles,Gilles
Titre : Visual basic 2005 Type de document : texte imprimé Auteurs : Nilles,Gilles Editeur : Paris : Micro-application Année de publication : 2007 Collection : Référence Importance : 1 vol (1412 p .) Format : 24 cm. ISBN/ISSN/EAN : 978-2-7429-8492-3 Note générale : 978-2-7429-8492-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Visual basic (langage)
Programmation orienté objetIndex. décimale : 004 - Informatique Résumé :
Intégré dans la suite Visual Studio 2005 reposant sur la plate-forme .NET de Microsoft, le langage Visual Basic 2005 autorise le développement d'applications Windows ou Web avec un degré de productivité sans précédent. S'adressant aussi bien aux néophytes en .NET qu'aux utilisateurs expérimentés, cet ouvrage présente toutes les étapes de la programmation avec Visual Basic 2005. Depuis l'apprentissage des notions de base, en passant par la programmation orientée objet, tous les éléments relatifs à ce langage sont décrits à travers des ateliers pratiques, faisant de cet ouvrage une référence incontournable pour la création et le déploiement d'applications professionnelles.
Découvrez
L'architecture et les services du Framework .NET
L'environnement de Microsoft Visual Studio 2005
Les applications ASP .NET
Les structures de données
Le débogage et la gestion des exceptions
La programmation orientée objet
L'accès aux données avec ADO .NET
Le langage XML et ses utilisations
Mettez en pratique
Concevez une interface SDI et MDI avec les Windows Forms
Créez et déployez vos bibliothèques de classes DLL
Mettez en oeuvre les Web Forms avec ASP .NET
Imprimez des états avec Crystal Report
Développez des applications internationales
Tirez parti du multi-threading
Créez des services Web
Exploitez l'interopérabilité
Développez des applications distribuées
Déployez vos applicationsNote de contenu :
Sommaire
Pourquoi adopter la nouvelle plate-forme NET
Le premier programme
Un exemple d'application simple
Le langage Visual Basic 8/2005
Les structures de données
Les classes de base ?
Le débogage et les exceptions
La programmation orientée objet
Les bibliothèques de classes
Les windows Forms
L'accès aux données avec ADO/NET
Le DataSet à la loupe
Créer une application ASP/NET
Les contrôles serveurs
La gestion de l'état
Développer une application web ?
Configurer et personnaliser une application ASP/NET
Aller plus loin avec les ASP/NET
La programmation système
Le déploiement
Les applications distribuées (fichier PDF sur le CD-ROM)Côte titre : Fs/8761 Visual basic 2005 [texte imprimé] / Nilles,Gilles . - Paris : Micro-application, 2007 . - 1 vol (1412 p .) ; 24 cm.. - (Référence) .
ISBN : 978-2-7429-8492-3
978-2-7429-8492-3
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Visual basic (langage)
Programmation orienté objetIndex. décimale : 004 - Informatique Résumé :
Intégré dans la suite Visual Studio 2005 reposant sur la plate-forme .NET de Microsoft, le langage Visual Basic 2005 autorise le développement d'applications Windows ou Web avec un degré de productivité sans précédent. S'adressant aussi bien aux néophytes en .NET qu'aux utilisateurs expérimentés, cet ouvrage présente toutes les étapes de la programmation avec Visual Basic 2005. Depuis l'apprentissage des notions de base, en passant par la programmation orientée objet, tous les éléments relatifs à ce langage sont décrits à travers des ateliers pratiques, faisant de cet ouvrage une référence incontournable pour la création et le déploiement d'applications professionnelles.
Découvrez
L'architecture et les services du Framework .NET
L'environnement de Microsoft Visual Studio 2005
Les applications ASP .NET
Les structures de données
Le débogage et la gestion des exceptions
La programmation orientée objet
L'accès aux données avec ADO .NET
Le langage XML et ses utilisations
Mettez en pratique
Concevez une interface SDI et MDI avec les Windows Forms
Créez et déployez vos bibliothèques de classes DLL
Mettez en oeuvre les Web Forms avec ASP .NET
Imprimez des états avec Crystal Report
Développez des applications internationales
Tirez parti du multi-threading
Créez des services Web
Exploitez l'interopérabilité
Développez des applications distribuées
Déployez vos applicationsNote de contenu :
Sommaire
Pourquoi adopter la nouvelle plate-forme NET
Le premier programme
Un exemple d'application simple
Le langage Visual Basic 8/2005
Les structures de données
Les classes de base ?
Le débogage et les exceptions
La programmation orientée objet
Les bibliothèques de classes
Les windows Forms
L'accès aux données avec ADO/NET
Le DataSet à la loupe
Créer une application ASP/NET
Les contrôles serveurs
La gestion de l'état
Développer une application web ?
Configurer et personnaliser une application ASP/NET
Aller plus loin avec les ASP/NET
La programmation système
Le déploiement
Les applications distribuées (fichier PDF sur le CD-ROM)Côte titre : Fs/8761 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8761 Fs/8761 livre Bibliothéque des sciences Français Disponible
DisponibleVisual basic 2005 VB.Net / Thierry Grossaard
PermalinkVisual basic 4 / Michael Regelski
PermalinkVisual Basic 6 / Gérard Frantz
PermalinkVisual Basic .net:En 21 jours / Duncan Mackenzle
PermalinkVisual Basic .NET / Mansfied,Richard
PermalinkVisual C++ 2 pour les nuls / Michael Hyman
PermalinkVisual C++6 / Ivor Horton
PermalinkVisual C++ / Paul Yao
PermalinkVisual knowledge modeling for semantic web technologies / Gilbert Paquette
PermalinkVisualizing Information Using Svg And X3D / Vladimir Geroimenko
Permalink