Skip to Main content Skip to Navigation
  1. Search


...
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 Serrano, Amelie Gyrard, Michael Boniface, Paul Grace, Nikolaos 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⟩
...
inria-00589508v1  Reports
Alireza Esna Ashari, Laurent Mevel. Optimal Input Design for Subspace-Based Fault Detection and Identification
[Research Report] RR-7609, INRIA. 2010, pp.20
...
tel-01748094v1  Theses
Daniela Grigori. Eléments de flexibilité des systèmes de workflow pour la définition et l'exécution de procédés coopératifs
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2001. Français. ⟨NNT : 2001NAN10241⟩
...
tel-01751318v1  Theses
Adrien Krähenbühl. Segmentation et analyse géométrique : application aux images tomodensitométriques de bois
Autre [cs.OH]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0276⟩
...
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-01752888v1  Theses
Marco Gaboardi. Linearity : an analytic tool in the study of complexity and semantics of programming languages
Other. Institut National Polytechnique de Lorraine, 2007. English. ⟨NNT : 2007INPL099N⟩
...
tel-01752548v1  Theses
Luciano Pereira dos Reis. Une architecture pour la collaboration synchrone à distance appliquée à la visualisation et à la modélisation dans les géosciences :
Autre. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL018N⟩
...
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-01750586v1  Theses
Jamila Ben Slimane. Allocation conjointe des canaux de fréquence et des créneaux de temps et routage avec QdS dans les réseaux de capteurs sans fil denses et étendus
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0224⟩
...
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-01749790v1  Theses
Rodolphe Charrier. L'intelligence en essaim sous l'angle des systèmes complexes : étude d'un système multi-agent réactif à base d'itérations logistiques couplées
Autre [cs.OH]. Université Nancy 2, 2009. Français. ⟨NNT : 2009NAN23001⟩
...
tel-01746242v1  Theses
Tony Bourdier. Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10096⟩
...
tel-01747107v1  Theses
Christelle Scharff. Déduction avec contraintes et simplification dans les théories équationnelles
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1999. Français. ⟨NNT : 1999NAN10271⟩
...
tel-01750679v1  Theses
Thanh Ha Do. Sparse representations over learned dictionary for document analysis
Other [cs.OH]. Université de Lorraine, 2014. English. ⟨NNT : 2014LORR0021⟩
...
tel-01746173v1  Theses
Thibault Cholez. Supervision des réseaux pair à pair structurés appliquée à la sécurité des contenus
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10036⟩
...
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⟩
...
tel-01747515v1  Theses
Samuel Adesoye Ajila. Maintenance logicielle : analyse d'impact, problématique et mise en oeuvre
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1995. Français. ⟨NNT : 1995NAN10029⟩
...
tel-01753530v1  Theses
Malek Mouhoub. Contribution à l'étude des techniques de propagation de contraintes symboliques et numériques pour le raisonnement temporel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 1996. Français. ⟨NNT : 1996NAN10320⟩
...
tel-01751259v1  Theses
Manel Tagorti. Sur les abstractions et les projections des processus décisionnels de Markov de grande taille
Autre [cs.OH]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0005⟩
...
tel-01748451v1  Theses
Olivier Christmann. Navigation dans de grands ensembles non structurés de documents visuels
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10046⟩