Subcategories

"High Performance Parallel Computing" ed. by Satyadhyan Chickerur

Posted By: exLib
"High Performance Parallel Computing" ed. by Satyadhyan Chickerur

"High Performance Parallel Computing" ed. by Satyadhyan Chickerur
ITExLi | 2019 | ISBN: 1789856248 9781789856248 178985623X 9781789856231 | 106 pages | PDF | 12 MB

This book aims to present the state of the art in research and development of the convergence of high-performance computing and parallel programming for various engineering and scientific applications. The book has consolidated algorithms, techniques, and methodologies to bridge the gap between the theoretical foundations of academia and implementation for research, which might be used in business and other real-time applications in the future.

Computability and Unsolvability

Posted By: roxul
Computability and Unsolvability

Prof. Martin Davis, "Computability and Unsolvability"
English | ISBN: 0486614719 | | 248 pages | PDF | 5 MB

Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July

Posted By: roxul
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July

Marcella Anselmo, "Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July"
English | ISBN: 303051465X | 2020 | 416 pages | PDF | 8 MB

Mathesis Universalis, Computability and Proof (Repost)

Posted By: AvaxGenius
Mathesis Universalis, Computability and Proof (Repost)

Mathesis Universalis, Computability and Proof by Stefania Centrone
English | PDF,EPUB | 2019 | 375 Pages | ISBN : 3030204464 | 14.6 MB

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.”