Bibliothèque de l'ENSBS
http://ensbiotech.edu.dz
A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Résultat de la recherche
5 résultat(s) recherche sur le tag 'Programmation'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Apprendre la programmation des PIC High Performance
Titre : Apprendre la programmation des PIC High Performance : par l'expérimentation et la simulation Type de document : document multimédia Editeur : Paris : ETSF, Éd. techniques et scientifiques françaises Année de publication : DL 2010 Importance : 1 vol. (X-322 p.) - 1 objet - 1 disque optique numérique (CD-ROM) Présentation : ill., couv. ill. en coul. : coul. Format : 24 cm ; 6 cm ; 12 cm ISBN/ISSN/EAN : 978-2-10-054876-7 Note générale : Bibliogr. et webogr. p. 321 Langues : Français Tags : Microcontrôleurs Programmation Guides, manuels, etc. Microchip Technology PICmicro (famille de microprocesseurs) Index. décimale : Résumé : Le livre Cet ouvrage propose des exemples d'applications inédites de la série 18F de PIC avec les descriptions détaillées d'interfaçage avec un PC permettant notamment le paramétrage, la commande et la supervision. Après un premier exemple d'une application écrite en assembleur, d'autres projets sont présentés, dont les programmes sont développés en langage évolué. Chaque projet est décrit de manière pédagogique et permet de découvrir progressivement les nombreuses fonctionnalités des PIC. Les interfaces graphiques pilotant chaque projet étudié sont commentées et détaillées et pourront être ainsi modifiées ou améliorées par le lecteur. La présentation et la prise en main du langage de programmation permettant de réaliser les interfaces graphiques sont également au menu de cet ouvrage. Le cédérom Élaboré par l'auteur, le cédérom évolutif et interactif accompagnant l'ouvrage est un fantastique outil qui favorise une bonne compréhension et une assimilation rapide des applications décrites dans le livre. Il contient les animations logicielles concernant le fonctionnement des registres et de l'architecture interne, toutes les sources des programmes PIC et interfaces graphiques développées avec Visual Basic ' logiciel qui se prête merveilleusement au développement d'IHM (Interfaces Homme Machine) ', les animations fonctionnelles des montages permettant de présenter et de simuler le fonctionnement d'un montage avant sa réalisation, ainsi que divers outils utiles au développement d'applications à base de PIC. Apprendre la programmation des PIC High Performance : par l'expérimentation et la simulation [document multimédia] . - Paris : ETSF, Éd. techniques et scientifiques françaises, DL 2010 . - 1 vol. (X-322 p.) - 1 objet - 1 disque optique numérique (CD-ROM) : ill., couv. ill. en coul. : coul. ; 24 cm ; 6 cm ; 12 cm.
ISBN : 978-2-10-054876-7
Bibliogr. et webogr. p. 321
Langues : Français
Tags : Microcontrôleurs Programmation Guides, manuels, etc. Microchip Technology PICmicro (famille de microprocesseurs) Index. décimale : Résumé : Le livre Cet ouvrage propose des exemples d'applications inédites de la série 18F de PIC avec les descriptions détaillées d'interfaçage avec un PC permettant notamment le paramétrage, la commande et la supervision. Après un premier exemple d'une application écrite en assembleur, d'autres projets sont présentés, dont les programmes sont développés en langage évolué. Chaque projet est décrit de manière pédagogique et permet de découvrir progressivement les nombreuses fonctionnalités des PIC. Les interfaces graphiques pilotant chaque projet étudié sont commentées et détaillées et pourront être ainsi modifiées ou améliorées par le lecteur. La présentation et la prise en main du langage de programmation permettant de réaliser les interfaces graphiques sont également au menu de cet ouvrage. Le cédérom Élaboré par l'auteur, le cédérom évolutif et interactif accompagnant l'ouvrage est un fantastique outil qui favorise une bonne compréhension et une assimilation rapide des applications décrites dans le livre. Il contient les animations logicielles concernant le fonctionnement des registres et de l'architecture interne, toutes les sources des programmes PIC et interfaces graphiques développées avec Visual Basic ' logiciel qui se prête merveilleusement au développement d'IHM (Interfaces Homme Machine) ', les animations fonctionnelles des montages permettant de présenter et de simuler le fonctionnement d'un montage avant sa réalisation, ainsi que divers outils utiles au développement d'applications à base de PIC. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Les microcontrôleurs PIC
Titre : Les microcontrôleurs PIC Type de document : texte imprimé Editeur : Paris : Hermès science publications Année de publication : 2003 Autre Editeur : Lavoisier Importance : 189 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0764-6 Langues : Français Tags : Microcontrôleurs Programmation Guides, manuels, etc. Microchip Technology PICmicro (famille de microprocesseurs) Index. décimale : Résumé : Fabriqués et commercialisés depuis de nombreuses années, les microcontrôleurs PIC sont reconnus pour leur rapidité et pour leur facilité de programmation in situ. Cet ouvrage contient une étude complète du 16F84 afin de se familiariser avec l'architecture PIC et sa programmation, une étude succincte des interfaces du 16F877, une étude plus approfondie des interfaces série synchrone (SPI et I2C) de plus en plus employées dans l'interfaçage électronique et une prise en main du simulateur du logiciel de développement MPLAB. Ce livre s'adresse aux élèves et aux enseignants des lycées techniques et professionnels, aux étudiants des IUT et BTS génie électrique et électronique, aux élèves des grandes écoles d'ingénieurs. Il sera aussi très utile à tous les utilisateurs professionnels de ce type de matériel. Les microcontrôleurs PIC [texte imprimé] . - Paris : Hermès science publications : [S.l.] : Lavoisier, 2003 . - 189 p. : ill. ; 24 cm.
ISBN : 978-2-7462-0764-6
Langues : Français
Tags : Microcontrôleurs Programmation Guides, manuels, etc. Microchip Technology PICmicro (famille de microprocesseurs) Index. décimale : Résumé : Fabriqués et commercialisés depuis de nombreuses années, les microcontrôleurs PIC sont reconnus pour leur rapidité et pour leur facilité de programmation in situ. Cet ouvrage contient une étude complète du 16F84 afin de se familiariser avec l'architecture PIC et sa programmation, une étude succincte des interfaces du 16F877, une étude plus approfondie des interfaces série synchrone (SPI et I2C) de plus en plus employées dans l'interfaçage électronique et une prise en main du simulateur du logiciel de développement MPLAB. Ce livre s'adresse aux élèves et aux enseignants des lycées techniques et professionnels, aux étudiants des IUT et BTS génie électrique et électronique, aux élèves des grandes écoles d'ingénieurs. Il sera aussi très utile à tous les utilisateurs professionnels de ce type de matériel. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Microcontrôleurs PIC 10, 12, 16
Titre : Microcontrôleurs PIC 10, 12, 16 : description et mise en oeuvre Type de document : document multimédia Mention d'édition : 3e éd. Editeur : [Paris] : Dunod Année de publication : cop. 2007 Collection : Sous-collection : Série EEA Importance : 1 vol. (334 p.) - 1 disque optique numérique (CD-ROM) Présentation : couv. ill. en coul. Format : 24 cm ; 12 cm ISBN/ISSN/EAN : 978-2-10-049978-6 Note générale : Index Langues : Français Tags : Microchip Technology PICmicro (famille de microprocesseurs) Guides, manuels, etc. Ordinateurs Programmation Index. décimale : Résumé : Cet ouvrage présente les 3 premières familles de microcontrôleurs PIC (10, 12, 16), leurs modules communs (Timer, mémoire EEPROM...) et leurs spécificités, les différentes interfaces (communication série, afficheurs à cristaux liquides...) que l'on peut utiliser et donne enfin quelques exemples de mise en oeuvre. Cette nouvelle édition s'enrichit notamment de nouvelles applications, fait le point sur les nouveautés des familles PIC 10, 12 et 16, puis sur l'évolution de leurs environnements de programmation. Le cédérom contient une riche documentation dont notamment les fiches techniques des microcontrôleurs, ainsi que l'outil de développement MATLAB. Microcontrôleurs PIC 10, 12, 16 : description et mise en oeuvre [document multimédia] . - 3e éd. . - [S.l. : s.n.], cop. 2007 . - 1 vol. (334 p.) - 1 disque optique numérique (CD-ROM) : couv. ill. en coul. ; 24 cm ; 12 cm. - (. Série EEA) .
ISBN : 978-2-10-049978-6
Index
Langues : Français
Tags : Microchip Technology PICmicro (famille de microprocesseurs) Guides, manuels, etc. Ordinateurs Programmation Index. décimale : Résumé : Cet ouvrage présente les 3 premières familles de microcontrôleurs PIC (10, 12, 16), leurs modules communs (Timer, mémoire EEPROM...) et leurs spécificités, les différentes interfaces (communication série, afficheurs à cristaux liquides...) que l'on peut utiliser et donne enfin quelques exemples de mise en oeuvre. Cette nouvelle édition s'enrichit notamment de nouvelles applications, fait le point sur les nouveautés des familles PIC 10, 12 et 16, puis sur l'évolution de leurs environnements de programmation. Le cédérom contient une riche documentation dont notamment les fiches techniques des microcontrôleurs, ainsi que l'outil de développement MATLAB. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Python pour la carte micro:bit
Titre : Python pour la carte micro:bit Type de document : texte imprimé Editeur : Paris : Éditions Eyrolles Année de publication : DL 2019 Collection : Importance : 1 vol. (166 p.) Présentation : ill. en coul. Format : 30 cm ISBN/ISSN/EAN : 978-2-212-67826-0 Langues : Français Tags : Micro:bit (ordinateur) Programmation Index. décimale : Résumé : Une carte ludique pour apprendre à programmer Deux fois plus petite qu'une carte de crédit et coûtant moins de 20¤, la carte micro : bit est un nano-ordinateur lancé en 2016 au Royaume- Uni par la BBC pour initier les collégiens au codage et au pilotage de systèmes numériques. Pouvant être programmée depuis un PC, un smartphone, une tablette ou encore un Raspberry Pi, cette carte est compacte, robuste, simple d'utilisation, facile à connecter, fédérant une communauté très importante et s'accompagnant d'un grand nombre d'extensions.
Pour la piloter, plusieurs langages de programmation sont disponibles : Python, JavaScript, MakeCode... Cet ouvrage se concentre sur la programmation de la carte micro : bit avec Python, le langage officiel pour l'enseignement de l'informatique au lycée. Ne nécessitant aucune compétence particulière en codage, il est organisé en trois parties. La première pose les bases du langage Python (variables, boucles, fonctions...), la deuxième regroupe différentes applications concrètes et facilement réalisables avec la carte micro : bit, et la troisième présente des projets plus complexes faisant appel aux extensions de la carte.
Le lecteur sera ainsi amené à fabriquer un chronomètre, une boussole, ou encore à jouer de la musique. A qui s'adresse ce livre ? Aux enseignants (SNT, mathématiques, sciences) et à leurs élèves de lycée Aux makers, geeks, roboticiens, FabLabs...
Sommaire
Présentation de la carte micro : bit
Environnements de développement intégrés
LES BASES EN MICROPYTHON
Actions
Variables
Tests de condition
APPLICATIONS SIMPLES AVEC CARTE MICRO : BIT
Affichage sur écran
Boutons
Capteur de température
APPLICATIONS AVANCEES AVEC LA CARTE MICRO : BIT
Présentation des extensions
Mettre un système en rotation
Mesurer la distancePython pour la carte micro:bit [texte imprimé] . - [S.l. : s.n.], DL 2019 . - 1 vol. (166 p.) : ill. en coul. ; 30 cm. - () .
ISBN : 978-2-212-67826-0
Langues : Français
Tags : Micro:bit (ordinateur) Programmation Index. décimale : Résumé : Une carte ludique pour apprendre à programmer Deux fois plus petite qu'une carte de crédit et coûtant moins de 20¤, la carte micro : bit est un nano-ordinateur lancé en 2016 au Royaume- Uni par la BBC pour initier les collégiens au codage et au pilotage de systèmes numériques. Pouvant être programmée depuis un PC, un smartphone, une tablette ou encore un Raspberry Pi, cette carte est compacte, robuste, simple d'utilisation, facile à connecter, fédérant une communauté très importante et s'accompagnant d'un grand nombre d'extensions.
Pour la piloter, plusieurs langages de programmation sont disponibles : Python, JavaScript, MakeCode... Cet ouvrage se concentre sur la programmation de la carte micro : bit avec Python, le langage officiel pour l'enseignement de l'informatique au lycée. Ne nécessitant aucune compétence particulière en codage, il est organisé en trois parties. La première pose les bases du langage Python (variables, boucles, fonctions...), la deuxième regroupe différentes applications concrètes et facilement réalisables avec la carte micro : bit, et la troisième présente des projets plus complexes faisant appel aux extensions de la carte.
Le lecteur sera ainsi amené à fabriquer un chronomètre, une boussole, ou encore à jouer de la musique. A qui s'adresse ce livre ? Aux enseignants (SNT, mathématiques, sciences) et à leurs élèves de lycée Aux makers, geeks, roboticiens, FabLabs...
Sommaire
Présentation de la carte micro : bit
Environnements de développement intégrés
LES BASES EN MICROPYTHON
Actions
Variables
Tests de condition
APPLICATIONS SIMPLES AVEC CARTE MICRO : BIT
Affichage sur écran
Boutons
Capteur de température
APPLICATIONS AVANCEES AVEC LA CARTE MICRO : BIT
Présentation des extensions
Mettre un système en rotation
Mesurer la distanceExemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Cours et exercices corrigés d'algorithmique
Titre : Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique Type de document : texte imprimé Editeur : Paris : Vuibert Année de publication : impr. 2010 Importance : 1 vol. (VIII-264 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-311-00020-7 Note générale : Bibliogr. p. 260-261. Index Langues : Français Tags : Ordinateurs Programmation Problèmes et exercices Algorithmes Informatique Index. décimale : Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en œuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Note de contenu : Sommaire
Traverser Paris par des ruelles tranquilles, des jardins et des squares, en se jouant des artères encombrées et bruyantes..
lmpossible? Tel est pourtant le programme de ces promenades buissonnières et piétonnes qui donnent à découvrir la ville sous un visage qu'on lui avait (presque) oublié
Des anciens villages aux nouveaux quartiers, le promeneur pourra choisir à sa guise et selon son humeur le type de panorama urbain qu'il souhaite arpenter
Chaque promenade, longue de 3 à 7 kilomètres, est figurée clairement, étape par étape, sur des plans aquarellés qui épargnent aux amateurs de balades citadines les difficultés de repérage, pour privilégier le bonheur simple de marcher dans Paris.Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant ; licence et master d'informatique [texte imprimé] . - Paris : Vuibert, impr. 2010 . - 1 vol. (VIII-264 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-311-00020-7
Bibliogr. p. 260-261. Index
Langues : Français
Tags : Ordinateurs Programmation Problèmes et exercices Algorithmes Informatique Index. décimale : Résumé : Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au cœur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en œuvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés. Note de contenu : Sommaire
Traverser Paris par des ruelles tranquilles, des jardins et des squares, en se jouant des artères encombrées et bruyantes..
lmpossible? Tel est pourtant le programme de ces promenades buissonnières et piétonnes qui donnent à découvrir la ville sous un visage qu'on lui avait (presque) oublié
Des anciens villages aux nouveaux quartiers, le promeneur pourra choisir à sa guise et selon son humeur le type de panorama urbain qu'il souhaite arpenter
Chaque promenade, longue de 3 à 7 kilomètres, est figurée clairement, étape par étape, sur des plans aquarellés qui épargnent aux amateurs de balades citadines les difficultés de repérage, pour privilégier le bonheur simple de marcher dans Paris.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire