Résultat(s) 1 - 20 résultats de 75 pour la requête '"Programming and Software Engineering"', Temps de recherche: 0,15s Affiner les résultats
  1. 1
    Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Software engineering for self-adaptive systems. International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Assurances for Self-Adaptive Systems : Principles, Models, and Techniques
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
    Springer Berlin Heidelberg, 2013
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Selected Topics in Performance Evaluation and Benchmarking : 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  9. 9
    System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Computer Performance Engineering : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  11. 11
    Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  12. 12
    Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  13. 13
    Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  14. 14
    Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  15. 15
    Hardware and software : verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  16. 16
    Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  17. 17
    Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
    Springer Berlin Heidelberg, 2013
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  18. 18
    Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  19. 19
    Ada 2012 reference manual : language and standard libraries : international standard ISO/IEC 8652/2012 (E)
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  20. 20
    Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
    “...Programming and Software Engineering...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche