Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function translation » fiction translation, fiction translations, function transcription
program computing » program comparing, programs compiling, problem computing
translation https » transportation https, organization https
https function » its function, sites function, ups function
function translation » fiction translation, fiction translations, function transcription
program computing » program comparing, programs compiling, problem computing
translation https » transportation https, organization https
https function » its function, sites function, ups function
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 2015
Table of Contents:
“... into functional research of MSCs -- Human neural development and human embryonic stem cell neural differentiation...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...”View full text
Electronic
eBook
4
by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011
Subjects:
“...Computer programming....”Published 2011
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”View full text
Electronic
eBook
6
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
7
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Simulators -- Automatic Translation of MP+V Systems to Register Machines -- On the Communication Complexity...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”View full text
Electronic
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Sequence Data -- Rare Variants Analysis in Unrelated Individuals -- Gene Duplication and Functional...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook