Search alternatives:
"source code" » "resource code"
Cover Image
Read Now

1
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: “... at HERBY's source code -- A look at THEO's source code -- Other theorem provers -- References...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Walk -- Quantum Source Coding and Data Compression -- Information Theory at the Service of Science...”
Cover Image
Read Now

3
by Mihov, Stoyan, Schulz, K. U.
Published 2019
Cambridge University Press
“... are accompanied by full correctness proofs and executable source code in a new programming language, C(M), which...”
Cover Image
Read Now

4
by Joyner, W. David, Melles, Caroline Grant
Published 2017
Birkhäuser
“... code for the computation of equations. Samples of the book’s source code can be found at github.com...”