Suggested Topics within your search.
Showing 301 - 320 results of 21,917 for search '"Computer science and engineering"', query time: 0.96s Refine Results
  1. 301
    Un système de types pour la programmation par réécriture embarquée
    by Tavares, Cláudia
    Published 2012
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  2. 302
    Application du raisonnement à partir de cas à l'analyse de documents administratifs
    by Hamza, Hatem
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  3. 303
    Fragments de l'arithmétique dans une combinaison de procédures de décision
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  4. 304
    Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP
    by Dib, Mohammad
    Published 2010
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  5. 305
    Outils pour la parallélisation automatique
    by Boulet, Pierre
    Published 1996
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  6. 306
    Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
    by Heydarnoori, Abbas
    Published 2009
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  7. 307
    Finite Difference Computing with Exponential Decay Models
    by Petter Langtangen, Hans
    Published 2016
    Subjects: “...Computational Science and Engineering...”
    Get fulltext
    eBook
  8. 308
    Finite Difference Computing with Exponential Decay Models
    Published 2016
    Subjects: “...Computational Science and Engineering...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
  9. 309
    Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes
    by Frey, Alexandre
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  10. 310
    Utilisation des Structures Combinatoires pour le Test Statistique
    by Gouraud, Sandrine-Dominique
    Published 2004
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
    Get full text
  11. 311
    Architecture pour les systèmes de déploiement logiciel à grande échelle : prise en compte des concepts d'entreprise et de stratégie
    by Merle, Noelle
    Published 2005
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  12. 312
    Lois d'évolution de TRIZ pour la conception des futures générations des produits : proposition d'un modèle
    by Ragab - Zouaoua, Dalia
    Published 2012
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  13. 313
    FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines
    by Arboleda, Hugo
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  14. 314
    Évolution dynamique des systèmes d'exploitation, une approche par la programmation par aspects
    by Loriant, Nicolas
    Published 2007
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  15. 315
    Procédé structurel de lecture optique multipolice
    by Tripon, Nicolas
    Published 1981
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  16. 316
    Prescriptive Semantics For Big-Step Modelling Languages
    by Esmaeilsabzali, Shahram
    Published 2011
    Subjects: “...Computer Science (Software Engineering)...”
    Get full text
  17. 317
    Domain-specific modeling and verification language EDOLA
    by Zhang, Hehua
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  18. 318
    Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité
    by Dubreil, Jérémy
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  19. 319
    Extraction d'une architecture logicielle à base de composants depuis un système orienté objet. Une aproche par exploration
    by Chardigny, Sylvain
    Published 2009
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
  20. 320
    Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes
    by Andrei, Oana
    Published 2008
    Subjects: “...[INFO:INFO_SE] Computer Science/Software Engineering...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search