يعرض 1 - 10 نتائج من 376 نتيجة بحث عن '"Abstract system"', وقت الاستعلام: 1.11s تنقيح النتائج
  1. 1
  2. 2
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

  3. 3
  4. 4
  5. 5
    مؤتمر

    المؤلفون: Li Maojun

    المصدر: The Proceedings of the Multiconference on "Computational Engineering in Systems Applications" Computational Engineering in Systems Applications, IMACS Multiconference on. 1:516-519 Oct, 2006

    Relation: The Proceedings of the Multiconference on "Computational Engineering in Systems Applications"

  6. 6
    كتاب إلكتروني

    المؤلفون: Roohi, NimaAff15, Prabhakar, PavithraAff16, Viswanathan, MaheshAff15

    المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Legay, Axel, editorAff13, Margaria, Tiziana, editorAff14

    المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. 10205:573-588

  7. 7
    كتاب إلكتروني

    المؤلفون: Arnaldi, SimoneAff6, Bianchi, LucaAff7

    المساهمون: Grunwald, Armin, Series editorAff1, Heil, Reinhard, Series editorAff2, Coenen, Christopher, Series editorAff3, Arnaldi, SimoneAff4, Bianchi, LucaAff5

    المصدر: Responsibility in Science and Technology : Elements of a Social Theory. :37-52

  8. 8
    كتاب إلكتروني

    المؤلفون: Schulze Frielinghaus, StefanAff14, Seidl, HelmutAff14, Vogler, RalfAff14

    المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Rival, Xavier, editorAff13

    المصدر: Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings. 9837:447-468

  9. 9
    كتاب إلكتروني

    المؤلفون: Abd Elkader, KaramAff15, Grumberg, OrnaAff15, Păsăreanu, Corina S.Aff16, Shoham, SharonAff17

    المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Chaudhuri, Swarat, editorAff13, Farzan, Azadeh, editorAff14

    المصدر: Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. 9779:329-351

  10. 10
    دورية أكاديمية