Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
function toward » functions towards, function hard, action toward
https function » its function, sites function, ups function
toward https » towns https
program computing » program comparing, programs compiling, problem computing
function toward » functions towards, function hard, action toward
https function » its function, sites function, ups function
toward https » towns https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Proof and Computation -- Towards Rewriting in Coq -- Superdeduction at Work -- Remarks on Semantic...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”View full text
Electronic
eBook
9
Table of Contents:
“...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text
View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“...Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...From Habits to Standards: Towards Systematic Design of Emotion Models and Affective Architectures...”View full text
Electronic
eBook