University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Titre : Transformation de Programmes : Colloque international sur la programmation Type de document : texte imprimé Auteurs : B Robnet ; LIPSCHUTZ,Seymour Mention d'édition : 3e éd. Editeur : Paris : Bordas Année de publication : 1978 Importance : 1 vol (426 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010355-2 Note générale : 978-2-04-010355-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Technique de transformation de programme
ProgrammationIndex. décimale : 005.1 - Programmation Note de contenu :
Sommaire
Environnement de la programmation
Sachems de Control et Synchronisation
Analyses formelles de systemes
Arbres et programmation
Ttransformations de programms
Types de donnees
Optimisation et validation
Verification et correction
Côte titre : Fs/8722 Transformation de Programmes : Colloque international sur la programmation [texte imprimé] / B Robnet ; LIPSCHUTZ,Seymour . - 3e éd. . - Paris : Bordas, 1978 . - 1 vol (426 p .) ; 24 cm.
ISBN : 978-2-04-010355-2
978-2-04-010355-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Technique de transformation de programme
ProgrammationIndex. décimale : 005.1 - Programmation Note de contenu :
Sommaire
Environnement de la programmation
Sachems de Control et Synchronisation
Analyses formelles de systemes
Arbres et programmation
Ttransformations de programms
Types de donnees
Optimisation et validation
Verification et correction
Côte titre : Fs/8722 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8722 Fs/8722 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Du transistor à l'ordinateur : une introduction à l'architecture des ordinateurs ; avec exercices, travaux pratiques et corrigés Type de document : texte imprimé Auteurs : Claude Timsit, Auteur Editeur : Paris : Hermann Année de publication : 2010 Importance : 1 vol. (273 p.) Présentation : ill., couv. ill. en coul. Format : 22 cm ISBN/ISSN/EAN : 978-2-7056-6972-0 Langues : Français (fre) Catégories : Informatique Mots-clés : Architecture des ordinateurs
Ordinateurs : ProgrammationIndex. décimale : 004.22 - Architecture des ordinateurs Résumé :
Comprendre le fonctionnement d'un ordinateur est le but de cet ouvrage. Il utilise une méthode intuitive et construite, entièrement nouvelle, bâtie autour de simulations réalisées sur tableur. Ces simulations sont complètement ouvertes et accessibles à tout néophyte sachant utiliser un tableur. Dans une première partie le lecteur est guidé de la loi d'Ohm et d'un modèle simplifié de transistor à la construction de portes logiques dont il simule le fonctionnement électronique sur tableur. Pour être compatible avec les cursus d'études, les représentations des nombres en binaire sont exposées. Enfin les différents blocs constitutifs de l'ordinateur sont décrits et simulés. La deuxième partie est consacrée à la construction d'une machine microprogrammée minimaliste qui évolue pas à pas. Elle vise à comprendre la nécessité de certaines instructions et de voir les implications des modes d'adressage dans l'exécution d'un programme. Un système d'entrée sortie est ajouté afin d'exécuter de petits programmes ludiques. Une méthodologie stricte permettant de traduire à la main un programme impératif simple (en C par exemple) est proposée.Note de contenu :
Sommaire
- Du transistor a la porte logique
- De la porte logique a la fonction logique
- Representation : nombres et chaines de caracteres
- Quelques fonctions logiques importantes
- La machine de von neuman
- Machine simple : chemin de donnees, unite de controle
- Programmes boucles et sous programmes
- Le langage d'assemblage et l'assembleur
- Entrees et sorties simples
- Pile logicielle : realisation et applicationsCôte titre : Fs/6437-6439,Fs/9681-9684 Du transistor à l'ordinateur : une introduction à l'architecture des ordinateurs ; avec exercices, travaux pratiques et corrigés [texte imprimé] / Claude Timsit, Auteur . - Paris : Hermann, 2010 . - 1 vol. (273 p.) : ill., couv. ill. en coul. ; 22 cm.
ISBN : 978-2-7056-6972-0
Langues : Français (fre)
Catégories : Informatique Mots-clés : Architecture des ordinateurs
Ordinateurs : ProgrammationIndex. décimale : 004.22 - Architecture des ordinateurs Résumé :
Comprendre le fonctionnement d'un ordinateur est le but de cet ouvrage. Il utilise une méthode intuitive et construite, entièrement nouvelle, bâtie autour de simulations réalisées sur tableur. Ces simulations sont complètement ouvertes et accessibles à tout néophyte sachant utiliser un tableur. Dans une première partie le lecteur est guidé de la loi d'Ohm et d'un modèle simplifié de transistor à la construction de portes logiques dont il simule le fonctionnement électronique sur tableur. Pour être compatible avec les cursus d'études, les représentations des nombres en binaire sont exposées. Enfin les différents blocs constitutifs de l'ordinateur sont décrits et simulés. La deuxième partie est consacrée à la construction d'une machine microprogrammée minimaliste qui évolue pas à pas. Elle vise à comprendre la nécessité de certaines instructions et de voir les implications des modes d'adressage dans l'exécution d'un programme. Un système d'entrée sortie est ajouté afin d'exécuter de petits programmes ludiques. Une méthodologie stricte permettant de traduire à la main un programme impératif simple (en C par exemple) est proposée.Note de contenu :
Sommaire
- Du transistor a la porte logique
- De la porte logique a la fonction logique
- Representation : nombres et chaines de caracteres
- Quelques fonctions logiques importantes
- La machine de von neuman
- Machine simple : chemin de donnees, unite de controle
- Programmes boucles et sous programmes
- Le langage d'assemblage et l'assembleur
- Entrees et sorties simples
- Pile logicielle : realisation et applicationsCôte titre : Fs/6437-6439,Fs/9681-9684 Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité Fs/6437 Fs/6437-6439 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6438 Fs/6437-6439 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6439 Fs/6437-6439 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9681 Fs/9681-9684 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9682 Fs/9681-9684 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9683 Fs/9681-9684 livre Bibliothéque des sciences Français Disponible
DisponibleFs/9684 Fs/9681-9684 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Transmissions et réseaux : Cours et exercices corrigés Type de document : texte imprimé Auteurs : Stéphane Lohier, Auteur ; Dominique Présent, Auteur Mention d'édition : 5e éd. Editeur : Paris : Dunod Année de publication : 2010 Collection : Sciences sup Importance : 1 vol. (304 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-054574-2 Note générale : 978-2-10-054574-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Réseaux d'ordinateurs
Transmission numérique
Systèmes de télécommunications : Informatique
Signal, Théorie du (télécommunications)
Modems :Manuels d'enseignement supérieurIndex. décimale : 621.3 Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé :
Cet ouvrage s’adresse aux étudiants de l’enseignement supérieur technologique (BTS IRIS et BTS informatique de gestion option réseaux, IUT d’informatique, IUT de génie électrique et informatique industrielle, IUT services et réseaux de communication, IUT génie des télécommunications et des réseaux, licences professionnelles, IUP), ainsi qu’aux auditeurs de la formation continue.
Il expose les concepts et techniques relatifs au transfert des informations entre les éléments d’un réseau (serveurs, stations, hubs, switchs, routeurs…) à l’aide de différents protocoles (TCP/IP, PP, SMTP, FTP, HTP, DNS…).
Les architectures des principaux réseaux locaux (Ethernet, VLAN, WiFi 802.11, MIMO , Bluetooth…) et réseaux longue distance (RTC , RNIS , ADSL , ATM…) sont présentées et illustrées par de nombreuses études de cas.
Pour chaque chapitre, des QCM et des exercices corrigés sont proposés.
Ce livre traite de l’essentiel de ce qu’il faut connaître aujourd’hui sur le sujet et est présenté de manière à constituer un véritable manuel d’autoformation.Note de contenu :
Sommaire :
P.1. Avant-propos
P.5. Chapitre 1, Concepts de base
P.15. Chapitre 2, Description d'une liaison
P.33. Chapitre 3, Transmission asynchrone et synchrone
P.53. Chapitre 4, Transmission du signal numérique
P.85. Chapitre 5, Architecture des réseaux
P.105. Chapitre 6, Les réseaux locaux
P.157. Chapitre 7, Interconnexion de réseaux
P.203. Les réseaux d'opérateurs
P.227. Chapitre 9, Le réseau Internet
P.273. Corrigés des QCM et des exercices
P.295. Annexes : protocoles et couches OSI;
P.299. Index
Côte titre : Fs/8028-8035,Fs/6820-6825,Fs/13262-13263 Transmissions et réseaux : Cours et exercices corrigés [texte imprimé] / Stéphane Lohier, Auteur ; Dominique Présent, Auteur . - 5e éd. . - Paris : Dunod, 2010 . - 1 vol. (304 p.) : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-054574-2
978-2-10-054574-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Réseaux d'ordinateurs
Transmission numérique
Systèmes de télécommunications : Informatique
Signal, Théorie du (télécommunications)
Modems :Manuels d'enseignement supérieurIndex. décimale : 621.3 Éclairage, électronique, électrotechnique, génie informatique, optique appliquée Résumé :
Cet ouvrage s’adresse aux étudiants de l’enseignement supérieur technologique (BTS IRIS et BTS informatique de gestion option réseaux, IUT d’informatique, IUT de génie électrique et informatique industrielle, IUT services et réseaux de communication, IUT génie des télécommunications et des réseaux, licences professionnelles, IUP), ainsi qu’aux auditeurs de la formation continue.
Il expose les concepts et techniques relatifs au transfert des informations entre les éléments d’un réseau (serveurs, stations, hubs, switchs, routeurs…) à l’aide de différents protocoles (TCP/IP, PP, SMTP, FTP, HTP, DNS…).
Les architectures des principaux réseaux locaux (Ethernet, VLAN, WiFi 802.11, MIMO , Bluetooth…) et réseaux longue distance (RTC , RNIS , ADSL , ATM…) sont présentées et illustrées par de nombreuses études de cas.
Pour chaque chapitre, des QCM et des exercices corrigés sont proposés.
Ce livre traite de l’essentiel de ce qu’il faut connaître aujourd’hui sur le sujet et est présenté de manière à constituer un véritable manuel d’autoformation.Note de contenu :
Sommaire :
P.1. Avant-propos
P.5. Chapitre 1, Concepts de base
P.15. Chapitre 2, Description d'une liaison
P.33. Chapitre 3, Transmission asynchrone et synchrone
P.53. Chapitre 4, Transmission du signal numérique
P.85. Chapitre 5, Architecture des réseaux
P.105. Chapitre 6, Les réseaux locaux
P.157. Chapitre 7, Interconnexion de réseaux
P.203. Les réseaux d'opérateurs
P.227. Chapitre 9, Le réseau Internet
P.273. Corrigés des QCM et des exercices
P.295. Annexes : protocoles et couches OSI;
P.299. Index
Côte titre : Fs/8028-8035,Fs/6820-6825,Fs/13262-13263 Exemplaires (16)
Code-barres Cote Support Localisation Section Disponibilité Fs/13262 Fs/13262-13263 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13263 Fs/13262-13263 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6825 Fs/6820-6825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6824 Fs/6820-6825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6823 Fs/6820-6825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6822 Fs/6820-6825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6821 Fs/6820-6825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/6820 Fs/6820-6825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8028 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8029 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8030 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8031 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8032 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8033 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8034 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
DisponibleFs/8035 Fs/8028-8035 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : TSE 2008 : Terminal Server Edition Type de document : texte imprimé Auteurs : Hervann Allegre, Auteur Année de publication : 2008 Importance : 1 vol. (354 p.) Présentation : ill., couv. ill.en coul. Format : 21 cm ISBN/ISSN/EAN : 978-2-7460-4258-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Ordinateurs de réseau
Architecture des réseaux d'ordinateursIndex. décimale : 004.65 Architecture des réseaux Résumé :
Ce livre sur TSE 2008 s'adresse à des responsables informatiques sur le point de s'engager dans la mise en uvre d'une solution clients légers, aussi bien qu'à des informaticiens confrontés à l'installation et à l'administration de cette architecture en entreprise. Désormais appelés "Services de Virtualisation de Présentation", les Terminal Services de Windows 2008 feront partie intégrante de toutes les nouvelles architectures des systèmes d'informations des entreprises, de la simple PME aux plus grands groupes. Les auteurs ont réussi à synthétiser les possibilités réellement apportées par les architectures TSE, afin que le lecteur puisse s'engager dans ce type de projet en toute connaissance de cause et maîtriser sa mise en place. Les premiers chapitres détaillent les architectures clients légers en entreprise (concept, principes technologiques, bénéfices pour l'entreprise...) ainsi que les particularités de la solution TSE (composants de la solution, système de licences...). Les chapitres suivants décrivent l'environnement du couple TSE/RDP sous Windows Server 2008 ainsi que les méthodologies d'implémentation d'une architecture TSE (choix de l'architecture réseau, calibrage des serveurs...).Note de contenu :
Sommaire
Les architectures TSE en entreprise.
Tour d'horizon de Windows 2008.
Concepts avancés de Terminal Server.
Implémenter une architecture TSE 2008Côte titre : Fs/4838-4841 TSE 2008 : Terminal Server Edition [texte imprimé] / Hervann Allegre, Auteur . - 2008 . - 1 vol. (354 p.) : ill., couv. ill.en coul. ; 21 cm.
ISBN : 978-2-7460-4258-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Ordinateurs de réseau
Architecture des réseaux d'ordinateursIndex. décimale : 004.65 Architecture des réseaux Résumé :
Ce livre sur TSE 2008 s'adresse à des responsables informatiques sur le point de s'engager dans la mise en uvre d'une solution clients légers, aussi bien qu'à des informaticiens confrontés à l'installation et à l'administration de cette architecture en entreprise. Désormais appelés "Services de Virtualisation de Présentation", les Terminal Services de Windows 2008 feront partie intégrante de toutes les nouvelles architectures des systèmes d'informations des entreprises, de la simple PME aux plus grands groupes. Les auteurs ont réussi à synthétiser les possibilités réellement apportées par les architectures TSE, afin que le lecteur puisse s'engager dans ce type de projet en toute connaissance de cause et maîtriser sa mise en place. Les premiers chapitres détaillent les architectures clients légers en entreprise (concept, principes technologiques, bénéfices pour l'entreprise...) ainsi que les particularités de la solution TSE (composants de la solution, système de licences...). Les chapitres suivants décrivent l'environnement du couple TSE/RDP sous Windows Server 2008 ainsi que les méthodologies d'implémentation d'une architecture TSE (choix de l'architecture réseau, calibrage des serveurs...).Note de contenu :
Sommaire
Les architectures TSE en entreprise.
Tour d'horizon de Windows 2008.
Concepts avancés de Terminal Server.
Implémenter une architecture TSE 2008Côte titre : Fs/4838-4841 Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité Fs/4838 Fs/4838-4841 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4839 Fs/4838-4841 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4840 Fs/4838-4841 livre Bibliothéque des sciences Français Disponible
DisponibleFs/4841 Fs/4838-4841 livre Bibliothéque des sciences Français Disponible
DisponibleLe Turbo Pascal en classes préparatoires, [4]. Applications mathématiques en turbo-pascal / Albert Levine
Titre de série : Le Turbo Pascal en classes préparatoires, [4] Titre : Applications mathématiques en turbo-pascal : exercices corrigés Type de document : texte imprimé Auteurs : Albert Levine, Auteur Editeur : Paris : Marketing Année de publication : 1988 Importance : 1 vol. (191 p.) Présentation : graph. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-8850-3 Langues : Français (fre) Catégories : Informatique
MathématiqueMots-clés : PASCAL (langage de programmation)
Mathématiques : Informatique : Problèmes et exercices
Turbo Pascal (logiciel) : Problèmes et exercicesIndex. décimale : 005.1 Programmation Résumé :
L'informatique est apparue dans nos classes non pas pour former des informaticiens mais des utilisateurs d'un outil puissant et performant : l'ordinateur. Pour pouvoir utiliser cet outil dans de bonnes conditions il faut le maîtriser, en apprendre les qualités, les possibilités mais aussi les limites. Il est nécessaire aussi d'aborder certains problèmes sous des angles nouveaux, de changer certains de nos modes de raisonnement, de s'ouvrir à une démarche intellectuelle originale.
Le but de cet ouvrage, ainsi que celui des quatre autres de la série Le Turbo pascal en classes préparatoires, est d'aider les élèves (et les professeurs) à acquérir cette maîtrise.Côte titre : Fs/8158 Le Turbo Pascal en classes préparatoires, [4]. Applications mathématiques en turbo-pascal : exercices corrigés [texte imprimé] / Albert Levine, Auteur . - Paris : Marketing, 1988 . - 1 vol. (191 p.) : graph. ; 26 cm.
ISBN : 978-2-7298-8850-3
Langues : Français (fre)
Catégories : Informatique
MathématiqueMots-clés : PASCAL (langage de programmation)
Mathématiques : Informatique : Problèmes et exercices
Turbo Pascal (logiciel) : Problèmes et exercicesIndex. décimale : 005.1 Programmation Résumé :
L'informatique est apparue dans nos classes non pas pour former des informaticiens mais des utilisateurs d'un outil puissant et performant : l'ordinateur. Pour pouvoir utiliser cet outil dans de bonnes conditions il faut le maîtriser, en apprendre les qualités, les possibilités mais aussi les limites. Il est nécessaire aussi d'aborder certains problèmes sous des angles nouveaux, de changer certains de nos modes de raisonnement, de s'ouvrir à une démarche intellectuelle originale.
Le but de cet ouvrage, ainsi que celui des quatre autres de la série Le Turbo pascal en classes préparatoires, est d'aider les élèves (et les professeurs) à acquérir cette maîtrise.Côte titre : Fs/8158 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8158 Fs/8158 livre Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkPermalinkPermalinkPermalinkUbuntu Linux : création, configuration et gestion d'un réseau local d'entreprise (BTS, DUT informatique) / Sébastien Bobillier
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink