Loại tài liệu:    Chỉ tìm trong: 
151-160 trong số 441 kết quả
Uncertain inference
Tác giả: Henry Ely Kyburg, Choh Man Teng
Xuất bản: Cambridge, UK ; New York: Cambridge University Press , 2001.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  003.54
 
Contemporary Issues in Information Systems A Global Perspective
Tác giả: Denis Reilly, Denis Reilly
Xuất bản: IntechOpen , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Peter Müller
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.13
 
Authentication in Insecure Environments [electronic resource] : Using Visual Cryptography and Non-Transferable Credentia...
Tác giả: Sebastian Pape
Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
Combinatorial Pattern Matching [electronic resource] : 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001...
Tác giả: Amihood Amir, Gad M Landau
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:  006.4
 
Boolean Functions and Their Applications in Cryptography [electronic resource]
Tác giả: Chuan-Kun Wu, Dengguo Feng
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 
Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Esther Guerra, Mariëlle Stoelinga
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Condensed-Matter-Principia Based Information & Statistical Measures : From Classical to Quantum
Tác giả: Adam Gadomski, Adam Gadomski, Sylwia Zielińska-Raczyńska, Sylwia Zielińska-Raczyńska
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục