يعرض 1 - 20 نتائج من 292 نتيجة بحث عن '"Tivoli, Massimo"', وقت الاستعلام: 0.57s تنقيح النتائج
  1. 1
    Report
  2. 2
    Report
  3. 3
    Report
  4. 4
    Report
  5. 5
    Report
  6. 6
    Academic Journal
  7. 7
    Book

    المصدر: Lecture Notes in Computer Science ; Coordination Models and Languages ; page 3-19 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030500283 9783030500290

  8. 8
  9. 9
    Conference

    المساهمون: University of L'Aquila Italy (UNIVAQ), Hanne Riis Nielson, Emilio Tuosto, TC 6, WG 6.1

    المصدر: Lecture Notes in Computer Science ; 21th International Conference on Coordination Languages and Models (COORDINATION) ; https://hal.inria.fr/hal-02365501 ; 21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.92-108, ⟨10.1007/978-3-030-22397-7_6⟩

    جغرافية الموضوع: Kongens Lyngby, Denmark

  10. 10
  11. 11
    Academic Journal
  12. 12
    Academic Journal
  13. 13

    المصدر: IEEE transactions on intelligent transportation systems (Print). 22(4):2088-2099

    وصف الملف: print

  14. 14
    Academic Journal
  15. 15
    Academic Journal
  16. 16
    Academic Journal
  17. 17
    Conference

    المساهمون: Università degli Studi dell'Aquila = University of L'Aquila (UNIVAQ), Mehdi Dastani, Marjan Sirjani, TC 2, WG 2.2

    المصدر: Lecture Notes in Computer Science ; 6th Fundamentals of Software Engineering (FSEN) ; https://hal.inria.fr/hal-01446609 ; 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.30-45, ⟨10.1007/978-3-319-24644-4_2⟩

    مصطلحات موضوعية: [INFO]Computer Science [cs]

    جغرافية الموضوع: Tehran, Iran

  18. 18
    Conference
  19. 19
    Book
  20. 20
    Book

    المساهمون: Dipartimento di Informatica Italy (DI), Università degli Studi dell'Aquila (UNIVAQ), Marco Bernardo and Valérie Issarny

    المصدر: Formal Methods for Eternal Networked Software Systems (SFM) ; https://hal.inria.fr/inria-00620465 ; Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems (SFM), 6659, Springer-Verlag Berlin Heidelberg, pp.148--190, 2011, LNCS, ⟨10.1007/978-3-642-21455-4_5⟩