يعرض 1 - 8 نتائج من 8 نتيجة بحث عن '"Ross, Kelvin"', وقت الاستعلام: 0.83s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) Bioinformatics and Biomedicine (BIBM), 2022 IEEE International Conference on. :3535-3540 Dec, 2022

    Relation: 2022 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

  2. 2
    مؤتمر

    المصدر: 2009 22nd Conference on Software Engineering Education and Training Software Engineering Education and Training, 2009. CSEET '09. 22nd Conference on. :117-121 Feb, 2009

    Relation: 2009 22nd Conference on Software Engineering Education and Training (CSEET)

  3. 3
    مؤتمر

    المصدر: 2007 Australian Software Engineering Conference (ASWEC'07) Software Engineering Conference, 2007. ASWEC 2007. 18th Australian. :284-296 Apr, 2007

    Relation: 2007 Australian Software Engineering Conference

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

    المؤلفون: Ross, Kelvin J.Aff1, Lindsay, Peter A.Aff1

    المساهمون: 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:251-270

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

    المؤلفون: Ross, Kelvin J.Aff1, Lindsay, Peter A.Aff1

    المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, Woodcock, James C. P., editor, Larsen, Peter G., editor

    المصدر: FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings. 670:558-577

  6. 6
    دورية أكاديمية
  7. 7
  8. 8
    دورية

    المؤلفون: Ross, Kelvin

    المصدر: ThomasNet News; 9/28/2018, p1-1, 1p, 1 Color Photograph