Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm '', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1

    Data as infrastructure for smart cities Bằng Suzuki, Larissa, Finkelstein,Anthony

    Được phát hành 2018
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource

    Data as infrastructure for smart cities
  2. 2

    Verified functional programming in Agda Bằng Stump, Aaron

    Được phát hành 2016
    Available for University of the Philippines Diliman via ACM Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via ACM Digital Library. Click here to access thru EZproxy
    Electronic Resource

    Verified functional programming in Agda

Công cụ tìm kiếm: