Loại tài liệu:    Chỉ tìm trong: 
451-460 trong số 1150 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hano...
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
 
Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydn...
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
 
Combinatorial Image Analysis [electronic resource] : 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–...
Tác giả: Reneta P Barneva, Valentin E Brimkov, Lidija Čomić, Tibor Lukić, Nataša Sladoje
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.37
 
Artificial Intelligence in HCI [electronic resource] : First International Conference, AI-HCI 2020, Held as Part of the ...
Tác giả: Helmut Degen, Lauren Reinerman-Jones
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.019
 
Augmented Cognition. Human Cognition and Behavior [electronic resource] : 14th International Conference, AC 2020, Held a...
Tác giả: Cali M Fidopiastis, Dylan D Schmorrow
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.019
 
Augmented Cognition. Theoretical and Technological Approaches [electronic resource] : 14th International Conference, AC ...
Tác giả: Cali M Fidopiastis, Dylan D Schmorrow
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.019
 
Code-Based Cryptography [electronic resource] : 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 20...
Tác giả: Marco Baldi, Edoardo Persichetti, Paolo Santini
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.824
 
Big Data and Social Computing [electronic resource] : 7th China National Conference, BDSC 2022, Hangzhou, China, August ...
Tác giả: Xiaofeng Meng, Qi Xuan, Yang Yang, Yang Yue, Zi-Ke Zhang
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Automata, Languages and Programming [electronic resource] : 28th International Colloquium, ICALP 2001 Crete, Greece, Jul...
Tác giả: Jan van Leeuwen, Fernando Orejas, Paul G Spirakis
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of ...
Tác giả: Ali E Abdallah, Cliff B Jones, Jeff W Sanders
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 

Truy cập nhanh danh mục