Showing 1 - 20 results of 622 for search '"[INFO:INFO_OH] Informatique/Autre"', query time: 2.12s Refine Results
  1. 1
    Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
    by Timpanaro, Juan Pablo
    Published 2013
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  2. 2
    Protection des données privées dans les réseaux sociaux
    by Cutillo, Leucio Antonio
    Published 2012
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  3. 3
    Nash equilibria in concurrent games : application to timed games
    by Brenguier, Romain
    Published 2012
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  4. 4
    Une méthode d'évaluation géolocalisée de l'insertion des projets routiers dans les territoires et de choix de variantes
    by LE, Thanh Toan
    Published 2011
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  5. 5
    Distributed cost-optimal planning
    by Jezequel, Loïg
    Published 2012
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  6. 6
    Towards more scalable mutual exclusion for multicore architectures
    by Lozi, Jean-Pierre
    Published 2014
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  7. 7
    Extraction d'informations à partir de documents<br />juridiques : application à la contrefaçon de marques
    by Renaux, Pierre
    Published 2006
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  8. 8
    Synthesis of correct-by-design schedulers for hybrid systems
    by Soulat, Romain
    Published 2014
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  9. 9
    Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés
    by Boneva, Iovka
    Published 2006
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  10. 10
    Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel
    by Ouhammou, Yassine
    Published 2013
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  11. 11
    Separation logic : expressiveness, complexity, temporal extension
    by Brochenin, Rémi
    Published 2013
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  12. 12
    Propriétés de jeux multi-agents
    by Da Costa Lopes, Arnaud
    Published 2011
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  13. 13
    Les contre-mesures par masquage contre les attaques HO-DPA : évaluation et amélioration de la sécurité en utilisant des encodages spécifiques
    by Maghrebi, Houssem
    Published 2012
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  14. 14
    Computational methods for de novo assembly of next-generation genome sequencing data
    by Chikhi, Rayan
    Published 2012
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  15. 15
    Query evaluation with constant delay
    by Kazana, Wojciech
    Published 2013
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  16. 16
    Rendu réaliste de matériaux complexes
    by De Rousiers, Charles
    Published 2011
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  17. 17
    Intégration du déploiement de flotte et du service aux passagers dans la gestion de la planification pour compagnie aérienne
    by Duquesne, Christophe-Marie
    Published 2013
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  18. 18
    Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
    by Babau, Jean-Philippe
    Published 2005
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  19. 19
    The versatility of using explanations within constraint programming
    by Jussien, Narendra
    Published 2003
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
  20. 20
    BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
    by Fortin, Jean
    Published 2013
    Subjects: “...[INFO:INFO_OH] Informatique/Autre...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search