Loại tài liệu:    Chỉ tìm trong: 
181-190 trong số 397 kết quả
Bio-inspired Computing – Theories and Applications [electronic resource] : 11th International Conference, BIC-TA 2016, X...
Tác giả: Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Bio-inspired Computing: Theories and Applications [electronic resource] : 12th International Conference, BIC-TA 2017, Ha...
Tác giả: Cheng He, Hongwei Mo, Linqiang Pan, Yuxin Zhao
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Bio-inspired Computing: Theories and Applications [electronic resource] : 13th International Conference, BIC-TA 2018, Be...
Tác giả: Shanguo Huang, Linqiang Pan, Jianyong Qiao, Qingfu Zhang, Xingyi Zhang, Xinchao Zhao, Xingquan Zuo
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Bio-inspired Computing: Theories and Applications [electronic resource] : 13th International Conference, BIC-TA 2018, Be...
Tác giả: Shanguo Huang, Linqiang Pan, Jianyong Qiao, Qingfu Zhang, Xingyi Zhang, Xinchao Zhao, Xingquan Zuo
Xuất bản: Singapore: Springer Nature Singapore Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Computer science distilled : learn the art of solving computational problems
Tác giả: Wladston Ferreira Filho
Xuất bản: Las Vegas Nevada: Code Energy LLC, 2017
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
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: 
 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature, 2023
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 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature, 2023
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 [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 

Truy cập nhanh danh mục