Loại tài liệu:    Chỉ tìm trong: 
351-360 trong số 619 kết quả
Decision-making and Fuzzy Temporal Logic
Tác giả: José Cláudio do Nascimento
Xuất bản: , 2019
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.31
 
The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms
Tác giả: Peter A Streufert
Xuất bản: , 2019
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  731.5
 
Arrow's Theorem Through a Fixpoint Argument
Tác giả: Frank M V Feys, Helle Hvid Hansen
Xuất bản: , 2019
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.36
 
Retrofitting a two-way peg between blockchains
Tác giả: Jason Teutsch, Dan Boneh, Michael Straka
Xuất bản: , 2019
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  973.758
 
Digital audio editing : correcting and enhancing audio in Pro Tools, Logic Pro, Cubase, and Studio One
Tác giả: Simon Langford
Xuất bản: Burlington, MA: Focal Press , 2014.
Bộ sưu tập: Kiến trúc, Nghệ thuật, Hội họa
eBook (pdf)
ddc:  780.28565
 
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
 
Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, ...
Tác giả: Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
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
 
Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Aust...
Tác giả: Pascal Paillier, Ingrid Verbauwhede
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2007.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.824
 
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of...
Tác giả: Christel Baier, Christel Baier, Ugo Dal Lago, Ugo Dal Lago
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European ...
Tác giả: Alessandra Russo, Alessandra Russo, Andy Schürr, Andy Schürr
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 

Truy cập nhanh danh mục