Application des techniques formelles au logiciel
Extraits
Informatique
Application des techniques formelles au logiciel
Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Eléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Evaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.
07/1997
Economie
Finance des marchés. Techniques quantitatives et applications pratiques
Méthode de Monte-Carlo, modèle de Black-Scholes, modèle log-normal, options vanille, mouvement brownien..., cet ouvrage couvre l'ensemble des fondamentaux de la finance des marchés. Il présente de manière claire et concise concepts théoriques, les outils et le vocabulaire essentiels à la compréhension : de la valeur temps des flux financiers ; des obligations, principe d'arbitrage et rentabilité-risque ; des produits dérivés ; de la modélisation financière. Fort de la double expérience des auteurs, tant en milieu professionnel qu'en recherche appliquée, ce livre combine en un juste équilibre rappels théoriques et exercices pratiques corrigés. Didactique, il progresse en difficulté depuis les notions élémentaires sur les taux d'intérêt jusqu'aux concepts avancés de la théorie des options, en évitant l'excès de formalisation. Son caractère opérationnel et actuel en fait l'ouvrage indispensable aux praticiens de la finance comme aux étudiants.
04/2008
Ostéopathie
L'ostéopathie. Fondements, techniques et applications
La démarche de l'ostéopathie est primordiale, à une époque où la médecine a tendance à traiter le corps organe par organe. Les ostéopathes font appel à des notions de palpations, de manipulations manuelles en prise directe avec l'être souffrant. Ils se réfèrent à l'examen médical traditionnel, basé sur une écoute attentive du patient, mais affiné par une appréhension des tissus et des organes très caractéristique. Technique qui, en France, a de nombreuses difficultés à se faire reconnaître officiellement. Pourtant, l'ostéopathie peut se targuer de réussites incontestables, là où d'autres disciplines médicales échouent bien souvent. Outre l'avantage de poser les bases historiques et théoriques, cet ouvrage a le mérite de montrer les rapports entre l'ostéopathie et les différentes disciplines médicales ou paramédicales, et d'expliquer simplement des mécanismes complexes. Il propose de multiples exemples concrets permettant au lecteur de comprendre la démarche ostéopathique dans son rapport au terrain et dans son adaptation à l'histoire du patient.
07/2022
Enseignement professionel
Applications commerciales et comptables sur logiciel EBP PGI Open Line. Pack formateur
Le PACK "formateur" comprend : - le livre élève - un CDRom contenant : les fichiers de base de données et leur restauration après chaque application validée, le corrigé des cas du livre élève sous forme numérique. Ce livre élève présente une collection d'applications permettant de se familiariser avec le progiciel de gestion intégré Open Line EBP et d'utiliser en autonomie, sous la direction de l'enseignant, les principales fonctionnalités commerciales et comptables des modules. Chaque cas est construit autour d'une ou plusieurs fiches de procédure incitant l'utilisateur à faire preuve de réflexion et d'initiative devant des situations multiples et variées. L'auteur, Robert Wipf, formateur en informatique, a apprécié cette version du PGI EBP et vous en fait découvrir en douceur toutes les facettes.
10/2019
Géopolitique
Russie, le logiciel impérial
L'offensive de la Fédération de Russie contre l'Ukraine, lancée le 24 février 2022, a surpris, par son ampleur, tous les observateurs du monde russe et post-soviétique. Les analyses de ce conflit sont multiples et contradictoires. Plusieurs grilles de lecture reviennent néanmoins : démocratie (ukrainienne) contre autoritarisme (russe), nation (ukrainienne) contre Empire (russo-soviétique), Europe-Occident (Ukraine) contre Eurasie (Russie), émancipation (ukrainienne) contre oppression coloniale (russo-soviétique), société civile (ukrainienne) contre Etat oppressif (russe)... Or, une question est toujours évacuée ou oubliée, c'est celle de l'Etat. Pour la Russie comme pour tous les pays de son ancien " empire " , la construction de l'Etat et la hantise de son effondrement sont centrales. Cet ouvrage vise à resituer ce conflit dans la longue continuité de l'Etat russe moderne (Empire russe, URSS, Fédération de Russie). Il faut revenir sur la dynamique impériale qui a présidé à sa création et à l'expansion géographique progressive de l'Etat russe depuis le XVe siècle pour analyser et comprendre le présent. Titulaire d'un doctorat et d'une HDR (Habilitation à Diriger les Recherches) en science politique à l'IEP de Paris, Jean-Robert Raviot est professeur de civilisation russe et soviétique à l'Université Paris-Ouest Nanterre La Défense depuis 2000. Au cours des années 1990, il a effectué plusieurs séjours de longue durée en URSS puis en Russie : à l'Institut de l'économie mondiale et des relations internationales de Moscou (IMEMO), à l'Institut de sociologie de la section sibérienne de l'Académie des sciences de Russie à Akademgorodok (région de Novosibirsk) ainsi que des missions plus ponctuelles dans les républiques du Tatarstan (Volga) et du Bachkortostan, ainsi que dans d'autres régions de Russie. Il a dirigé les Collèges universitaires français de Saint-Pétersbourg (1997-1998) puis de Moscou (1998-1999). Il est auteur de plusieurs ouvrages, dont "Démocratie à la russe" (Ellipses) et "Russie, vers une nouvelle guerre froide ? " (Documentation Française)
02/2024
Sports
10 techniques pour vous defendre (et leur applications)
L'auteur, Marcel Lancino, ceinture noire de judo et de karaté, nous présente une sélection de dix techniques de défense, techniques simples, sobres mais efficaces. Un ouvrage qui s'adresse à tout public dans le cas de "combat réel" imprévisible où l'agressé ne peut improviser et n'a que peu de temps pour agir. Voici dix techniques pour apprendre à vous défendre face à certaines situations. Pour être plus efficaces, ces techniques doivent devenir un automatisme.
02/1984
Ostéopathie
L'ostéopathie. Les fondements, les techniques et les applications au quotidien, 2e édition
Reconnue comme médecine complémentaire, l'ostéopathie est devenue une spécialité à part entière. Elle prend en compte le corps dans sa globalité pour mieux cibler les points de tension et les dissiper. Cet ouvrage illustré vous propose une vue d'ensemble de l'ostéopathie, de ses fondements à son application quotidienne. Pascal Pilate commence par passer en revue les différentes techniques mises en oeuvre ; il propose ensuite plus de 100 exercices pratiques accessibles à tous, pour retrouver jour après jour confort articulaire et bien-être.
02/2021
Informatique
Java Spring. Le socle technique des applications Java EE, 3e édition
Ce livre apporte les éléments clés pour se repérer dans les différentes technologies utilisées dans les projets basés sur Spring. Il prend en compte les différences de configuration liées aux versions de Spring (en version 4.3 et 5.2 au moment de l'écriture) et se base sur des exemples concrets d'utilisation. Il permet au lecteur d'être très rapidement autonome sur un projet d'entreprise qui utilise Spring, que ce soit au début d'un nouveau projet ou pour maintenir un projet existant : compréhension du noyau, accès aux données, maîtrise de la couche web. Des connaissances sur le développement Java et notamment le développement d'applications web sont un prérequis indispensable pour tirer le meilleur parti possible du livre. L'auteur présente tout d'abord les éléments simples et courants de Spring (la configuration, les contextes, les librairies tiers) et explique ensuite certains aspects plus complexes que l'on rencontre souvent dans les projets (Ressources, Bindeurs, Validateurs, Convertisseurs et Tests). La programmation par aspects est expérimentée, les applications web Spring MVC et les Web Services sont détaillés avec les tests unitaires associés. L'auteur présente les nouveautés Spring Boot, Kotlin avec Angular, les applications orientées messages et Spring Batch, une introduction à Reactor et WebFlux et termine par une description de la partie Spring d'un projet généré à partir de JHipster afin d'illustrer une mise en oeuvre très actuelle. Tout au long des chapitres, l'auteur s'appuie sur des exemples fonctionnels afin de permettre l'expérimentation au plus tôt par le lecteur. Dans ce but, des éléments sont en téléchargement sur le site www.editions-eni.fr.
01/2021
Mathématiques
Guide du calcul avec les logiciels libres. XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, MuPAD
Le Guide du Calcul avec les logiciels libres vous propose de maîtriser les bases de plusieurs logiciels gratuits de calcul formel et numérique, et de géométrie dynamique : XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, Octave, Yacas, et également MuPAD (non libre). Ces logiciels sont multiplateformes (Windows, Mac, Linux) et s'installent rapidement. La grande originalité de cet ouvrage est de détailler pas à pas l'utilisation de plusieurs logiciels pour plusieurs types de calcul. Il propose ainsi des applications en mathématiques, en physique et en sciences de l'ingénieur (par exemple : équations différentielles utilisées en physique, traitement du son...). Il vous aidera à savoir utiliser le bon logiciel au bon moment pour résoudre le bon problème. Cet ouvrage s'adresse à toute personne voulant utiliser le calcul en mathématiques à l'aide de logiciels libres : étudiants en mathématiques ou en informatique, professeurs de lycée souhaitant utiliser ces outils dans le cadre de leur cours et jusqu'aux candidats à l'agrégation désirant se préparer à l'épreuve de modélisation. Un index thématique et un index des commandes par logiciel aident le lecteur à trouver rapidement l'information qu'il recherche.
01/2008
Mathématiques
Logiciel et industrie du futur
En l'espace de quelques années, préparer l'industrie du futur est devenu l'un des enjeux majeurs des entreprises et territoires industrialisés. L'industrie du futur s'intègre dans un contexte général de numérisation de la société et de nombreux gouvernements y voient un facteur possible de relance ou de maintien de la compétitivité et de la rentabilité des industries. L'ouverture à la concurrence a également encouragé différents pays à mettre en place un ensemble de plans stratégiques nationaux et internationaux ces dernières années. Les définitions données à l'industrie du futur sont multiples et divergent parfois d'un pays ou d'une institution à une autre. Cet ouvrage vise à présenter l'analyse et la vision de chercheurs français travaillant dans plusieurs domaines en lien avec l'informatique et le logiciel. Le constat observé est l'absence quasi systématique de débats et de questionnements sur le logiciel et sur son apport dans l'industrie du futur. Il est pourtant primordial de ramener ce problème au centre du discours pour être en mesure de construire une industrie du futur de façon évolutive, maintenable, sécurisée, efficace, etc.
11/2019
Sciences politiques
La politique : changement de logiciel
Faire de la politique locale ou nationale nécessite que l'on change radicalement d'approches. Ce livre permettra de guider pour ce changement de façon de faire de la politique.
09/2023
Sports
Karaté, les cahiers techniques. Tome 1, De la technique de base au combat
Guy Sauvin, ancien champion de France et d'Europe, nous livre le fruit de sa profonde expérience. Les cahiers techniques de karaté représentent une méthode d'enseignement unifiée, attendue par tout le corps enseignant depuis très longtemps. Les cahiers techniques - tous styles confondus - correspondent à un besoin. Longtemps cloisonnés et repliés sur eux-mêmes, les "styles" de karaté subissent un phénomène d'osmose et, les katas mis à part, on trouve de moins en moins de différences dans l'enseignement, quels que soient les styles pratiqués. L'auteur, ayant apporté de façon si complète sa contribution à la construction du karaté, nous explique ici comment appliquer au combat les techniques de base.
11/1980
Carrière et réussite
Le grand livre des techniques d'optimisation du potentiel. Concepts, méthodes et applications
Les Techniques d'Optimisation du Potentiel (TOP) apportent des outils simples et opérationnels dont l'efficacité a été prouvée dans plusieurs domaines dont la gestion du stress, la gestion de la fatigue, l'apprentissage... Cette méthode TOP a fait ses preuves depuis une trentaine d'année dans de nombreux secteurs : performances sportives, santé, entreprises de tous horizons, police nationale, pompiers, enseignement, etc. Une méthode qui permet de s'adapter à toutes les situations en gérant efficacement sa dépense d'énergie dans la durée. Ce Grand Livre offre au lecteur une introduction complète à la méthode TOP, complétée par des exemples pratiques d'application à de nombreux domaines.
01/2024
Médecine vétérinaire
Traitement des exomphales des jeunes animaux, application au traitement des hernies inguinales
Nouvelle méthode de traitement sûre, prompte et efficace des exomphales des jeunes animaux, application au traitement des hernies inguinales, par Hippolyte Marlot,... Date de l'édition originale : 1860 Le présent ouvrage s'inscrit dans une politique de conservation patrimoniale des ouvrages de la littérature Française mise en place avec la BNF. HACHETTE LIVRE et la BNF proposent ainsi un catalogue de titres indisponibles, la BNF ayant numérisé ces oeuvres et HACHETTE LIVRE les imprimant à la demande. Certains de ces ouvrages reflètent des courants de pensée caractéristiques de leur époque, mais qui seraient aujourd'hui jugés condamnables. Ils n'en appartiennent pas moins à l'histoire des idées en France et sont susceptibles de présenter un intérêt scientifique ou historique. Le sens de notre démarche éditoriale consiste ainsi à permettre l'accès à ces oeuvres sans pour autant que nous en cautionnions en aucune façon le contenu.
04/2020
Sciences de la terre et de la
Géostatistique linéaire. Application au domaine minier
Depuis sa création en 1979, le Cycle de Formation Spécialisée en Géostastique (CFSG) de l'Ecole des Mines de Paris a pour but de former, en 9 mois, des experts en géostatistique minière. Ce livre reprend le cours dispensé à l'Ecole des Mines à cette occasion. Il possède donc un caractère appliqué qui le distingue des autres livres de géostatistique linéaire, par ailleurs souvent en anglais.
Partant d'un exemple illustrant le gain financier que la géostatistique apporte pour l'estimation des réserves, le livre introduit la notion de variable régionalisée. Le variogramme apparaît comme l'outil naturel pour caractériser leur double nature à la fois structurée et aléatoire. En plus de la théorie, les problèmes pratiques de l'interprétation et de la modélisation du variogramme sont traités.
La deuxième partie de l'ouvrage est consacrée à la méthode géostatistique d'estimation, le krigeage. Sont alors traités la théorie du krigeage ordinaire et du krigeage simple ainsi que leurs propriétés. Un chapitre complet étudie les aspects pratiques de sa mise en œuvre tels le choix du voisinage de krigeage.
Ce livre s'adresse à des ingénieurs et géologues confrontés à l'estimation des réserves minières. Le niveau de connaissance requis pour une compréhension parfaite s'arrête à la résolution de systèmes linéaires d'équations et aux notions de calcul différentiel.
Les auteurs ont volontairement mis à la disposition du public un livre clair, précis et utile par son caractère appliqué. C'est un outil qui va simplement à l'essentiel.
10/1997
Energie
L'énergie. Des sciences aux techniques
Cet ouvrage vous donnera toutes les clés de compréhension nécessaires pour aborder le thème de l'énergie et de ses usages. Vous en traverserez l'histoire et en traiterez les aspects physiques, sociaux, climatiques, le tout sans omettre les techniques de production et de stockage, ni oublier les ressources qui sont utilisées. L'énergie a beau être invisible, ses effets sont concrets. Nous en parlons tous, nous en consommons sans cesse mais qu'en savons-nous réellement ? L'auteur, universitaire et ingénieur, en faisant le point sur la situation, vous propose de répondre à cette question. Ce sujet parfois difficile est abordé avec des mots simples, sans calcul. Il est illustré par de nombreux dessins qui facilitent la compréhension. Ce livre accompagnera les élèves et les étudiants dans la préparation de leurs examens et concours. En plus de nourrir la réflexion, il interroge sur les crises énergétiques. Pourraient-elles réellement remettre en question la survie de la planète ?
04/2024
Philosophie
Gottlob Frege, logicien, philosophe
Ce livre retrace le parcours de ce logicien philosophe de l'idéographie (1879), aux Ecrits posthumes. L'invention d'une écriture conceptuelle, la définition logique du nombre ainsi que la croyance en un monde des pensées, objectives, communicables et éternelles sont les trois volets présentés ici.
04/1997
Psychologie, psychanalyse
L'analyse formelle des rêves et des récits d'imagination
L'analyse formelle est une méthode d'analyse de contenu des communications, appliquée ici à l'analyse des communications projectives. Elle explicite une forme sémantique qui peut être considérée comme un des éléments organisateurs de la structure psychologique interne du sujet.
01/1993
Progiciels
SolidWorks. Le manuel de référence
SolidWorks est un logiciel de CAO (Conception Assistée par Ordinateur) permettant de faire de la modélisation 3D et de réaliser des dessins techniques. Si ses bases sont enseignées dans les lycées technologiques, les professionnels l'utilisant au quotidien ont besoin de se former à des fonctionnalités plus complexes du logiciel, pour des applications variées (industrie, BTP, simulation mécanique...). L'objectif de cet ouvrage est de soutenir ce besoin de formation continue en détaillant l'ensemble des fonctions du logiciel, des plus simples aux plus complexes. Une prise en main détaillée et progressive est proposée, accompagnée d'exercices de difficulté croissante, dont les bases de données seront téléchargeables en ligne. Largement illustré et en couleurs, il offre de nombreuses astuces pratiques qui permettront au lecteur de gagner du temps et de parfaire son utilisation du logiciel.
11/2023
Beaux arts
Pratiques scientifiques et techniques au regard des politiques culturelles
L'appel à projets de recherche Pratiques scientifiques et techniques au regard des politiques culturelles : questions et enjeux, lancé en 2015 par le Ministère de la Culture et de la Communication, témoigne du renouvellement de l'intérêt ministériel pour la culture scientifique, technique et industrielle (CSTI) et de son attention a encourager la réalisation de recherches qui ne soient pas uniquement portées par les chercheurs. L'appel s'adressait, en effet, à des recherches mettant en avant le principe d'une démarche partagée, d'un questionnement réciproque et d'une coproduction de savoirs entre institutions, chercheurs et monde associatif partant de situations concrètes, d'expériences qui mobilisent des conceptions et des pratiques de la culture scientifique, technique et industrielle différentes. La clôture de cet appel à projets de recherche par le séminaire éponyme, organisé en partenariat avec l'Office de coopération et d'information muséales (Ocim), a donné l'occasion de partager plus largement la richesse et la diversité des projets retenus, en concentrant le propos sur les expériences vécues au sein de chaque projet lauréat. Ces échanges sont aujourd'hui prolongés dans l'édition du présent ouvrage, destiné aux acteurs sensibles à une démarche de recherche collaborative, ou engagés dans cette démarche. Il s'adresse à tous ceux qui mènent des projets de recherche en partenariat avec une diversité d'acteurs dans le champ de la CSTI comme dans le domaine culturel au sens large.
01/2019
Technologies
Manuel technique du maçon. Matériaux, outils et techniques, 2e édition
Le manuel de Claude Prêcheur contient tout ce qui est nécessaire à l'exercice du métier de maçon. Gestes, outils, méthodes, matériaux, réglementation : tout ce qu'un professionnel doit savoir y est exposé en termes précis. Chaque description est illustrée par des photos et des schémas en couleurs. Livre d'étude pour les futurs professionnels qui préparent leurs examens, aide-mémoire pour les artisans qui cherchent une référence, support pratique d'enseignement pour les formateurs, c'est l'oeuvre d'un maçon soucieux de partager son expérience et de transmettre ses connaissances. Que l'on ait décidé de devenir maçon, que l'on veuille réaliser seul ses travaux de gros oeuvre ou que l'on souhaite simplement suivre la construction de sa maison, on trouvera ici les connaissances technologiques nécessaires et les conseils pratiques pour réussir. Ce manuel aidera aussi les futurs professionnels à évoluer dans leur carrière vers les postes d'encadrement, les autoconstructeurs à réaliser — dans les règles de l'art — des travaux complexes et, aux particuliers qui font construire, il offrira des garanties. On appréciera par exemple les astuces du maçon-coffreur, mais on saura aussi comment interpréter des plans d'architecte ou les documents du bureau d'étude. Des exercices corrigés permettront par ailleurs à ceux qui préparent un examen de vérifier la bonne assimilation des connaissances.
02/2019
Comptabilité générale
La compta... mais c'est très simple ! 2e édition
Cet ouvrage présente de manière très didactique, à travers une histoire concrète d'entreprise " fil rouge " , les fondamentaux de la comptabilité et des techniques comptables. Il explique l'ensemble des concepts comptables, à l'aide de nombreux exemples de situations particulières émaillant le " fil rouge " . A la fin de chaque chapitre, 5 applications corrigées illustrent les subtilités du thème traité. L'originalité du livre est d'offrir au lecteur la possibilité d'approfondir les contenus et applications au moyen d'un logiciel comptable gratuit en ligne.
Comptabilité générale
La compta... mais c'est très simple ! Edition 2020
Cet ouvrage présente de manière très didactique, à travers une histoire concrète d'entreprise " fil rouge " , les fondamentaux de la comptabilité et des techniques comptables. Il explique l'ensemble des concepts comptables, à l'aide de nombreux exemples de situations particulières émaillant le " fil rouge " . A la fin de chaque chapitre, 5 applications corrigées illustrent les subtilités du thème traité. L'originalité du livre est d'offrir au lecteur la possibilité d'approfondir les contenus et applications au moyen d'un logiciel comptable gratuit en ligne.
02/2024
Code et compilateur
Artisanat logiciel propre. Disciplines, normes et éthique
Clean Craftsmanship commence là où Coder proprement s'arrête. Ce guide technique, pragmatique et éthique des disciplines fondamentales de l'artisanat logiciel aborde les normes, en montrant comment les attentes envers les développeurs diffèrent souvent de la réalité. Oncle Bob propose une charte éthique de la profession de programmeur, en décrivant les promesses fondamentales que tous les développeurs devraient faire à leurs collègues, à leurs utilisateurs et, surtout, à eux-mêmes et fournir un code qui renforce la confiance au lieu de la miner. N'oublions pas que la survie des logiciels dépend de la confiance entre les utilisateurs et les sociétés. R.C. Martin, l'auteur de Coder proprement, rassemble tous les éléments nécessaires pour fournir un code robuste et efficace : un guide technique à travers différents types de tests, à appliquer par petites touches, pour vérifier la qualité de son code tout au long de son développement les normes de productivité, de qualité et de courage à respecter pour fournir le code le plus adapté à l'usage des commanditaires et des utilisateurs l'éthique à mettre en place pour éviter les dommages, être intègre et travailler en équipe afin de travailler dans les meilleures conditions et s'accomplir grâce dans son métier. Clean Craftsmanship est le dernier opus de R.C. Martin. Il complète la série en réunissant ses différents chevaux de bataille : la discipline à mettre en place dans le développement du code, la prise de conscience des contraintes de la réalité, et l'éthique vis-à-vis de soi et des autres.
12/2022
Littérature française
Etude et mise en place d'une solution open source de Cloud Computing. Etude et mise en place d'une solution open source de Cloud Computing au seind'une entreprise privée
Le Cloud Computing est un environnement logiciel puissant et flexible qui délègue la gestion du matériel, et qu'on paie selon la consommation. La migration des applications d'entreprise sur cet environnement ne cesse de s'accentuer. Une grande partie de cesapplications est offerte sous forme de services Web, qui standardisent l'accès aux logiciels métier via Internet. Le but de cet étude est de mettre en place une solution Cloud Computing privé pour une entreprise en lui créant une infrastructure en tant que service.
01/2022
Droit
Introduction au droit international. Formation, application, exécution
Considéré volontiers comme un droit distant, cantonné aux salons feutrés des diplomates, le droit international s'occupe au moins tout autant des affaires bruyantes de la vie quotidienne, aussi "banales" que le statut fiscal des revenus perçus à l'étranger, les garanties du gardé à vue, les délits de presse, le licenciement ou l'affranchissement des courriers postaux. Et si on l'imagine parfois comme le droit "bon et bafoué" qui voulait proscrire la guerre et promouvoir le développement, c'est qu'on le connaît mal. Le droit international n'est pas toujours grand, et il est rarement gentil, mais il est certainement utile de le connaître car aucun domaine de la vie sociale des hommes ne lui échappe désormais. En effet, il n'existe pas une sorte de "matière internationale" dans laquelle il serait confiné : du commerce international aux affaires pénales, du procès civil à la fiscalité internationale, des médias à l'industrie, des relations de travail à la protection des brevets, ou à la pêche du sébaste, le droit international conquiert chaque jour de nouveaux espaces réglementaires. L'objet d'une introduction au droit international ne peut donc pas être la description, même sommaire, de l'ensemble immense et grandissant des règles du droit international, mais plutôt l'étude de ses techniques de formation, d'application et d'exécution. Leur compréhension permettra à chacun, praticien ou citoyen cultivé, respectivement de l'utiliser ou de l'évaluer.
10/2013
Informatique
Techniques audio appliquées au mixage cinéma
Le son fait partie intégrante du spectacle cinématographique. Ceci est encore plus vrai depuis une dizaine d'années, avec le développement des techniques audionumériques et multicanal. Les procédures "ancestrales" qui jusque-là avaient été conservées dans les métiers du son pour le cinéma ont évolué, le numérique les remplaçant petit à petit. Aujourd'hui, aucun mixeur ne peut faire du cinéma s'il ne connaît pas les dernières technologies, d'autant plus qu'avec l'essor du home cinéma, l'enjeu ne se limite plus aux seules salles obscures.
Techniques audio appliquées au mixage cinéma fournit les principales connaissances théoriques, techniques et technologiques qui permettent de mixer du son pour l'image animée. C'est un livre accessible à tous ceux qui travaillent dans la post-production son pour le cinéma - monteurs, assistants d'auditorium, ingénieurs du son -, ainsi qu'aux étudiants qui s'y préparent. Il intéressera également les cinéphiles et les amateurs de home cinéma qui désirent mieux connaître les techniques employées pour le mixage.
10/2002
Physique, chimie
Electrochimie. Des concepts aux applications, 4e édition
A l'interface de nombreuses spécialités de la chimie et de la physique (électrostatique, hydrodynamique, chimie moléculaire), l'électrochimie est une discipline fondamentale et dynamique. Ce manuel en présente les principaux concepts. Dans cette nouvelle édition actualisée, un chapitre traite des méthodes à modulation de potentiel surimposé. En fin d'ouvrage, des exercices corrigés et des fiches de travaux pratiques sont proposés. Un QCM reprend les points importants du cours. Destiné aux étudiants en Master ou en Ecoles d'ingénieurs, cet ouvrage s'adresse également aux candidats aux concours de l'enseignement (CAPES et Agrégation).
02/2019
Ostéopathie
Le décodage fascial. La fascia, au coeur des techniques ostéopathiques
De nombreuses études ont démontré l'importance des fascias : leur rôle mécanique est capital, ainsi que leur interrelation avec les phénomènes physiologiques et biochimiques. Le fascia connecte toutes les structures du corps, il se prolonge à l'intérieur de la cellule jusqu'au noyau et via les phénomènes de mécano conduction il géré l'organisation de la cellule. Comme il est omniprésent, toutes les techniques ostéopathiques incluront de fait un support fascial. L'épigénétique, la mémoire des événements passés, l'importance de la répartition de l'eau, le rôle de l'intention, les phénomènes électromagnétiques, le fait que les méridiens d'acupuncture circulent à travers le fascia, que les plexus, qui peuvent être assimilés aux chakras, sont également supportés par le fascia, ouvrent de nouvelles perspectives thérapeutiques. Cet ouvrage explore ces nouveaux domaines, il sera une référence, tant théorique que pratique, pour les ostéopathes et thérapeutes manuels.
12/2021
Génétique
Génétique formelle. Méthodes et exercices corrigés
Cet ouvrage aborde la notion de gène et illustre leur implication dans le déterminisme des caractères. Les principes de leur transmission dans les espèces à reproduction sexuée sont détaillés à travers des exercices proposant différentsmodèles animaux et végétaux. Vous y trouverez : - Un rapide historique rappelant le développement de la génétique au cours XXe siècle introduit les notions essentielles telles que celles de gènes, allèles, génotypes ou phénotypes, etc. - Les mécanismes de la méiose et la diversité génétique qui en résulte sont développés ainsi que les prérequis nécessaires à la résolution d'exercices. - Quinze fiches méthodologiques abordent différents niveaux de complexités d'analyse génétique par une présentation des principes et le développement d'exemples. - La dernière partie propose 18 exercices de complexité variable allant pour certaines questions du lycée jusqu'à la Licence et le Master en biologie. Il interessera aussi les étudiants qui préparent les concours de recrutement de l'enseignement (CAPES et Agrégation) et ceux des classes préparatoires aux concours Agro-Véto (BCPST, TB et ATS).
09/2021
