ne font pas partie du texte Coq. Établissement d’un contexte de travail L’assistant de preuve Coq... assistant de preuve... preuve de programme... Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
En 2008 Satoshi Nakamoto définissait un nouveau modèle de monnaies, dont l'émission et la gestion s'opèrent sur un réseau pair-à-pair sans contrôle centralisé. Le Bitcoin, première monnaie cryptographique créée sur ce modèle, existe depuis janvier 2009. Il tient très bien, comme les 7000 autres monnaies du même type créées à sa suite. Il fonctionne grâce à une blockchain, un fichier partagé et co...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
d’un accident du travail, général, technique, administratif et pénal. La condamnation à verser... , en décrivant la mission des inspecteurs du travail, l’engagement et l’initiative de cette poursuite... actualisée de l’article TBA550 intitulé « Les accidents du travail et la responsabilité pénale » rédigé... Les accidents du travail sont encore aujourd’hui un vrai sujet d’actualité dans notre société. Malgré...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
