Skip to Main content Skip to Navigation


...
ensl-00086707v1  Books
Jean-Michel Muller. Arithmétique des ordinateurs
Masson, pp.214, 1989, 2-225-81689-1
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
...
tel-00007765v1  Theses
Nicolas Ollinger. Automates cellulaires : structures
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2002. Français
...
hal-01556289v1  Book sections
Martin SerranoAmelie GyrardMichael BonifacePaul GraceNikolaos Georgantas et al.  Cross-Domain Interoperability Using Federated Interoperable Semantic IoT/Cloud Testbeds and Applications: The FIESTA-IoT Approach
Building the Future Internet through FIRE 2016 FIRE Book: A Research and Experiment based Approach, River Publishers, 2017, 978-87-93519-11-4
tel-01746842v1  Theses
Olivier Fissore. Terminaison de la réécriture sous stratégies
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2003. Français. ⟨NNT : 2003NAN10176⟩
...
tel-01754283v1  Theses
Laurent Fousse. Intégration numérique avec erreur bornée en précision arbitraire
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10164⟩
...
tel-01750475v1  Theses
Guillaume Bonfante. Constructions d'ordres, analyse de la complexité
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL102N⟩
...
tel-01752907v1  Theses
Zerouk Mouloua. Ordonnancements coopératifs pour les chaînes logistiques
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2007. Français. ⟨NNT : 2007INPL090N⟩
...
tel-01750479v1  Theses
François Cuny. Radiosité à base d'ondelettes sur des surfaces paramétriques
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2000. Français. ⟨NNT : 2000INPL082N⟩
...
tel-01748200v1  Theses
Nawal Guermouche. Etude des interactions temporisées dans la composition de services Web
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10033⟩
...
tel-01747519v1  Theses
David Chamont. Architecture logicielle pour la simulation des transferts radiatifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10254⟩
...
tel-01748392v1  Theses
Najah Chridi. Contributions à la vérification automatique de protocoles de groupes
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10069⟩