Suggested Topics within your search.
Search alternatives:
program construction » programmed instruction
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
construction https » instruction https, conservation https, construction history
using https » using http, nursing https, aging https
1
Cover Image
Published 2008
Table of Contents: “... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2010
Table of Contents: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2008
Table of Contents: “... Arithmetic Using Co-induction in Arbitrary Integer Base -- Pure, Declarative, and Constructive Arithmetic...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
Electronic eBook
Save to List
Saved in:
5
Cover Image
Published 2012
Table of Contents: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Published 2013
Table of Contents: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Published 2010
Table of Contents: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2015
Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
Published 2008
Table of Contents: “... -- Analyzing Stripped Device-Driver Executables -- Model Checking-Based Genetic Programming with an Application...”
View full text
Electronic eBook
Save to List
Saved in:
11
Cover Image
Published 2015
Table of Contents: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
View full text
Electronic eBook
Save to List
Saved in:
12
Cover Image
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
Electronic eBook
Save to List
Saved in:
13
Cover Image
by Carsetti, A., Carsetti, A.
Published 2013
Table of Contents: “... logic -- 2. Logic and ontology -- 3. Meaning as use and the unfolding of cognitive activity -- 5...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
by Holt, Alan., Holt, Alan.
Published 2008
Table of Contents: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: “...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2008
Table of Contents: “... Extension Trees -- Feature Construction Using Theory-Guided Sampling and Randomised Search -- Foundations...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
Published 2006
Table of Contents: “... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”
View full text
Electronic eBook
Save to List
Saved in:
18
Cover Image
Published 2008
Table of Contents: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
Published 2007
Table of Contents: “... -- On the Implementation of Construction Functions for Non-free Concrete Data Types -- Anti-pattern Matching -- Language...”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2010
Table of Contents: “... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search