assistant de preuve... Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire... 'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve développé... – de correction doit être guidée par l’utilisateur. Les assistants de preuve MILNER (R.) - LCF : A way of...
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.
assistance... -assistance d’Expert Téléportation permettent aux techniciens présents sur site, quand c’est nécessaire... , de disposer d’une assistance en temps réel par un expert qualifié. Expert Téléportation, leader... de l’édition logicielle de télé-assistance pour l’industrie, a été retenu par le groupe EDF pour la mise...
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 !
Cet article propose une définition générique des exosquelettes ainsi qu’une vision structurée des recherches sur ces dispositifs, pour permettre au lecteur de comprendre la technologie et les limites de ces dispositifs, leur grande diversité et les nombreuses difficultés associées à leur développement. L’article s’attache donc à construire une taxonomie permettant de structurer le domaine e...
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.
Vous avez un projet d’installation soumis au régime de la déclaration. Or, depuis le 1er janvier 2016, la procédure de déclaration est dématérialisée.
180 fiches actions pour auditer et améliorer vos réponses aux obligations relatives aux installations classées pour la protection de l'environnement
Vous êtes consulté par une entreprise française pour l’accompagner dans un projet à l’étranger.
Bien que le projet soit étudié en France, la phase finale se déroulera à l’étranger. Il peut s’agir de la livraison et de la mise en place d’un équipement, un service à assurer auprès de votre client à l’étranger.
Il vous faudra :
Un outil incontournable pour comprendre, agir et choisir- Nouveauté !
Vous êtes en relation avec une commune qui vous demande de lui fournir, par exemple, une installation informatique. Ce contrat peut-il être conclu librement, ou au contraire, est-il soumis à des règles spécifiques ?
Un texte régit désormais tous les contrats conclus par des personnes publiques. C’est le Code de la commande publique, dont la version législative est issue de l’ordonnance n° 2018-1074 du 26 novembre 2018, suivie du décret n° 2018-1075 du 3 décembre 2018 pour la partie réglementaire.
Un outil incontournable pour comprendre, agir et choisir- Nouveauté !
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
