Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality computing » functionality combining, function computing, functionality using
program construction » programmed instruction
https functionality » its functionality, bags functionality, cross functionality
construction https » instruction https, conservation https, construction history
functionality computing » functionality combining, function computing, functionality using
program construction » programmed instruction
https functionality » its functionality, bags functionality, cross functionality
construction https » instruction https, conservation https, construction history
1
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
6
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
8
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
10
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”View full text
Electronic
eBook