Mathematics in Computing المزيد من الكتب المشابهة

Guide to Discrete Mathematics Guide to Discrete Mathematics
Guide to Discrete Mathematics
٢٠٢١
Concrete Abstractions Concrete Abstractions
Concrete Abstractions
٢٠٢٣
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
٢٠٠٨
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
An Introduction to Programming with Specifications (Enhanced Edition)
٢٠١٢
Models of Computation Models of Computation
Models of Computation
٢٠٠٩
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٠
Rigorous Software Development Rigorous Software Development
Rigorous Software Development
٢٠١١
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
٢٠١٨
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
٢٠١١
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١١
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
٢٠٠٧
Reversible Computation Reversible Computation
Reversible Computation
٢٠٢٠
Logic, Language, Information and Computation Logic, Language, Information and Computation
Logic, Language, Information and Computation
٢٠١٠
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
٢٠٠٨
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠٠٨