Loại tài liệu:    Chỉ tìm trong: 
451-460 trong số 1311 kết quả
Northern Sparks : Innovation, Technology Policy, and the Arts in Canada from Expo 67 to the Internet Age
Tác giả: Michael Century
Xuất bản: Cambridge: The MIT Press , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  302.2310971
 
Psychology, Learning, Technology First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers
Tác giả: Pierpaolo Limone, Raffaele Di Fuccio, Raffaele Di Fuccio, Pierpaolo Limone, Giusi Antonia Toto, Giusi Antonia Toto
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Tác giả: Franck Cassez, Jean-Francois Raskin
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Tác giả: Ahmed Bouajjani, Wei-Ngan Chin
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Tác giả: Tevfik Bultan, Pao-Ann Hsiung
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Tác giả: Supratik Chakraborty, Madhavan Mukund
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Tác giả: Mizuhito Ogawa, Dang Van Hung
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Policy-Oriented Technology Assessment Across Europe [electronic resource] : Expanding Capacities
Tác giả: Marie Louise Jørgensen, Lars Klüver, Rasmus Øjvind Nielsen
Xuất bản: London: Palgrave Macmillan UK : Imprint: Palgrave Macmillan , 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 
Mathematics for business, science, and technology [electronic resource] : with MATLAB and Excel applications, third edition
Tác giả: Steven T Karris
Xuất bản: Fremont, Calif: Orchard Publications , 2007
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  510
 
Strategic differences between regional investments into graphene technology and how corporations and universities manage patent portfolios
Tác giả: Ai Linh Nguyen, Siew Ann Cheong, Khiam Aik Khor, Wenyuan Liu, Andrea Nanetti
Xuất bản: , 2022
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  658.57
 

Truy cập nhanh danh mục