Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
program function » programme function, programs functional, program foundation
function towards » functions towards, function toward, functional towards
function https » functions https, fiction https
https function » its function, sites function, ups function
towards https » hazards https, towns https, towards hotel
program function » programme function, programs functional, program foundation
function towards » functions towards, function toward, functional towards
function https » functions https, fiction https
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
Опубликовано 2005
Оглавление:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2014
Оглавление:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2013
Оглавление:
“... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2006
Оглавление:
“... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2008
Оглавление:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2007
Оглавление:
“...Invited Talks -- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2013
Оглавление:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2007
Оглавление:
“... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2006
Оглавление:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Полный текст
Электронный ресурс
eКнига
17
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Опубликовано 2005
Оглавление:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2015
Оглавление:
“...Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2015
Оглавление:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Полный текст
Электронный ресурс
eКнига