Loại tài liệu:    Chỉ tìm trong: 
451-460 trong số 5819 kết quả
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
 
Foundations of Software Science and Computation Structures [electronic resource] : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Orna Kupferman, Pawel Sobocinski
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
 
Quantum mechanics for electrical engineers
Tác giả: Dennis Michael Sullivan
Xuất bản: Hoboken NJ Wiley: IEEE Press, c2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.120246213
 
Blockchain Scalability and its Foundations in Distributed Systems [electronic resource]
Tác giả: Vincent Gramoli
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Beyond geometry : a new mathematics of space and form
Tác giả: John Tabak
Xuất bản: New York NY: Facts on File, c2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  516
 
Adversarial risk analysis
Tác giả: David L Banks, David Ríos Insua, Jesus Rios
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  519.3
 
Chapter A Rhetorical Model of Debating
Tác giả: Stephen M Llano
Xuất bản: Florence: Firenze University Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  808
 
Chapter Improving Argumentative Skills in Education: Three Online Discussion Tools
Tác giả: Jan Albert van Laar
Xuất bản: Florence: Firenze University Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  808
 
Connecting the dots: Sector coupling and hydrogen policies in Europe
Tác giả: Arina Belova, Jan Osička, Pospíšilová Tereza, Stašáková Tereza
Xuất bản: Brno: Masaryk University Press, 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục