-
1كتاب إلكتروني
المؤلفون: Plosila, J.Aff8, Sere, K.Aff9, Waldén, M.Aff9, Aff10
المساهمون: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, de Boer, Frank S., editorAff4, Bonsangue, Marcello M., editorAff5, Graf, Susanne, editorAff6, de Roever, Willem-Paul, editorAff7
المصدر: Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. 2852:424-442
-
2كتاب إلكتروني
المؤلفون: Sere, K.Aff1, Waldén, M.Aff1
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Abadi, Martín, editor, Ito, Takayasu, editor
المصدر: Theoretical Aspects of Computer Software : Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings. 1281:267-294
-
3كتاب إلكتروني
المؤلفون: Goeman, H. J. M.Aff1, Kok, J. N.Aff1, Sere, K.Aff2, Udink, R. T.Aff3
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Ciancarini, Paolo, editor, Hankin, Chris, editor
المصدر: Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings. 1061:215-230
-
4كتاب إلكتروني
المؤلفون: Kasurinen, V.Aff1, Sere, K.Aff1
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Gaudel, Marie-Claude, editor, Woodcock, James, editor
المصدر: FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings. 1051:105-119
-
5كتاب إلكتروني
المؤلفون: Waidén, M.Aff1, Sere, K.Aff2
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Gaudel, Marie-Claude, editor, Woodcock, James, editor
المصدر: FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings. 1051:85-104
-
6كتاب إلكتروني
المؤلفون: Back, R. J. R.Aff1, Martin, A. J.Aff2, Sere, K.Aff3
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Möller, Bernhard, editor
المصدر: Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings. 947:159-179
-
7كتاب إلكتروني
المؤلفون: Back, R. J. R.Aff1, Sere, K.Aff2
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Naftalin, Maurice, editor, Denvir, Tim, editor, Bertran, Miquel, editor
المصدر: FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings. 873:1-25
-
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.