Mathematics in Computing

Mã QR

Mathematics in Computing

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	O’Regan, Gerard
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Math Applications in Computer Science Mathematical Applications in Computer Science Mathematical Logic and Formal Languages
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/90754
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Artificial Intelligence and Symbolic Computation
Bỡi: Fleuriot, Jacques, et al.
Được phát hành: (2020)

Automated Reasoning and Mathematics
Bỡi: Bonacina, Maria Paola, et al.
Được phát hành: (2020)

Combinatorics on Words
Bỡi: Brlek, Srečko, et al.
Được phát hành: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Imaginary Mathematics for Computer Science
Bỡi: Vince, John
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Argumentation in Artificial Intelligence
Bỡi: Rahwan, Iyad
Được phát hành: (2020)

Introduction to Mathematica® with Applications. 1st ed. 2017
Bỡi: Mureşan, Marian
Được phát hành: (2020)

Recent Advances in Applications of Computational and Fuzzy Mathematics
Bỡi: Chakraverty, Snehashish, et al.
Được phát hành: (2020)

Analysis for Computer Scientists
Bỡi: Oberguggenberger, Michael, et al.
Được phát hành: (2020)

Graph Theory. 5th ed. 2017
Bỡi: Diestel, Reinhard
Được phát hành: (2020)

Guide to Discrete Mathematics. 1st ed.
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Intelligent Computer Mathematics
Bỡi: Geuvers, Herman, et al.
Được phát hành: (2020)

Sailing Routes in the World of Computation
Bỡi: Manea, Florin, et al.
Được phát hành: (2020)

Graph Structures for Knowledge Representation and Reasoning
Bỡi: Croitoru, Madalina, et al.
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Optimization Problems and Their Applications
Bỡi: Eremeev, Anton, et al.
Được phát hành: (2020)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Mathematical Morphology and Its Applications to Signal and Image Processing. 1st ed. 2017
Bỡi: Angulo, Jesús, et al.
Được phát hành: (2020)

Foundations of Software Science and Computation Structures
Bỡi: Bojańczyk, Mikołaj, et al.
Được phát hành: (2020)

Integration of AI and OR Techniques in Constraint Programming
Bỡi: Quimper, Claude-Guy
Được phát hành: (2020)

Integration of AI and OR Techniques in Constraint Programming
Bỡi: Simonis, Helmut
Được phát hành: (2020)

Integration of AI and OR Techniques in Constraint Programming
Bỡi: Michel, Laurent
Được phát hành: (2020)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Bỡi: Gomes, Carla, et al.
Được phát hành: (2020)

Computational Geometry. 3rd ed.
Bỡi: Berg, Mark de, et al.
Được phát hành: (2020)

Pyomo — Optimization Modeling in Python. 2nd ed. 2017
Bỡi: Hart, William E., et al.
Được phát hành: (2020)

Pillars of Computer Science
Bỡi: Avron, Arnon, et al.
Được phát hành: (2020)

Computer Science Logic
Được phát hành: (2020)

Modelling Computing Systems
Bỡi: Moller, Faron, et al.
Được phát hành: (2020)

New Trends and Advanced Methods in Interdisciplinary Mathematical Sciences. 1st ed. 2017
Bỡi: Toni, Bourama
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Kuznetsov, Sergei O., et al.
Được phát hành: (2020)

Advanced Computing in Industrial Mathematics
Bỡi: Georgiev, Krassimir, et al.
Được phát hành: (2019)

Language, Logic, and Computation
Bỡi: Silva, Alexandra, et al.
Được phát hành: (2020)

Principles and Practice of Constraint Programming
Bỡi: Hooker, John
Được phát hành: (2020)

Principles and Practice of Constraint Programming
Bỡi: Beck, J. Christopher
Được phát hành: (2020)

Fuzzy Recurrence Plots and Networks with Applications in Biomedicine
Bỡi: Pham, Tuan D.
Được phát hành: (2020)

Mechanizing Mathematical Reasoning
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Conditionals, Information, and Inference
Được phát hành: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Được phát hành: (2020)