Simple Type Theory: A Practical Logic for Expressing and Reasoning About Math…
Buku teks ini adalah pengantar teori sederhana yang memperluas logika orde pertama. Ilustrasi buku ini menggunakan Alonzo, sangat cocok untuk mengekspresikan penalaran tentang ide-ide matematika. P…
- Edition
- Pdf ed.
- ISBN/ISSN
- 9783031211126
- Collation
- xiv, 295 p.
- Series Title
- -
- Call Number
- 004.0151 FAR s
Mathematical Foundations of Software Engineering : A Practical Guide to Essen…
Buku ini menyajikan pengenalan matematika dasar rekayasa perangkat lunak. Berisi penerapan matematika di berbagai bidang seperti kode koreksi kesalahan, kriptografi, bidang penting keselamatan dan …
- Edition
- 1st ed. Pdf ed.
- ISBN/ISSN
- 9783031262128
- Collation
- xxxvii, 519 p.
- Series Title
- -
- Call Number
- 004.0151 ORE m
Search Result
Found 2 from your keywords: Subject : "Computer math"
Query took 0.00109 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography