Doan

Results: 203



#Item
91Symbol

Verifying Dribble Agents Doan Thu Trang, Brian Logan, and Natasha Alechina The University of Nottingham School of Computer Science Abstract. We describe a model-checking based approach to verification of programs writte

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-03-12 10:43:13
    92

    LIÊN ĐOÀN LAO ĐỘNG HUYỆN CÁI BÈ CÔNG ĐOÀN GIÁO DỤC CÁI BÈ CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập – Tự do – Hạnh phúc Cái Bè, ngày 24 tháng 6 năm[removed]DANH SÁCH CÔNG

    Add to Reading List

    Source URL: thtanhung.tiengiang.edu.vn

    Language: Vietnamese - Date: 2013-06-27 19:55:36
      93

      LIÊN ĐOÀN LAO ĐỘNG TỈNH TIỀN GIANG CÔNG ĐOÀN NGÀNH GIÁO DỤC CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc

      Add to Reading List

      Source URL: longbinh.tiengiang.edu.vn

      Language: Vietnamese - Date: 2014-12-02 22:18:00
        94

        LIÊN ĐOÀN LAO ĐỘNG CÁI BÈ CÔNG ĐOÀN GIÁO DỤC CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc

        Add to Reading List

        Source URL: thtanhung.tiengiang.edu.vn

        Language: Vietnamese - Date: 2013-06-23 22:25:09
          95

          LIÊN ĐOÀN LAO ĐỘNG TỈNH TIỀN GIANG CÔNG ĐOÀN NGÀNH GIÁO DỤC CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc

          Add to Reading List

          Source URL: longbinh.tiengiang.edu.vn

          Language: Vietnamese - Date: 2014-12-02 22:17:17
            96

            LIÊN ĐOÀN LAO ĐỘNG TỈNH TIỀN GIANG CÔNG ĐOÀN NGÀNH GIÁO DỤC CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc

            Add to Reading List

            Source URL: longbinh.tiengiang.edu.vn

            Language: Vietnamese - Date: 2014-12-02 22:18:47
              97Mathematics / Homotopy theory / Symbol / Admissible rule / Valuation

              The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang

              Add to Reading List

              Source URL: www.cs.nott.ac.uk

              Language: English - Date: 2012-05-09 09:53:52
              98

              LIÊN ĐOÀN LAO ĐỘNG CÁI BÈ CÔNG ĐOÀN GIÁO DỤC CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập – Tự do – Hạnh phúc Số: 58/HD-CĐGD

              Add to Reading List

              Source URL: thtanhung.tiengiang.edu.vn

              Language: Vietnamese - Date: 2013-07-09 23:34:28
                99

                LĐLĐ HUYỆN CHÂU ĐỨC[removed]CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM CÔNG ĐOÀN GIÁO DỤC Độc lập – Tự do – Hạnh phúc Số: 12/HD-CĐGD

                Add to Reading List

                Source URL: chauduc-brvt.edu.vn

                Language: Vietnamese - Date: 2014-06-30 22:36:36
                  100

                  LIÊN ĐOÀN LAO ĐỘNG TỈNH TIỀN GIANG CÔNG ĐOÀN NGÀNH GIÁO DỤC CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc

                  Add to Reading List

                  Source URL: longbinh.tiengiang.edu.vn

                  Language: Vietnamese - Date: 2014-12-02 22:16:41
                    UPDATE