Loại tài liệu:    Chỉ tìm trong: 
121-130 trong số 182 kết quả
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: 
 
Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
Tác giả: Oliver Boldt, Helmut Jürgensen
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.45
 
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
Tác giả: Robert Mercaş, Daniel Reidenbach
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.131
 
Combinatorial Algorithms [electronic resource] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019,...
Tác giả: Charles J Colbourn, Roberto Grossi, Nadia Pisanti
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:  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
 
Logical Methods in Computer Science
Tác giả:
Xuất bản: Logical Methods in Computer Science e.V , 2004
Bộ sưu tập: Báo giấy
ddc: 
 
Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
Tác giả: Peter A Streufert
Xuất bản: , 2021
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  519.3
 
The digital Dionysus : Nietzsche and the network-centric condition
Tác giả: Nandita Biswas Mellamphy, Dan Mellamphy
Xuất bản: ,
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  194.6
 
Digital design and computer architecture
Tác giả: Sarah L Harris, David Money Harris
Xuất bản: Amsterdam: Elsevier/Morgan Kaufmann , 2016
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  621.39
 

Truy cập nhanh danh mục