Loại tài liệu:    Chỉ tìm trong: 
361-370 trong số 386 kết quả
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
Tác giả: Christel Baier, Ugo Dal Lago
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 
Language Technologies for the Challenges of the Digital Age [electronic resource] : 27th International Conference, GSCL ...
Tác giả: Thierry Declerck, Georg Rehm
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.35
 
Designing Digital Musical Instruments Using Probatio : A Physical Prototyping Toolkit
Tác giả: Filipe Calegario
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 
Bisociative Knowledge Discovery [electronic resource] : An Introduction to Concept, Algorithms, Tools, and Applications
Tác giả: Michael R Berthold
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:  006.3
 
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, Oct...
Tác giả: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
Xuất bản: New York NY: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.7
 
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European ...
Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Active Media Technology
Tác giả: Jian Ping Li, Jiming Liu, John Yen, Ning Zhong
Xuất bản: New Jersey: World Scientific, 2003
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  004
 
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Tác giả: Rio Yokota, Weigang Wu
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.11
 
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proce...
Tác giả: Tadeusz Czachórski, Tadeusz Czachórski, Erol Gelenbe, Erol Gelenbe, Krzysztof Grochla, Krzysztof Grochla, Ricardo Lent, Ricardo Lent
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục