1
|
Material Type: Tese
|
|
Relaxation methods for mixed-integer nonlinear programming
Xu, Liding
2023
Sem texto completo
|
2
|
Material Type: Tese
|
|
Approximation par Éléments finis C1 des modèles magnétohydrodynamiques pour les plasmas de fusion
Elarif, Ali
2020
Sem texto completo
|
3
|
Material Type: Tese
|
|
Méthodes numériques pour les plasmas sur architectures multicoeurs
Massaro, Michel
2016
Sem texto completo
|
4
|
Material Type: Tese
|
|
Sharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
Solieri, Marco
2016
Sem texto completo
|
5
|
Material Type: Tese
|
|
Résolution des équations de Maxwell tridimensionnelles instationnaires sur architecture massivement multicoeur
Strub, Thomas
2015
Sem texto completo
|
6
|
Material Type: Tese
|
|
Sûreté : de l'analyse à l'instrumentation et à la synthèse de code
Ancourt, Corinne
2015
Sem texto completo
|
7
|
Material Type: Tese
|
|
Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité
Blanqui, Frédéric
2012
Sem texto completo
|
8
|
Material Type: Tese
|
|
Integrated Syntactic/Semantic XML Data Validation with a Reusable Software Component
Golikov, Steven
ProQuest LLC, 2013
ProQuest LLC
Sem texto completo
|
9
|
Material Type: Tese
|
|
Conception d'un Pro Logiciel Interactif sous R pour la Simulation de Processus de Diffusion
Guidoum, Arsalane
2012
Sem texto completo
|
10
|
Material Type: Tese
|
|
Integrated Business Process Adaptation towards Friction-Free Business-to-Business Collaboration
Shan, Zhe
ProQuest LLC, 2011
ProQuest LLC
Sem texto completo
|