Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
based functionalities » basic functionalities, unused functionalities, new functionalities
functionalities using » functionalities aiming, functionality using, functionalization using
functionality based » functional based, functionality needs, functionality business
using https » using http, nursing https, aging https
1
Cover Image
Published 2008
Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
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
Save to List
Saved in:
3
Cover Image
Published 2007
Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
View full text
Electronic eBook
Save to List
Saved in:
4
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:
5
Cover Image
Published 2008
Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text
Electronic eBook
Save to List
Saved in:
6
Cover Image
Published 2011
Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
Electronic eBook
Save to List
Saved in:
7
Cover Image
Table of Contents: “...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
Electronic eBook
Save to List
Saved in:
8
Cover Image
Table of Contents: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
Electronic eBook
Save to List
Saved in:
9
Cover Image
Published 2005
Table of Contents: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
View full text
Electronic eBook
Save to List
Saved in:
10
Cover Image
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
Save to List
Saved in:
11
Cover Image
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
Save to List
Saved in:
12
Cover Image
“... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...”
View full text
Article
Save to List
Saved in:
13
Cover Image
Published 2007
Table of Contents: “... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”
View full text
Electronic eBook
Save to List
Saved in:
14
Cover Image
Published 2006
Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text
Electronic eBook
Save to List
Saved in:
15
Cover Image
Published 2008
Table of Contents: “... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”
View full text
Electronic eBook
Save to List
Saved in:
16
Cover Image
Published 2005
Table of Contents: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
View full text
Electronic eBook
Save to List
Saved in:
17
Cover Image
“... mosque's function and the current perception of the mosque programs. The paper adopts the qualitative...”
Article
Save to List
Saved in:
18
Cover Image
Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
Electronic eBook
Save to List
Saved in:
19
Cover Image
by Denardo, Eric V., Denardo, Eric V.
Published 2011
Table of Contents: “.... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....”
View full text
Electronic eBook
Save to List
Saved in:
20
Cover Image
Published 2014
Table of Contents: “... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search