Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
using computers » using computer
computers https » computing https, computers gtt, computers help
program using » programs using, programming using
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
using computers » using computer
computers https » computing https, computers gtt, computers help
program using » programs using, programming using
1
2
Table of Contents:
“...An introduction to Python and computer programming -- Using Python as a Calculator -- The First...”
View full text
View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
8
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...”View full text
Electronic
eBook
11
Table of Contents:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text
View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”View full text
Electronic
eBook
14
Table of Contents:
“... Applications. What is Digital Signal Processing? Why Use Reconfigurable Computing for DSP? DSP Application...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... the Bankruptcy Prediction Problem Using Genetic Programming -- Using Kalman-filtered Radial Basis Function...”View full text
Electronic
eBook
18
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text
View full text
Electronic
eBook