Suggested Topics within your search.
Showing 241 - 260 results of 21,917 for search '"Computer science and engineering"', query time: 3.12s Refine Results
  1. 241
    Vérification formelle d'un compilateur optimisant pour langages fonctionnels
    by Dargaye, Zaynah
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  2. 242
    Contribution au développement des langages extensibles
    by Jorrand, Philippe
    Published 1975
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  3. 243
    Vérification des propriétés temporisées des automates programmables industriels
    by Bel Mokadem, Houda
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  4. 244
    Une architecture logicielle pour la multi-modélisation et la simulation à évènements discrets de systèmes naturels complexes
    by Filippi, Jean Baptiste
    Published 2003
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  5. 245
    The Frobenius Problem in a Free Monoid
    by Xu, Zhi
    Published 2009
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  6. 246
    Validation de métriques de testabilité logicielle pour les programmes objets
    by Shaheen, Muhammad Rabee
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  7. 247
    Information du Contexte comme une Ressource : Une Approche Orientée Service pour la Sensibilité au Contexte
    by Romero, Daniel
    Published 2011
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  8. 248
    Modèles formels et outils génériques pour la gestion et la recherche de composants
    by Khayati, Oualid
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  9. 249
    Une Approche Générique pour la Reconfiguration Dynamique des Applications à base de Composants Logiciels
    by KETFI, Abdelmadjid
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  10. 250
    Architecture d'une coopération de gestions de fichiers dans le cadre d'un réseau local hétérogène
    by Jurema, Merval, Niang, Amadou
    Published 1981
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  11. 251
    Développement d'applications logicielles sûres de fonctionnement: une approche dirigee par la conception
    by Enard, Quentin
    Published 2013
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  12. 252
    Extraction de programmes dans le Calcul des Constructions
    by Paulin-Mohring, Christine
    Published 1989
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  13. 253
    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
  14. 254
    Développement et validation d'architectures dynamiques
    by Rolland, Jean-François
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  15. 255
    Contribution à une démarche de vérification formelle d'architectures logicielles
    by Graiet, Mohamed
    Published 2007
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  16. 256
    Approche dirigée par les modèles pour le développement de systèmes multi-agents
    by Azaiez, Selma
    Published 2007
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  17. 257
    Etude et réalisation d'un compilateur Algol60 sur calculateur éléctronique du type IBM 7090/94 et 7040/44
    by Boussard, Jean-Claude
    Published 1964
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
    Get full text
    Get full text
  18. 258
    Vers un modèle à composants orienté services pour supporter la disponibilité dynamique
    by Cervantes, Humberto
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  19. 259
    Sur les types de données dans les langages logico-fonctionnels : Réécriture et surréduction des graphes admissibles
    by Janodet, Jean-Christophe
    Published 2000
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  20. 260
    Critères de couverture structurelle pour les programmes Lustre
    by Lakehal, Abdesselam
    Published 2006
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search