Loại tài liệu:    Chỉ tìm trong: 
71-80 trong số 444 kết quả
Mathematics of program construction : 10th international conference, MPC 2010, Québec City, Canada, June 21-23, 2010 : proceedings
Tác giả: Jules Desharnais, Claude Bolduc, Béchir Ktari
Xuất bản: Berlin New York: Springer, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
International Symposium on Mathematics, Quantum Theory, and Cryptography [electronic resource] : Proceedings of MQC 2019
Tác giả: Yasuhiko Ikematsu, Kazufumi Kimoto, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Masato Wakayama
Xuất bản: Singapore: Springer Singapore Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  519
 
International Symposium on Mathematics, Quantum Theory, and Cryptography : Proceedings of MQC 2019
Tác giả: Tsuyoshi Takagi, Yasuhiko Ikematsu, Yasuhiko Ikematsu, Kazufumi Kimoto, Kazufumi Kimoto, Noboru Kunihiro, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Keisuke Tanaka, Masato Wakayama, Masato Wakayama
Xuất bản: Singapore: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Mathematical foundation of computer science [electronic resource]
Tác giả: Y N Singh
Xuất bản: New Delhi: New Age International P Ltd Publishers, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.0151
 
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models [electronic resource]
Tác giả: Aslak Tveito, Glenn T Lines
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  571.64015118
 
Basic category theory for computer scientists
Tác giả: Benjamin C Pierce
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 
Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations with...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Finite Difference Computing with PDEs [electronic resource] : A Modern Software Approach
Tác giả: Hans Petter Langtangen, Svein Linge
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  515.353
 
Sage beginner's guide : unlock the full potential of Sage for simplifying and automating mathematical computing [electro...
Tác giả: Craig Finch
Xuất bản: Olton Birmingham: Packt Pub, 2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510.28553
 
The definitive guide to how computers do math : featuring the virtual DIY calculator
Tác giả: Clive Maxfield, Alvin Brown
Xuất bản: Hoboken NJ: WileyInterscience, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 

Truy cập nhanh danh mục