Loại tài liệu:    Chỉ tìm trong: 
401-410 trong số 590 kết quả
Baltic Journal of Modern Computing
Tác giả:
Xuất bản: : Univeristy of Latvia, 2014
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
International Journal of Research and Applied Technology
Tác giả:
Xuất bản: : Universitas Komputer Indonesia, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
International Journal of Advanced Network, Monitoring, and Controls
Tác giả:
Xuất bản: : Sciendo, 2019
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Inform: Jurnal Ilmiah Bidang Teknologi Informasi dan Komunikasi
Tác giả:
Xuất bản: : Universitas Dr Soetomo, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
The Once-Only Principle : The TOOP Project
Tác giả: Robert Krimmer, Robert Krimmer, Szymon Mamrot, Szymon Mamrot, Andriana Prentza, Andriana Prentza
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:  351.02854678
 
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City
Tác giả: Nobuko Yoshida, Nobuko Yoshida
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: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
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: 
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
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: 
 
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: 
 

Truy cập nhanh danh mục