-
1كتاب إلكتروني
المؤلفون: Tsay, Yih-KuenAff11, Vardi, Moshe Y.Aff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff9, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Olderog, Ernst-Rüdiger, editorAff8, Yi, Wang, editorAff10
المصدر: Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. 13030:8-40
-
2دورية أكاديمية
المؤلفون: Jantsch, SimonAff1, IDs1070302100379z_cor1, Müller, David, Baier, Christel, Klein, Joachim
المصدر: Formal Methods in System Design: An International Journal. 58(1-2):42-82
-
3مؤتمر
المؤلفون: Sawhney, Pratibha, Ganesh, G., Bhattacharjee, A.K.
المصدر: 2011 International Symposium on Electronic System Design Electronic System Design (ISED), 2011 International Symposium on. :164-169 Dec, 2011
Relation: 2011 International Symposium on Electronic System Design (ISED)
-
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5كتاب إلكتروني
المؤلفون: Hospodár, MichalAff15, Jirásková, GalinaAff15, Krajňáková, IvanaAff15
المساهمون: 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, Fomin, Fedor V., editorAff13, Podolskii, Vladimir V., editorAff14
المصدر: Computer Science – Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. 10846:181-193
-
6كتاب إلكتروني
المؤلفون: Michalewski, HenrykAff18, Aff19, Niwiński, DamianAff19
المساهمون: 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, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Constable, Robert L., editorAff16, Silva, Alexandra, editorAff17
المصدر: Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. 7230:165-179
-
7كتاب إلكتروني
المؤلفون: Jin, NaiyongAff3, Zhu, HuibiaoAff3
المساهمون: Margaria, Tiziana, editorAff1, Steffen, Bernhard, editorAff2
المصدر: Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 17:237-251
-
8كتاب إلكتروني
المؤلفون: Duparc, JacquesAff1, Facchini, AlessandroAff1, Aff2
المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Beckmann, Arnold, editor, Dimitracopoulos, Costas, editor, Löwe, Benedikt, editor
المصدر: Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings. 5028:186-195
-
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10كتاب إلكتروني
المؤلفون: Visser, W.Aff2, Barringer, H.Aff2, Fellows, D.Aff2, Gough, G.Aff2, Williams, A.Aff2
المساهمون: Li, Hon F., editorAff1, Probst, David K., editorAff1
المصدر: Advances in Hardware Design and Verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16–18 October 1997, Montreal, Canada. :128-145