Loại tài liệu:    Chỉ tìm trong: 
101-110 trong số 122 kết quả
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
Tác giả: K Rustan M Leino, Alexandra Silva
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Immunological bioinformatics
Tác giả: Ole Lund
Xuất bản: Cambridge Mass: MIT Press, 2005
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  2005 J-533
 
Introduction to computational neurobiology and clustering
Tác giả: Brunello Tirozzi, Daniela Bianchi, Enrico Ferraro
Xuất bản: Singapore Hackensack NJ: World Scientific, 2007
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  2007 J-487
 
Methods of Solving Nonstandard Problems
Tác giả: Ellina Grigorieva
Xuất bản: : ,
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  512
 
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 6th International Workshop, GKR 2020...
Tác giả: Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
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:  006.3
 
Fading Foundations [electronic resource] : Probability and the Regress Problem
Tác giả: David Atkinson, Jeanne Peijnenburg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  120
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
Tác giả: Jean Goubault-Larrecq, Barbara König
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:  511.3
 
Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
Tác giả: Stefan Kiefer, Christine Tasson
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
The Everyday Life of an Algorithm [electronic resource]
Tác giả: Daniel Neyland
Xuất bản: Cham: Springer International Publishing Imprint Palgrave Pivot, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  303.483
 

Truy cập nhanh danh mục