Loại tài liệu:    Chỉ tìm trong: 
371-380 trong số 6926 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
 
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
 
Quantum theory of tunneling
Tác giả: Mohsen Razavy
Xuất bản: ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  537.6226
 
Breaking paradigms in atomic and molecular physics
Tác giả: E A Oks
Xuất bản: Hackensack, NJ: World Scientific , c2015
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  539.7
 
Quantum mechanics for electrical engineers
Tác giả: Dennis Michael Sullivan
Xuất bản: Hoboken, N.J. : Wiley: IEEE Press , c2012.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.120246213
 
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
 
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
 
Non-perturbative field theory
Tác giả: Yitzhak Frishman, Jürgen Sonnenschein
Xuất bản: Cambridge: Cambridge University Press , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  530.143
 

Truy cập nhanh danh mục