A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... | Votre compte |
Détail de l'indexation
621.395 : Circuits des ordinateurs, circuits logiques, VLSI
621 Physique appliquée
621.042
621.042/ACA
621.042/ISE
621.042/SAB
621.1 Technique de la vapeur
621.16 Machines à vapeur. Turbines
621.18 Production et transmission de la vapeur : chaudières, centrales
621.2 Hydraulique : turbines, pompes, accumulateurs, transmission hydraulique
621.3 Electrotechnique, électronique, télécommunications
621.3 LET
621.3/LET
621.307 6
621.31 Energie électrique
621.31/BAR
621.31/FIL
621.31/FRE
621.31/HLA
621.31/PEL
621.312 Production, transformation, stockage (piles et accumulateurs), centrales
621.313
621.317 076
621.319 Distribution
621.32 Eclairage
621.323 Formes anciennes, torches, bougies ..
621.324 Eclairage au gaz
621.325 Eclairage électrique
621.33 Traction électrique : utilisation pour les
621.34 Techniques magnétiques
621.35 Supraconductivité
621.35/MIL.2
621.36 Optique appliquée
621.361 Spectroscopie industrielle
621.366 Laser
621.367 Techniques photographiques. Télédétection
621.369 Fibres optiques, optique intégrée
621.37 Mesures électriques
621.38 Electronique et télécommunications
621.38/MEI
621.381 Electronique appliquée, micro-électronique
621.381 / NKE
621.381 5/MOL
621.381.5 Composants et circuits, semiconducteurs, transistors
621.381/HAB
621.382 Techniques des communications
621.382 2
621.382 24
621.383 Télégraphie
621.384 Radio et radar
621.385 Téléphonie : réseaux, centraux
621.386 Appareils de téléphone
621.388 Télévision : classer ici la technique vidéo, la télévision par câble
621.388 - Télévision
621.389 Autres dispositifs de communication
621.39 Ordinateurs
621.391 Types spécifiques
621.392 Architecture des ordinateurs
621.398 Interfaces et systèmes de communication, périphériques, modems
621.399 Appareils spéciaux. Scanners
621.3E PAL
621.4 Thermique et moteurs primaires
621.402 1
621.402/TAI
621.42 Moteurs
621.43 Moteurs à combustion interne
621.44 Techniques géothermiques
621.45 Techniques utilisant le vent : moulins, éoliennes
621.45/MUL
621.46 Techniques de la propulsion électrique : moteurs électriques
621.47 Génie mécanique : Thermique et moteurs primaires : Techniques de l'énergie solaire
621.48 Génie atomique
621.483 Réacteurs nucléaires, centrales
621.484 Fusion thermonucléaire
621.5 Technique pneumatique, du vide, des basses températures
621.51 Compresseurs d'air
621.55 Technique du vide
621.56 Technique des basses températures : réfrigération, pompe à chaleur
621.56/LEM
621.6 Ventilateurs, souffleries, pompes
621.7 Techniques de l'énergie solaire : fours solaire
621.8 Construction de machines. Eléments des machines
621.9 Outils outillage de fabrication. Machines-outils
621/MAR
621.042
621.042/ACA
621.042/ISE
621.042/SAB
621.1 Technique de la vapeur
621.16 Machines à vapeur. Turbines
621.18 Production et transmission de la vapeur : chaudières, centrales
621.2 Hydraulique : turbines, pompes, accumulateurs, transmission hydraulique
621.3 Electrotechnique, électronique, télécommunications
621.3 LET
621.3/LET
621.307 6
621.31 Energie électrique
621.31/BAR
621.31/FIL
621.31/FRE
621.31/HLA
621.31/PEL
621.312 Production, transformation, stockage (piles et accumulateurs), centrales
621.313
621.317 076
621.319 Distribution
621.32 Eclairage
621.323 Formes anciennes, torches, bougies ..
621.324 Eclairage au gaz
621.325 Eclairage électrique
621.33 Traction électrique : utilisation pour les
621.34 Techniques magnétiques
621.35 Supraconductivité
621.35/MIL.2
621.36 Optique appliquée
621.361 Spectroscopie industrielle
621.366 Laser
621.367 Techniques photographiques. Télédétection
621.369 Fibres optiques, optique intégrée
621.37 Mesures électriques
621.38 Electronique et télécommunications
621.38/MEI
621.381 Electronique appliquée, micro-électronique
621.381 / NKE
621.381 5/MOL
621.381.5 Composants et circuits, semiconducteurs, transistors
621.381/HAB
621.382 Techniques des communications
621.382 2
621.382 24
621.383 Télégraphie
621.384 Radio et radar
621.385 Téléphonie : réseaux, centraux
621.386 Appareils de téléphone
621.388 Télévision : classer ici la technique vidéo, la télévision par câble
621.388 - Télévision
621.389 Autres dispositifs de communication
621.39 Ordinateurs
621.391 Types spécifiques
621.392 Architecture des ordinateurs
621.398 Interfaces et systèmes de communication, périphériques, modems
621.399 Appareils spéciaux. Scanners
621.3E PAL
621.4 Thermique et moteurs primaires
621.402 1
621.402/TAI
621.42 Moteurs
621.43 Moteurs à combustion interne
621.44 Techniques géothermiques
621.45 Techniques utilisant le vent : moulins, éoliennes
621.45/MUL
621.46 Techniques de la propulsion électrique : moteurs électriques
621.47 Génie mécanique : Thermique et moteurs primaires : Techniques de l'énergie solaire
621.48 Génie atomique
621.483 Réacteurs nucléaires, centrales
621.484 Fusion thermonucléaire
621.5 Technique pneumatique, du vide, des basses températures
621.51 Compresseurs d'air
621.55 Technique du vide
621.56 Technique des basses températures : réfrigération, pompe à chaleur
621.56/LEM
621.6 Ventilateurs, souffleries, pompes
621.7 Techniques de l'énergie solaire : fours solaire
621.8 Construction de machines. Eléments des machines
621.9 Outils outillage de fabrication. Machines-outils
621/MAR
Ouvrages de la bibliothèque en indexation 621.395
Faire une suggestion Affiner la recherche Interroger des sources externes
Computers, 2. Séquence après séquence / Jean-Jacques Mercier
Titre de série : Computers, 2 Titre : Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones Type de document : texte imprimé Auteurs : Jean-Jacques Mercier, Auteur Editeur : Paris : Ellipses Année de publication : DL 2006 Collection : Computers num. 2 Importance : 1 vol. (269 p.) Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-2619-2 Prix : 32 EUR Note générale : Bibliogr., 1 p. Webliogr., 1 p. Index Langues : Français (fre) Tags : Logique combinatoire Manuels d'enseignement supérieur Machines séquentielles, Théorie des Manuels d'enseignement supérieur Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Computers, 2. Séquence après séquence : logique séquentielle, circuits asynchrones et synchrones [texte imprimé] / Jean-Jacques Mercier, Auteur . - Paris : Ellipses, DL 2006 . - 1 vol. (269 p.) : ill., couv. ill. ; 26 cm. - (Computers; 2) .
ISBN : 978-2-7298-2619-2 : 32 EUR
Bibliogr., 1 p. Webliogr., 1 p. Index
Langues : Français (fre)
Tags : Logique combinatoire Manuels d'enseignement supérieur Machines séquentielles, Théorie des Manuels d'enseignement supérieur Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17071 621.395 MER Livre Physique Monographies Physique Disponible 17070 621.395 MER Livre Physique Monographies Physique Disponible 17069 621.395 MER Livre Physique Monographies Physique Disponible Informatique industrielle : Logique combinatoire et séquentielle / Claude Brie
Titre : Informatique industrielle : Logique combinatoire et séquentielle : méthodes, outils et réalisations Type de document : texte imprimé Auteurs : Claude Brie, Auteur Editeur : Paris : Ellipses Année de publication : 2002 Collection : Technosup Importance : 314 p. Présentation : ill., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-1425-0 Prix : 27,50 EUR Note générale : Bibliogr., 1 p. Langues : Français (fre) Tags : Logique combinatoire Circuits logiques Machines séquentielles, Théorie des Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage est une présentation particulièrement claire des systèmes logiques, éléments de base de toutes les machines numériques et en particulier des ordinateurs.
En logique combinatoire sont traités la représentation des nombres, l'algèbre de Boole et les fonctions élémentaires, la description et la simplification des fonctions logiques, ainsi que les aspects technologiques à prendre en compte lors de la réalisation d'un dispositif logique. Un chapitre est entièrement consacré à l'étude détaillée des circuits logiques combinatoires : multiplexeur, décodeur, mémoire, additionneur, unité arithmétique et logique, encodeur de priorité, générateur et vérificateur de parité, comparateur.
En logique séquentielle, sont introduites les notions d'état et de variable interne, puis décrits les circuits logiques séquentiels classiques (bistables, registres et compteurs). Enfin sont présentées les différentes étapes de la synthèse des systèmes séquentiels synchrones et asynchrones synchronisés : description, réduction, codage et réalisation.
L'ouvrage est illustré par de nombreux exercices, avec simple réponse ou solution détaillée.Informatique industrielle : Logique combinatoire et séquentielle : méthodes, outils et réalisations [texte imprimé] / Claude Brie, Auteur . - Paris : Ellipses, 2002 . - 314 p. : ill., couv. ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-1425-0 : 27,50 EUR
Bibliogr., 1 p.
Langues : Français (fre)
Tags : Logique combinatoire Circuits logiques Machines séquentielles, Théorie des Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage est une présentation particulièrement claire des systèmes logiques, éléments de base de toutes les machines numériques et en particulier des ordinateurs.
En logique combinatoire sont traités la représentation des nombres, l'algèbre de Boole et les fonctions élémentaires, la description et la simplification des fonctions logiques, ainsi que les aspects technologiques à prendre en compte lors de la réalisation d'un dispositif logique. Un chapitre est entièrement consacré à l'étude détaillée des circuits logiques combinatoires : multiplexeur, décodeur, mémoire, additionneur, unité arithmétique et logique, encodeur de priorité, générateur et vérificateur de parité, comparateur.
En logique séquentielle, sont introduites les notions d'état et de variable interne, puis décrits les circuits logiques séquentiels classiques (bistables, registres et compteurs). Enfin sont présentées les différentes étapes de la synthèse des systèmes séquentiels synchrones et asynchrones synchronisés : description, réduction, codage et réalisation.
L'ouvrage est illustré par de nombreux exercices, avec simple réponse ou solution détaillée.Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17050 621.395 BRI Livre Informatique Monographies Informatique Disponible 17049 621.395 BRI Livre Physique Monographies Physique Disponible 17048 621.395 BRI Livre Physique Monographies Physique Disponible Informatique Théorique : Logique et démonstration automatique / Stéphane Devismes
Titre : Informatique Théorique : Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Prix : 24,00 eur Tags : Informatique logique Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage : niveau A (IUT - BTS - 1re cycle)
Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner.
L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples.
Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme
DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre.
Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés.
Note de contenu : Informatique théorique Informatique Théorique : Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal Lafourcade, Auteur ; Michel Lévy, Auteur . - Paris : Ellipses, 2012 . - ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-7229-8 : 24,00 eur
Tags : Informatique logique Index. décimale : 621.395 Circuits des ordinateurs, circuits logiques, VLSI Résumé : L'ouvrage : niveau A (IUT - BTS - 1re cycle)
Destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner.
L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérité, logique qui est celle des circuits combinatoires. Sont uniquement présentés des résultats et algorithmes dont il existe une réalisation logicielle permettant de les appliquer automatiquement sur des exemples.
Dans une première partie consacrée à la logique propositionnelle sont présentés les définitions, les résultats de base, la résolution, la stratégie complète et l'algorithme
DPLL, ainsi que la déduction naturelle. Dans la seconde partie l'ensemble des notions, résultats et techniques est revisité pour la logique du premier ordre.
Enfin le livre comprend de nombreux exercices gradués avec leurs corrigés détaillés, qui permettent à chacun de tester ses connaissances et la compréhension des concepts présentés.
Note de contenu : Informatique théorique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18031 621.395 DEV Livre Informatique Monographies Informatique Disponible 18032 621.395 DEV Livre Informatique Monographies Informatique Disponible 18033 621.395 DEV Livre Informatique Monographies Informatique Disponible 18034 621.395 DEV Livre Informatique Monographies Informatique Disponible