Showing 1 - 20 results of 32 for search 'COMPUTER PROGRAMMING', query time: 0.64s Refine Results
  1. 1
    Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
    by Soubiran, Elie
    Published 2010
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  2. 2
    Réalisation d'un interprète complet du langage APL sur un mini ordinateur
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  3. 3
    Reconnaissance d'écriture manuscrite par des techniques markoviennes : une approche bidimensionnelle et générique
    by Chevalier, Sylvain
    Published 2004
    Subjects: “...[INFO] Computer Science...”
    Get full text
    Get full text
  4. 4
    Programmation Web Typée
    by Canou, Benjamin
    Published 2011
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  5. 5
    Vers une méthodologie dédiée à l'orchestration d'entités communicantes
    by Drey, Zoé
    Published 2010
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  6. 6
    Un environnement pour la programmation avec types dépendants
    by Matthieu, Sozeau
    Published 2008
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  7. 7
    Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité
    by Blanqui, Frédéric
    Published 2012
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  8. 8
    Structured Interactive Scores
    by Mauricio, Toro
    Published 2012
    Subjects: “...[INFO:INFO_SD] Computer Science/Sound...”
    Get full text
    Get full text
    Get full text
  9. 9
    Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3
    by Raymond, Pascal
    Published 1991
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  10. 10
    Répartition modulaire de programmes synchrones
    by Delaval, Gwenaël
    Published 2008
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  11. 11
    Call by need computations in orthogonal term rewriting systems
    by Durand, Irène
    Published 2005
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
  12. 12
    Analyses et vérification des programmes à aspects
    by Djoko Djoko, Simplice
    Published 2009
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  13. 13
    Conception et évaluation d'un système transparent de capture de mouvements des mains pour l'interaction 3D temps réel en environnements virtuels
    by Hernoux, Franck
    Published 2011
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  14. 14
    Conception, développement et évaluation d'un langage de programmation adapté aux applications industrielles : llC.
    by Delchini, Hugo
    Published 1995
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  15. 15
    Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle
    by Wang, Philippe
    Published 2012
    Subjects: “...[INFO:INFO_PL] Computer Science/Programming Languages...”
    Get full text
    Get full text
  16. 16
    Test de logiciels synchrones avec la PLC
    by Seljimi, Besnik
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  17. 17
    Integrated Scheduling of Production and Transportation Operations with Stage-dependent Inventory Costs and Due Dates Considerations
    by Wang, Deyun
    Published 2012
    Subjects: “...[INFO:INFO_CY] Computer Science/Computers and Society...”
    Get full text
    Get full text
  18. 18
    Méthodes de rendu à base de vidéos et applications à la réalité Virtuelle
    by Nozick, Vincent
    Published 2006
    Subjects: “...[INFO:INFO_GR] Computer Science/Computer Graphics and Virtual Reality...”
    Get full text
    Get full text
  19. 19
    SPY : un système de contrôle : la mise au point de systèmes de programmation grâce à un couplage de machines virtuelles
    by Lefebvre, Patyrick
    Published 1972
    Subjects: “...[INFO:INFO_MO] Computer Science/Modeling and Simulation...”
    Get full text
    Get full text
  20. 20
    Interactions post-WIMP et applications existantes sur une table interactive
    by Besacier, Guillaume
    Published 2010
    Subjects: “...[INFO] Computer Science...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search