Showing 1 - 19 results of 19 for search '"types dépendents"', query time: 3.02s Refine Results
  1. 1
    A Compiler for the dependently typed language Beluga
    by Ferreira Ruiz, Francisco
    Published 2012
    Subjects: “...types dépendents...”
    Get full text
  2. 2
    A Compiler for the dependently typed language Beluga
    by Ferreira Ruiz, Francisco
    Published 2012
    Subjects: “...types dépendents...”
    Get full text
  3. 3
    Analysis of the Cell Type-Dependence on the Arenavirus Z-Mediated Virus-Like Particle Production
    Subjects: “...cell type-dependence...”
    Get full text
    Article
  4. 4
    Arbidol (Umifenovir): A Broad-Spectrum Antiviral Drug That Inhibits Medically Important Arthropod-Borne Flaviviruses
    Subjects: “...cell-type dependent antiviral effect...”
    Get full text
    Article
  5. 5
    Quality Assessment of S-NPP VIIRS Land Surface Temperature Product
    Subjects: “...surface type dependency...”
    Get full text
    Article
  6. 6
    Sous-typage coercitif en présence de réductions non-standards dans un système aux types dépendants
    by Marie-Magdeleine, Lionel
    Published 2009
    Subjects: “...Types dépendants...”
    Get full text
    Get full text
    Get full text
  7. 7
    Théorie des types et réécriture
    by Blanqui, Frédéric
    Published 2001
    Subjects: “...types dependants...”
    Get full text
    Get full text
  8. 8
    Un environnement pour la programmation avec types dépendants
    by Matthieu, Sozeau
    Published 2008
    Subjects: “...types dépendants...”
    Get full text
    Get full text
  9. 9
    Terminaison basée sur les types et filtrage dépendant pour le calcul des constructions inductives
    by Sacchini, Jorge
    Published 2011
    Subjects: “...types dépendants...”
    Get full text
    Get full text
  10. 10
    Rescue of recurrent deep intronic mutation underlying cell type-dependent quantitative NEMO deficiency
    by Honda, Yoshitaka
    Published 2021
    Subjects: “...Cell type-dependent quantitative NEMO deficiency...”
    Get full text
    Doctoral Thesis
  11. 11
    Implémentation d'un langage fonctionnel orienté vers la méta programmation
    by Delaunay, Pierre
    Published 2017
    Subjects: “...Type dépendant...”
    Get full text
  12. 12
    Une investigation logique des systèmes d'interaction
    by Hyvernat, Pierre
    Published 2005
    Subjects: “...théorie des types dépendants...”
    Get full text
    Get full text
    Get full text
  13. 13
    Une investigation logique des systèmes d'interaction
    by Hyvernat, Pierre
    Published 2005
    Subjects: “...théorie des types dépendants...”
    Get full text
    Get full text
  14. 14
    Réalisabilité et paramétricité dans les systèmes de types purs
    by Lasson, Marc
    Published 2012
    Subjects: “...Types dépendants...”
    Get full text
    Get full text
  15. 15
    Réalisabilité classique et effets de bord
    by Miquey, Étienne
    Published 2017
    Subjects: “...Types dépendants...”
    Get full text
  16. 16
    Réalisabilité et paramétricité dans les systèmes de types purs
    by Lasson, Marc
    Published 2012
    Subjects: “...Types dépendants...”
    Get full text
  17. 17
    Sistemas de partículas interagentes dependentes de tipo e aplicações ao estudo de redes de sinalização biológica
    Subjects: “... Type-dependent stochastic spin model ...”
    Get full text
  18. 18
    Sistemas de partículas interagentes dependentes de tipo e aplicações ao estudo de redes de sinalização biológica
    Subjects: “...Type-dependent stochastic spin model...”
    Get full text
    Others
  19. 19
    Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine
    by Barlatier, Patrick
    Published 2009
    Subjects: “...Types Dépendants...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search