Architecture de l'ordinateur : Portes logiques, circuits combinatoires, arithmétique binaire, circuits séquentiels et mémoires. Exemple d'architecture / Robert STRANDH

Titre : Architecture de l'ordinateur : Portes logiques, circuits combinatoires, arithmétique binaire, circuits séquentiels et mémoires. Exemple d'architecture Type de document : texte imprimé Auteurs : Robert STRANDH ; Irène DURAND Editeur : Dunod Année de publication : 2005 Collection : Sciences Sup. Importance : 209 p. ISBN/ISSN/EAN : 978-2-10-049214-5 Note générale : Table des matières Introduction Annexes Index Catégories : Arithmétique Arithmétique interne des ordinateurs Arithmétique interne des ordinateurs:Problèmes et exercices Ordinateurs Ordinateurs:Mémoires Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : NOTIONS DE BASES Notions préalables Portes Circuits combinatoires Expressions logiques Circuits combinatoires classiques Arithmétique binaire Circuits pour l'arithmétique binaire Bascules et bistables Circuits séquentiels Circuits séquentiels classiques Logique à trois états Mémoires EXEMPLE D'ARCHITECTURE Elements de base Le premier ordinateur Extension du premier ordinateur Entrées/sorties et interruptions SUJETS AVANCES Mémoire cache Multiprogrammation Mémoire virtuelle ANNEXE Le modèle de programmation Solutions des exercices

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006291	004.2 STR	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Architecture et technologie des ordinateurs / Paolo ZANELLA

Titre : Architecture et technologie des ordinateurs Type de document : texte imprimé Auteurs : Paolo ZANELLA ; Yves LIGIER Mention d'édition : Deuxième édition Editeur : Dunod Année de publication : 1993 Importance : 425 p. ISBN/ISSN/EAN : 978-2-10-001740-9 Note générale : Ill., schémas. Préface de la deuxième édition. Table des matières. Introduction. Ouvrages recommandés. Glossaire. Index. Catégories : Ordinateurs Ordinateurs:Architecture Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Histoire de l'ordinateur. Présentation générale. Représentation des informations. Codes détecteurs et correcteurs d'erreurs. Circuits logiques. Technologies des composants électronique. Mémoires. Unité centrale de traitement. Superordinateurs et microprocesseurs. Entrées et sorties. Téléinformatique. Langage d'assemblage et programmation. Développement de programmes. Structures de données. Systèmes d'exploitation.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000098	004.2 ZAN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Architecture et technologie des ordinateurs : cours et exercices résolus / Paolo ZANELLA

Titre : Architecture et technologie des ordinateurs : cours et exercices résolus Type de document : texte imprimé Auteurs : Paolo ZANELLA ; Yves LIGIER Mention d'édition : 3e éd. Editeur : Dunod Année de publication : 1998 Importance : 495 p. ISBN/ISSN/EAN : 978-2-10-003801-5 Note générale : Table ds matières Avant-propos Ouvrages recommandés Glossaire Catégories : Ordinateurs Ordinateurs:Architecture Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Histoire de l'ordinateur Présentation générale Représentation interne des informations Encodage de l'information Circuits logiques Composants électroniques Mémoires Unité centrale de traitement Superordinateurs et microprocesseurs Entrées/sorties Téléinformatique Systèmes d'exploitation Assembleur Développement de programmes Structures de données Multimédia Internet Exercices

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001824	004.2 ZAN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00001825	004.2 ZAN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Guide de bonnes pratiques pour les administrateurs systèmes et réseaux / Olivier BRAND-FOISSAC

Titre : Guide de bonnes pratiques pour les administrateurs systèmes et réseaux Type de document : texte imprimé Auteurs : Olivier BRAND-FOISSAC, Auteur ; Laurette CHARDON, Auteur ; Marie DAVID, Auteur ; Maurice LIBES, Auteur ; Gilles REQUILE, Auteur ; Alain RIVET, Auteur Editeur : CNRS. Mission Ressources et Compétences Technologiques (MRCT) Année de publication : 2012 Importance : 130 p. ISBN/ISSN/EAN : 978-2-918701-07-1 Note générale : Les auteurs Sommaire Résumé Introduction Catégories : Administrateurs systèmes (informatique) Gestion des données (systèmes d'information) Réseaux d'ordinateurs Systèmes informatiques Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : La fourniture de services informatiques La gestion de la sécurité Les aspects juridiques du métier d'ASR Les contextes personnel et relationnel Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00013160	004.2 BRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Handbook of Model Checking / Edmund M. CLARKE

Titre : Handbook of Model Checking Type de document : texte imprimé Auteurs : Edmund M. CLARKE, Directeur de publication ; Thomas A. HENZINGER, Directeur de publication ; Helmut VEITH, Directeur de publication ; Roderick BLOEM, Directeur de publication Editeur : Springer Nature Switzerland Année de publication : 2018 Importance : 1210 p. ISBN/ISSN/EAN : 978-3-319-10574-1 Note générale : Foreword Preface Acknowledgements Contributors Contents Index Catégories : Logiciels:Vérification Vérification de modèles (informatique) Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction to Model Checking Temporal Logic and Fair Discrete Systems Modeling for Verification Automata Theory and Model Checking Explicit-State Model Checking Partial-Order Reduction Binary Decision Diagrams BDD-Based Symbolic Model Checking Propositional SAT Solving SAT-Based Model Checking Satisfiability Modulo Theories Compositional Reasonning Abstraction and Abstraction Refinement Interpolation and Model Checking Predicate Abstraction for Program Verification Combining Model Checking and Data-Flow Analysis Model Checking Procedural Programs Model Checking Concurrent Programs Combining Model Checking and Testing Combining Model Checking and Deduction Model Checking Parameterized Systems Model Checking Security Protocols Transfer of Model Checking to Industrial Practice Functionnal Specification of Hardware via Temporal Logic Symbolic Trajectory Evaluation The mu-Calculus and Model Checking Graph Games and Reactive Synthesis Model Checking Probabilistic Systems Model Checking Real-Time Systems Verification of Hybrid Systems Symbolic Model Checking in Non-Boolean Domains Process Algebra and Model Checking

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014650	004.2 CLA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 1., Représentation et traitement de l'information / Henri NUSSBAUMER

Titre : Informatique industrielle : 1., Représentation et traitement de l'information Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1986 Collection : Collection Informatique Importance : 271 p. ISBN/ISSN/EAN : 978-2-88074-100-6 Note générale : Table des matières Intro. Index Bibliographie Catégories : Automatisation Données Données:Transmission Informatique Ordinateurs Productique Téléinformatique Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Structure des systèmes d'informatique industrielle : Processus industriels Les systèmes d'informatique industrielle Composants des systèmes d'informatique industrielle Caractéristiques particulières des systèmes d'informatique industrielle Représentation de l'information et opérations élémentaires : Nombres entiers positifs Nombres réels Nombres négatifs Représentation des caractères Représentation des instructions Opérations de conversion Opérations arithmétiques Opérations de comparaison Opérations logiques Opérations de transfert Les ordinateurs : Principe de fonctionnement des ordinateurs Structure des instructions et techniques d'adressage Ruptures de séquence et changement de contexte Instructions de contrôle Instructions indivisibles Dispositifs de gestion mémoire

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000870	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 2., Introduction à l'informatique du temps réel / Henri NUSSBAUMER

Titre : Informatique industrielle : 2., Introduction à l'informatique du temps réel Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1986 Collection : Collection Informatique Importance : 398 p. ISBN/ISSN/EAN : 978-2-88074-101-3 Note générale : Table des matières Intro. Index Bibliographie Catégories : Automatisation Informatique Ordinateurs Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Le logiciel : Modes de traitement Systèmes d'exploitation Langages de programmation Langages assembleur GRAFCET et réseaux de Pétri : Réseaux de Pétri Le GRAFCET Entrées/sorties et interfaces de processus : Organisation générale des entrées/sorties Le bus du microprocesseur MC-68000 UNIBUS PDP-11 Bus normalisés pour microprocesseurs Adaptateurs d'interface Interfaces de processus

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000868	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 3., Automates programmables. Commande et réglage. Capteurs / Henri NUSSBAUMER

Titre : Informatique industrielle : 3., Automates programmables. Commande et réglage. Capteurs Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1987 Collection : Collection Informatique Importance : 394 p. ISBN/ISSN/EAN : 2-88074-119-6 Note générale : Table des matières Intro. Index Bibliographie Catégories : Commande automatique Informatique Ordinateurs Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Automates programmables : Organisation générale des automates programmables Langages à relais Automate programmable TELEMECANIQUE TSX 80 Commande et réglage : Rappels mathématiques Exemple de modélisation d'un système Commande Réglage automatique des systèmes continus Réglages échantillonnés Réglage dans l'espace d'état Indentification Capteurs : Caractéristiques générales des capteurs Capteurs de température Capteurs de position et de déplacement Capteurs de vitesse et d'accélération Capteurs de déformation Capteurs de force Capteurs de pression Mesure de la vitesse et du débit des fluides

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000867	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Informatique industrielle : 4., Commande numérique. Téléinformatique. Sécurité, sûreté, fiabilité / Henri NUSSBAUMER

Titre : Informatique industrielle : 4., Commande numérique. Téléinformatique. Sécurité, sûreté, fiabilité Type de document : texte imprimé Auteurs : Henri NUSSBAUMER Editeur : Presses Polytechniques et Universitaires Romandes (PPUR) Année de publication : 1987 Importance : 471 p. ISBN/ISSN/EAN : 2-88074-120-4 Note générale : Table des matières Intro. Index Bibliographie Catégories : Industrie Informatique Ordinateurs Téléinformatique Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Commande numérique des machines : Structure des systèmes à commande numérique Interpolation Programmation des machines à commande numérique Programmation manuelle des machines à commande numérique Le langage APT Commande numérique GENERAL ELECTRIC Téléinformatique : Organisation générale des systèmes téléinformatiques Réseaux de téléinformatique Architecture des systèmes téléinformatiques Circuits de données Protocoles de ligne Réseaux publics à commutation de paquets Réseaux locaux de téléinformatique Réseaux locaux industriels Sécurité, sûreté, fiabilité Intro. Bases théoriques de la fiabilité Prévention Technique de tolérance aux pannes Dépistage précoce Maintenance Fiabilité du logiciel Sécurité des systèmes de contrôle-commande

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000869	004.2 NUS	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Micro-informatique : Architecture, interfaces et logiciel / Jean-Daniel NICOUD

Titre : Micro-informatique : Architecture, interfaces et logiciel Type de document : texte imprimé Auteurs : Jean-Daniel NICOUD Editeur : Dunod Informatique Année de publication : 1983 Importance : 362 p. ISBN/ISSN/EAN : 978-2-04-015664-0 Note générale : Intro. Table des matières Annexes Solutions des exercices Bibliographie Index français-anglais Index anglais-français Catégories : Interfaces (informatique) Logiciels Ordinateurs Ordinateurs:Architecture Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Préliminaires Nombres et opérations Architectures des calculatrices et ordinateurs Programmation en assembleur Interfaces et périphériques Microprocesseurs et systèmes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000742	004.2 NIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Organisation et conception des ordinateurs : L'interface matériel/logiciel / John HENNESSY

Titre : Organisation et conception des ordinateurs : L'interface matériel/logiciel Type de document : texte imprimé Auteurs : John HENNESSY ; David PATTERSON Editeur : Dunod Année de publication : 1994 Importance : 660 p. ISBN/ISSN/EAN : 978-2-10-002150-5 Note générale : Table des matières Avant-propos Préface à l'édition française Préface Annexes Index Catégories : Ordinateurs Ordinateurs:Conception et construction Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Abstractions et technologie des ordinateurs Le rôle des performances Les instructions : le langage de la machine L'arithmétique des ordinateurs Le processeur : chemin de données et contrôle Amélioration des performances par la technique du pipeline Grande capacité et rapidité : exploiter la hiérarchie de mémoires Concevoir l'interface entre les processeurs et les périphériques Les machines parallèles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000557	004.2 HEN	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Principles of Database Systems / Jeffrey D. ULLMAN

Titre : Principles of Database Systems Type de document : texte imprimé Auteurs : Jeffrey D. ULLMAN Mention d'édition : 2e éd. Editeur : Computer Science Press Année de publication : 1982 Importance : 484 p. ISBN/ISSN/EAN : 978-0-7167-8069-4 Note générale : Preface Table of Contents Bibliography Index Catégories : Bases de données Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction to Database System Concepts Physical Data Organization The Network Model and the DBTG Proposal The Hierachical Model The Relational Model Relational Query Languages Design Theory for Relational Databases Query Optimization The Universal Relation as a User Interface Protecting the Database Against Misuse Concurrent Operations on the Database Distributed Database Systems

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000749	004.2 ULL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Structure et fonctionnement des ordinateurs / Jean-Pierre MEINADIER

Titre : Structure et fonctionnement des ordinateurs Type de document : texte imprimé Auteurs : Jean-Pierre MEINADIER Mention d'édition : 2e éd. corrigée Editeur : Larousse Année de publication : 1975 Collection : Informatique. Sciences humaines et sociales. Importance : 384 p. ISBN/ISSN/EAN : 978-2-03-070359-5 Note générale : Avant-propos Table des matières Eléments de bibliographie Glossaire et index Lexique anglais-français Catégories : Ordinateurs Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Introduction aux ordinateurs Structure de l'information Les circuits logiques Les mémoires Le chemin des données Le séquencement des instructions Les échanges d'information avec l'extérieur Machines à piles Les dispositifs liés à la gestion de la multiprogrammation Les gros monoprocesseurs Multiprocesseurs et machines parallèles

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000736	004.2 MEI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00001823	004.2 MEI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00006023	004.2 MEI	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Systèmes d'exploitation : concepts et algorithmes / Joffroy BEAUQUIER

Titre : Systèmes d'exploitation : concepts et algorithmes Type de document : texte imprimé Auteurs : Joffroy BEAUQUIER ; Béatrice BERARD Editeur : Édiscience international Année de publication : 1990 Importance : 541 p. ISBN/ISSN/EAN : 978-2-84074-025-4 Note générale : Table des matières Avant-propos Exercices corrigés Bibliographie Index Catégories : Systèmes d'exploitation (ordinateurs) Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Généralités Processus Ordonnancement Mémoire Sécurité Multiprocesseurs Protocoles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000408	004.2 BEA	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 (1 - 14 / 14) Par page : 25 50 100 200