Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Marc Courvoisier
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la rechercheLogique combinatoire / Jean Lagasse
Titre : Logique combinatoire Type de document : texte imprimé Auteurs : Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; Jean-Pierre Richard, Collaborateur Editeur : Paris : Dunod Année de publication : 1976 Collection : Dunod université Importance : VI-[74] p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-000147-6 Note générale : Bibliogr. p. [74] Langues : Français (fre) Mots-clés : Algèbres commutatives
Structure logique
Circuits logiques
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Les systèmes logiques - dont les variables appartiennent à des ensembles finis - sont largement utilisés en Automatique et en Informatique. En effet, en Automatique (science de la commande des systèmes couplés au monde extérieur), on peut classer les systèmes selon la nature de l'information qu'ils reçoivent et qu'ils traitent : - systèmes soumis à des signaux naturellement discrétisés, telles les commandes numériques de machines-outils, - systèmes acceptant des signaux analogiques; c'est le cas de la plupart des procédés industriels. Pour ces derniers, lorsque la complexité du procédé est grande et si l'on cherche à optimiser son fonctionnement autrement que de façon subjective, il apparaît nécessaire de faire appel à l'ordinateur. Celui-ci traite des données discrétisées et est donc constitué d'un ensemble de systèmes logiques. Cet ouvrage constitue une introduction à la logique combinatoire et à l'étude des systèmes logiques. Il présente les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation. "Logique combinatoire" est consacré à l'étude de systèmes dont l'évolution dépend à chaque instant uniquement des valeurs des variables auxquelles il est soumis. Note de contenu : Au sommaire :
1. Algèbre de commutation
2. Les expressions logiques
3. Les fonctions logiques
4. Simplification et minimisation
5. Fonctions remarquables
6. Les équations logiques
7. Les circuits logiquesEn ligne : http://books.google.com/books?id=05OdHAAACAAJ&hl=fr&cd=1&source=gbs_ViewAPI Logique combinatoire [texte imprimé] / Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; Jean-Pierre Richard, Collaborateur . - Dunod, 1976 . - VI-[74] p. : ill. ; 24 cm. - (Dunod université) .
ISBN : 978-2-04-000147-6
Bibliogr. p. [74]
Langues : Français (fre)
Mots-clés : Algèbres commutatives
Structure logique
Circuits logiques
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Les systèmes logiques - dont les variables appartiennent à des ensembles finis - sont largement utilisés en Automatique et en Informatique. En effet, en Automatique (science de la commande des systèmes couplés au monde extérieur), on peut classer les systèmes selon la nature de l'information qu'ils reçoivent et qu'ils traitent : - systèmes soumis à des signaux naturellement discrétisés, telles les commandes numériques de machines-outils, - systèmes acceptant des signaux analogiques; c'est le cas de la plupart des procédés industriels. Pour ces derniers, lorsque la complexité du procédé est grande et si l'on cherche à optimiser son fonctionnement autrement que de façon subjective, il apparaît nécessaire de faire appel à l'ordinateur. Celui-ci traite des données discrétisées et est donc constitué d'un ensemble de systèmes logiques. Cet ouvrage constitue une introduction à la logique combinatoire et à l'étude des systèmes logiques. Il présente les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation. "Logique combinatoire" est consacré à l'étude de systèmes dont l'évolution dépend à chaque instant uniquement des valeurs des variables auxquelles il est soumis. Note de contenu : Au sommaire :
1. Algèbre de commutation
2. Les expressions logiques
3. Les fonctions logiques
4. Simplification et minimisation
5. Fonctions remarquables
6. Les équations logiques
7. Les circuits logiquesEn ligne : http://books.google.com/books?id=05OdHAAACAAJ&hl=fr&cd=1&source=gbs_ViewAPI Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 017382 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017389 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017391 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017380 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017381 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017383 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017384 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017385 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017386 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017387 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017388 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017390 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017393 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017394 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018614 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018615 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place 018616 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018617 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018618 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre : Logique séquentielle Type de document : texte imprimé Auteurs : Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; J.-P. Richard, Collaborateur Mention d'édition : 3 éd. Editeur : Paris : Dunod Année de publication : 1976 Collection : Dunod université Importance : VI-[82] p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-000149-0 Note générale : Bibliogr. p. IV Langues : Français (fre) Mots-clés : Machines séquentielles, Théorie des
Électronique numérique
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Cet ouvrage traite de l'étude de systèmes, appelés systèmes logiques, dont les variables appartiennent à des ensembles finis. Cette classe de systèmes est largement utilisée dans les deux sciences pour l'ingénieur que sont l'automatique et l'informatique, et crée des liens entre elles. Note de contenu : Au sommaire :
1. Généralités-Structures
2. Représentation des systèmes séquentiels
3. Analyse des systèmes séquentiels
4. Synthèse des systèmes séquentiels. Méthode d'Huffman
5. Synthèse à l'aide d'éléments mémoires donnesLogique séquentielle [texte imprimé] / Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; J.-P. Richard, Collaborateur . - 3 éd. . - Dunod, 1976 . - VI-[82] p. : ill. ; 24 cm. - (Dunod université) .
ISBN : 978-2-04-000149-0
Bibliogr. p. IV
Langues : Français (fre)
Mots-clés : Machines séquentielles, Théorie des
Électronique numérique
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Cet ouvrage traite de l'étude de systèmes, appelés systèmes logiques, dont les variables appartiennent à des ensembles finis. Cette classe de systèmes est largement utilisée dans les deux sciences pour l'ingénieur que sont l'automatique et l'informatique, et crée des liens entre elles. Note de contenu : Au sommaire :
1. Généralités-Structures
2. Représentation des systèmes séquentiels
3. Analyse des systèmes séquentiels
4. Synthèse des systèmes séquentiels. Méthode d'Huffman
5. Synthèse à l'aide d'éléments mémoires donnesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 017258 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017240 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017259 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017242 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017243 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017244 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017245 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017246 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018609 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017247 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017248 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017249 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017250 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017251 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017254 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017255 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017252 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017257 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018610 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018611 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018612 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018613 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place 017253 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017241 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre : Systèmes de commande en temps réel : description, analyse et réalisation Type de document : texte imprimé Auteurs : Marc Courvoisier, Auteur ; Robert Valette, Auteur Editeur : Paris : SCM Année de publication : 1980 Importance : 181 p. Présentation : ill. Format : 31 cm Note générale : Bibliogr. p. 169-172 Langues : Français (fre) Mots-clés : Systèmes -- Analyse
Structure logique
Commande -- Théorie
Commande automatiqueIndex. décimale : 62-52 Machine et processus conduits ou contrôlés automatiquement Résumé : Cet ouvrage est accessible à tous ceux qui sont familiers avec les systèmes logiques. Il est présenté sous une forme concise car les auteurs préféré de développer seulement les problèmes essentiels et choisir des exemples de complexité juste suffisante pour illustrer ces problèmes. Les références bibliographiques qui jalonnent le texte doivent permettre de bien situer l'état actuel des travaux. Note de contenu : Au sommaire :
1. Introduction
2. Le réseau de pétri
3. Description d'un système
4. Validation d'un système
5. RéalisationsSystèmes de commande en temps réel : description, analyse et réalisation [texte imprimé] / Marc Courvoisier, Auteur ; Robert Valette, Auteur . - Paris : SCM, 1980 . - 181 p. : ill. ; 31 cm.
Bibliogr. p. 169-172
Langues : Français (fre)
Mots-clés : Systèmes -- Analyse
Structure logique
Commande -- Théorie
Commande automatiqueIndex. décimale : 62-52 Machine et processus conduits ou contrôlés automatiquement Résumé : Cet ouvrage est accessible à tous ceux qui sont familiers avec les systèmes logiques. Il est présenté sous une forme concise car les auteurs préféré de développer seulement les problèmes essentiels et choisir des exemples de complexité juste suffisante pour illustrer ces problèmes. Les références bibliographiques qui jalonnent le texte doivent permettre de bien situer l'état actuel des travaux. Note de contenu : Au sommaire :
1. Introduction
2. Le réseau de pétri
3. Description d'un système
4. Validation d'un système
5. RéalisationsExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 022204 62-52 COU Papier Bibliothèque Centrale Automatique Disponible 022205 62-52 COU Papier Bibliothèque Centrale Automatique Disponible 022206 62-52 COU Papier Bibliothèque Centrale Automatique Disponible 036430 62-52 COU Papier Bibliothèque Centrale Automatique Disponible 036431 62-52 COU Papier Bibliothèque Centrale Automatique Disponible
Titre : Systèmes d'exploitation des micro-ordinateurs : concepts et systèmes dominants Type de document : texte imprimé Auteurs : Marc Courvoisier ; R. Valette Editeur : Paris : Dunod Année de publication : 1986 Collection : Micro-informatique professionnelle Importance : 125 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-04-016449-2 Langues : Français (fre) Mots-clés : Exploitation
Micro-Informatique
Micro-OrdinateurIndex. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : Note de contenu : au sommaire:
*Presntation générale
*Le moniteur du systéme d'exploitation
*la gestion des entrées sorties
*l'intrface utilisateur
*le systéme cp/m
*le systéme ms-dos
*le systéme irmx 86Systèmes d'exploitation des micro-ordinateurs : concepts et systèmes dominants [texte imprimé] / Marc Courvoisier ; R. Valette . - Dunod, 1986 . - 125 p. : ill. ; 24 cm.. - (Micro-informatique professionnelle) .
ISBN : 978-2-04-016449-2
Langues : Français (fre)
Mots-clés : Exploitation
Micro-Informatique
Micro-OrdinateurIndex. décimale : 681.3.02 Conception,construction et structures des systèmes machines et éléments de traitement de données.(Conception des systèmes) Résumé : Note de contenu : au sommaire:
*Presntation générale
*Le moniteur du systéme d'exploitation
*la gestion des entrées sorties
*l'intrface utilisateur
*le systéme cp/m
*le systéme ms-dos
*le systéme irmx 86Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 039708 681.3.02 COU Papier Bibliothèque Centrale Informatique Disponible
