Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'De Nicola, Rocco', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
    Έκδοση 2001
    Άλλοι συγγραφείς: “…De Nicola, Rocco…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…De Nicola, Rocco…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…De Nicola, Rocco…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email