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