يعرض 1 - 10 نتائج من 52 نتيجة بحث عن '"control location"', وقت الاستعلام: 0.93s تنقيح النتائج
  1. 1
  2. 2
    مؤتمر

    المصدر: 2012 IEEE International Conference on Mechatronics and Automation Mechatronics and Automation (ICMA), 2012 International Conference on. :1137-1141 Aug, 2012

    Relation: 2012 IEEE International Conference on Mechatronics and Automation (ICMA)

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

    المؤلفون: Chen, XiaoluAff17, Li, XiangxinAff18, Ren, ZhengAff17, Zheng, TingtingAff17

    المساهمون: Kacprzyk, Janusz, Series EditorAff1, Pal, Nikhil R., Advisory EditorAff2, Bello Perez, Rafael, Advisory EditorAff3, Corchado, Emilio S., Advisory EditorAff4, Hagras, Hani, Advisory EditorAff5, Kóczy, László T., Advisory EditorAff6, Kreinovich, Vladik, Advisory EditorAff7, Lin, Chin-Teng, Advisory EditorAff8, Lu, Jie, Advisory EditorAff9, Melin, Patricia, Advisory EditorAff10, Nedjah, Nadia, Advisory EditorAff11, Nguyen, Ngoc Thanh, Advisory EditorAff12, Wang, Jun, Advisory EditorAff13, Hu, Zhengbing, editorAff14, Petoukhov, Sergey V., editorAff15, He, Matthew, editorAff16

    المصدر: Advances in Artificial Systems for Medicine and Education II. 902:759-769

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

    المؤلفون: Ghafari, NaghmehAff19, Gurfinkel, ArieAff20, Trefler, RichardAff19

    المساهمون: 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, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Lee, David, editorAff16, Lopes, Antónia, editorAff17, Poetzsch-Heffter, Arnd, editorAff18

    المصدر: Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. 5522:57-72

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

    المؤلفون: Hristova, KatiaAff18, Liu, Yanhong A.Aff18

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Emerson, E. Allen, editorAff16, Namjoshi, Kedar S., editorAff17

    المصدر: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings. 3855:190-206

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

    المؤلفون: Groce, AlexAff5, Visser, WillemAff6

    المساهمون: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Ball, Thomas, editorAff4, Rajamani, Sriram K., editorAff4

    المصدر: Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings. 2648:121-136

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

    المؤلفون: Basu, SamikAff7, Saha, DiptikalyanAff7, Lin, Yow-JianAff7, Smolka, Scott A.Aff7

    المساهمون: Goos, Gerhard, Series editorAff1, Hartmanis, Juris, Series editorAff2, van Leeuwen, Jan, Series editorAff3, König, Hartmut, editorAff4, Heiner, Monika, editorAff5, Wolisz, Adam, editorAff6

    المصدر: Formal Techniques for Networked and Distributed Systems - FORTE 2003 : 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings. 2767:79-94