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: 
91-100 trong số 122 kết quả
Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Even...
Tác giả: Platzer André, Geoff Sutcliffe
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:  006.3
 Thêm vào giỏ
 
The Nature of mathematical thinking
Tác giả: Talia Ben-Zeev, Robert J Sternberg
Xuất bản: Mahwah NJ: L Erlbaum Associates, 1996
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  153.4
 Thêm vào giỏ
 
Deterministic versus stochastic modelling in biochemistry and systems biology
Tác giả: Paola Lecca, Ferenc Jordán, Ian Laurenzi
Xuất bản: Oxford: Woodhead Publishing, 2013
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  2013 G-052
 Thêm vào giỏ
 
Combinatorics of genome rearrangements
Tác giả: Guillaume Fertin
Xuất bản: Cambridge Mass: MIT Press, 2009
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  2009 H-177
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part o...
Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
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ỏ
 
Schaum's outline of theory and problems of discrete mathematics [electronic resource]
Tác giả: Seymour Lipschutz, Marc Lipson
Xuất bản: New York: McGrawHill, 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  512.02
 Thêm vào giỏ
 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
Xuất bản: : TU Wien Academic Press, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Lietuvos Matematikos Rinkinys
Tác giả:
Xuất bản: : Vilnius University Press, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Trước 8 9 10 11 12 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