Showing 1 - 11 results of 11 for search '"QA 76.05 UL 2005"', query time: 2.24s Refine Results
  1. 1
    La vérification formelle de systèmes réactifs probabilistes finis
    by Nafa, Thouria, Nafa, Thouria
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Get full text
    Dissertation
  2. 2
    Évaluation symbolique de systèmes probabilistes à espace d'états continu
    by Paquette, Simon
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  3. 3
    Spécification, modélisation et analyse du dialogue entre agents par l'intermédiaire des engagements sociaux
    by Bergeron, Mathieu
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  4. 4
    Détection du code malicieux : système de type à effets et instrumentation du code
    by Khoury, Raphaël
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  5. 5
    Catégorisation automatique de textes et cooccurrence de mots provenant de documents non étiquetés
    by Réhel, Simon
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  6. 6
    FATMAS: a methodology to design fault-tolerant multi-agent systems
    by Mellouli, Sehl
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Doctoral Thesis
  7. 7
    A selective dynamic compiler for embedded Java virtual machine targeting ARM processors
    by Mourad, Azzam
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  8. 8
    Automated highway systems : platoons of vehicles viewed as a multiagent system
    by Hallé, Simon
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  9. 9
    Aspects cognitifs des dialogues entre agents artificiels : l'approche par la cohérence cognitive
    by Pasquier, Philippe
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Doctoral Thesis
  10. 10
    Détection d'intrusions et analyse passive de réseaux
    by Couture, Mathieu
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
  11. 11
    A class of theory-decidable inference systems
    by Gagnon, François
    Published 2005
    Subjects: “...QA 76.05 UL 2005...”
    Get full text
    Dissertation
Search Tools: Get RSS Feed — Email this Search