Showing 1 - 20 results of 20 for search '"[INFO:INFO_PL] Informatique/Langage de programmation"', query time: 2.34s Refine Results
  1. 1
    Coercions effaçables : une approche unifiée des systèmes de types
    by Cretin, Julien
    Published 2014
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  2. 2
    Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles
    by Fernandes Pires, A.
    Published 2014
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  3. 3
    POLYMORPHISME PARAM’TRIQUE POUR LE TRAITEMENT DE DOCUMENTS XML
    by Xu, Zhiwu
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  4. 4
    De nouveaux outils pour calculer avec des inductifs en Coq
    by Boutillier, Pierre
    Published 2014
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
    Get full text
  5. 5
    Type Systems for Distributed Programs: Components and Sessions
    by Dardha, Ornela
    Published 2014
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  6. 6
    Towards a safe and secure synchronous language
    by Attar, Pejman
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  7. 7
    Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
    by Boespflug, Mathieu
    Published 2011
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
    Get full text
  8. 8
    Application-Level Virtual Memory for Object-Oriented Systems
    by Martinez Peck, Mariano
    Published 2012
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
    Get full text
    Get full text
  9. 9
    Le Débogage à Distance et la Réflexion dans les Dispositifs à Ressources Limitées
    by Papoulias, Nikolaos
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  10. 10
    A VPA-based Aspect Language
    by Nguyen, Dong Ha
    Published 2011
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  11. 11
    Supporting Integration Activities in Object-Oriented Applications
    by Uquillas-Gomez, Verónica
    Published 2012
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  12. 12
    Syntaxe et modèles d'une composition non-associative des programmes et des preuves
    by Munch-Maccagnoni, Guillaume
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  13. 13
    Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée
    by Ramananandro, Tahina
    Published 2012
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  14. 14
    Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
    by Mercadal, Julien
    Published 2011
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  15. 15
    Construction flexible des boucles de contrôles autonomes pour les applications à large échelle
    by Nzekwa, Russel
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  16. 16
    Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions
    by Saha, Suman
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
    Get full text
  17. 17
    A Quest for Exactness: Program Transformation for Reliable Real Numbers
    by Neron, Pierre
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  18. 18
    ArCo : une Architecture informatique pour un Compagnon Artificiel en interaction avec un utilisateur
    by Jost, Céline
    Published 2013
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  19. 19
    Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)
    by Diaz, Daniel
    Published 1995
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
  20. 20
    Conception d'un Pro Logiciel Interactif sous R pour la Simulation de Processus de Diffusion
    by Guidoum, Arsalane
    Published 2012
    Subjects: “...[INFO:INFO_PL] Informatique/Langage de programmation...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search