Search alternatives:
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
https function » its function, sites function, ups function
based https » based http
1
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
View full text
Electronic eBook
4
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
View full text
Electronic eBook
6
Published 2012
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Elimination – Making Index Vectors Affordable -- FunctionalBased Synthesis of a Systolic Array for GCD...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
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
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...
View full text
Electronic eBook
13
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
14
Table of Contents: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
17
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
18
... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...
Article
19
... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...
View full text
Article
20
by Faison, Ted., Faison, Ted.
Published 2006
Table of Contents: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
View full text
Electronic eBook