#

Genie logiciel assiste par ordinateur

Genie logiciel assiste par ordinateur dans l'actualité

Toute l'actualité


Genie logiciel assiste par ordinateur dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 févr. 2004
  • |
  • Réf : C5420

Utilisation des explosifs dans le génie civil

qu’une détermination souvent approximative de la position des trous. Des logiciels spécialisés sont apparus, utilisant... son « travail ». Dans le cas contraire, on assiste le plus souvent à une fissuration d’un plus grand volume... , il faut laisser le temps au massif de « gonfler ». Dans le cas contraire, on assiste à des projections... particulière par type de chantier L’utilisation des explosifs dans le génie civil est diversifié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.

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : H3310

Coq, 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é... logiciel. Parmi les divers assistants de preuve, Coq se distingue par sa fiabilité, une bibliothèque... assistant de preuve...

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.

  • Article de bases documentaires
  • |
  • 10 juin 2014
  • |
  • Réf : MED8200

Biomécanique pour les gestes médico-chirurgicaux assistés par ordinateur

dans un contexte de gestes médico-chirurgicaux assistés par ordinateur (GMCAO). Pour chaque organe d... en fin d'article. L'acronyme GMCAO (Gestes Médico-Chirurgicaux Assistés par Ordinateur) a été... 'intervention chirurgicale. Introduits dans les années 1980, les Gestes Médico-Chirurgicaux Assistés par Ordinateur... médecine assistée par ordinateur...

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.


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !