Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
functionality do » functionality _, functionality pt, functionality 4
do https » zoo https
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
functionality do » functionality _, functionality pt, functionality 4
do https » zoo https
1
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... and Its Relation to Greedoids -- On Arithmetic Computations with Hereditarily Finite Sets, Functions...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
6
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
9
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Do We Really Understand the Crossing Numbers? -- Balanced Queries: Divide and Conquer -- Slowly...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... as Requirements -- What Do Practitioners Vary in Using Scrum? -- Key Challenges in Early-Stage Software Startups...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”View full text
Electronic
eBook
15
Table of Contents:
“.... Supply and demand -- Chapter 5. Functions -- Chapter 6. The Cobb-Douglas Function -- Chapter 7. Matrices...”
View full text
View full text
Electronic
eBook
16
17
Published 2012
Table of Contents:
“... Extensions for Dynamic Systems -- Service Management 1 -- Who Do You Call? Problem Resolution through Social...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Forward Secure Communication in Wireless Sensor Networks -- Mechanisms -- Low Rate DoS Attack...”View full text
Electronic
eBook
20
by Berger, Theodore W., Berger, Theodore W., Chapin, John K., Gerhardt, Greg A., McFarland, Dennis J., Principe, Jose C., Soussou, Walid V., Taylor, Dawn M., Tresco, Patrick A.
Published 2008
Table of Contents:
“... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...”Published 2008
View full text
Electronic
eBook