Hasil Pencarian - Anping He

  • Menampilkan 1 - 5 hasil dari 5
Perbaiki Hasil
  1. 1
    Formal Proof of a Machine Closed Theorem in Coq

    Formal Proof of a Machine Closed Theorem in Coq oleh Hai Wan, Anping He, Zhiyang You, Xibin Zhao

    Diterbitkan 2014-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Approximate Equivalence of the Hybrid Automata with Taylor Theory

    Approximate Equivalence of the Hybrid Automata with Taylor Theory oleh Anping He, Jinzhao Wu, Shihan Yang, Hongyan Tan

    Diterbitkan 2014-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Automata-Based Analysis of Stage Suspended Boom Systems

    Automata-Based Analysis of Stage Suspended Boom Systems oleh Anping He, Jinzhao Wu, Shihan Yang, Yongquan Zhou, Juan Wang

    Diterbitkan 2013-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    An Efficient Multitask Scheduling Model for Wireless Sensor Networks

    An Efficient Multitask Scheduling Model for Wireless Sensor Networks oleh Hongsheng Yin, Honggang Qi, Jingwen Xu, Xin Huang, Anping He

    Diterbitkan 2014-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks

    A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks oleh Daxin Tian, Jianshan Zhou, Honggang Qi, Yingrong Lu, Yunpeng Wang, Jian Wang, Anping He

    Diterbitkan 2014-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: