Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 76 kết quả
Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Caires Luís
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Tác giả: Jean Goubault-Larrecq, Barbara König
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
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: 
 
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings
Tác giả: Amal Ahmed
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.13
 
Extreme programming refactored : the case against XP
Tác giả: Matt Stephens, Doug Rosenberg
Xuất bản: Berkeley Calif Berlin: Apress Springer, 2003
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.117
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 
Solving PDEs in Python: The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 
Motivated reinforcement learning : curious characters for multiuser games
Tác giả: Kathryn E Merrick, Mary Lou Maher
Xuất bản: New York: Springer, 2009
Bộ sưu tập: Kiến trúc, nghệ thuật, hội họa
eBook (pdf)
ddc:  794.81526
 
Field-Based Coordination for Pervasive Multiagent Systems
Tác giả: Marco Mamei, Franco Zambonelli
Xuất bản: New York: Springer, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục