Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
521-530 trong số 654 kết quả
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Luís Caires, Luís Caires
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Jurnal Riset Informatika
Tác giả:
Xuất bản: Kresnamedia Publisher , 2022
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
S-BPM in the Wild : Practical Value Creation
Tác giả: Albert Fleischmann, Albert Fleischmann, Werner Schmidt, Werner Schmidt, Christian Stary, Christian Stary
Xuất bản: Cham: Springer Nature , 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Critical Perspectives on Open Development Empirical Interrogation of Theory Construction
Tác giả: Arul Chib, Caitlin M Bentley, Caitlin M Bentley, Arul Chib, Matthew L Smith, Matthew L Smith
Xuất bản: Cambridge: The MIT Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Acta Infologica
Tác giả:
Xuất bản: Istanbul University Press , 2021
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
JISA (Jurnal Informatika dan Sains)
Tác giả:
Xuất bản: Program Studi Teknik Informatika Universitas Trilogi , 2022
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
PhoneGap build : developing cross platform mobile applications in the cloud
Tác giả: B M Harwani
Xuất bản: Boca Raton: CRC Press , 2014
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.6782
 Thêm vào giỏ
 
Trước 51 52 53 54 55 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media