Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations.
[lire la quatrième du livre Exercices corrigés en langage Z]
Public : étudiants en 1re et 2e années de filières scientifiques, étudiants en école d'ingénieur. Objectifs : acquérir de bons réflexes dans le cadre de la mise au point de programmes, apprentissage des notions essentielles, maîtriser ces notions par la pratique au travers de mises en situation concrètes.
[lire la quatrième du livre Apprendre à programmer]
L'ouvrage s'articule autour des principaux points du programme de sciences industrielles de première année des classes préparatoires aux grandes écoles. Il développe dans un seul manuel les deux grandes parties que sont la mécanique du solide (cinématique, modélisation cinématique et statique) et l'automatique (systèmes logiques, GRAFCET et systèmes asservis).
[lire la quatrième du livre Sciences industrielles Mécanique et automatique [...]]
Cet ouvrage s'inscrit dans le cadre des publications du Collège Scientifique et Technique de THALES. Il capitalise la longue expérience du Groupe, notamment à l'export, dans le domaine de l'ingénierie des Systèmes de Télécommunications.
[lire la quatrième du livre Télécommunications et Infrastructure]
L'ouvrage (niveau B) : MACAO (Méthode d'Analyse et de Conception d'Applications Orientées Objet), est une méthode du génie logiciel permettant de conduire un projet informatique de bout en bout, de sa définition à sa maintenance.
[lire la quatrième du livre Méthode orientée-objet intégrale MACAO]
L'ouvrage (niveau B) :
L'ouvrage s'adresse aux étudiants en électronique et automatique des différentes formations scientifiques et technologiques ou en formation continue.
[lire la quatrième du livre L'outil graphique en électronique et automatique]
Ce livre propose une introduction extensive à la programmation, avec comme optique la programmation de qualité, c'est-à-dire menant à des programmes robustes et facilement lisibles. Il utilise comme support le langage C, dont tous les aspects, même les plus délicats (pointeurs, macro-instructions) sont traités avec le souci constant d'une présentation claire et complète.
[lire la quatrième du livre Belle programmation en langage C]
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
[lire la quatrième du livre Spécification des logiciels]
L'ouvrage présente les éléments de base utilisés dans la modélisation, l'analyse et la commande des systèmes dynamiques linéaires continus. La première partie concerne les systèmes monovariables et traite des concepts et des méthodes abordés dans le cadre de l'automatique classique (approche entrée-sortie).
[lire la quatrième du livre Automatique Commande automatique des systèmes [...]]
Grâce aux progrès de la technologie et à la baisse des coûts, l'usage d'un ordinateur est maintenant devenu habituel aussi bien à la maison qu'au bureau, et la demande d'accès à Internet ne fait qu'accroître la diffusion de cet outil.
[lire la quatrième du livre Le Micro]
Deux hypothèses pourraient expliquer l'apparition en informatique depuis une douzaine d'années de la conception orientée objet : ou bien elle permet une modélisation simple et naturelle du monde réel, et alors elle s'imposerait comme une évidence, ou bien elle est induite par l'utilisation croissante de langages orientés objet, et alors elle serait une fatalité.
[lire la quatrième du livre La conception orientée objet, évidence ou [...]]
Le temps réel industriel est d'abord situé parmi les différents programmes informatiques. Puis l'ouvrage recense et explique ses mécanismes.
[lire la quatrième du livre Approche du temps réel industriel]
L'ouvrage est une étude des mécanismes fondamentaux fréquemment rencontrés dans le contrôle de processus temps réel.Une première partie développe les concepts de base (tel l'usage des interruptions électroniques) et des algorithmes de gestion de processus associés.
[lire la quatrième du livre Gestion des processus industriels temps réel]
La série Nostalgie d'ETSF propose des rééditions, dans leur présentation originale, de grands classiques de l'édition scientifique et technique ou d'ouvrages consacrés à des appareils anciens. Elle intéressera les passionnés d'électronique ainsi que les amateurs d'appareils de collection.
[lire la quatrième du livre La radio ? Mais c'est très simple]
Tout système de communications utilise un canal (faisceau hertzien, Gable électrique ou optique, etc.), cause de distorsions variées qu'il faut corriger afin d'assurer la fonction principale d'un tel système : la transmission sans erreur de l'information d'un point à un autre.
[lire la quatrième du livre Signal et communications]
