Альтернативы поиска:
programs development » program development, programmes development, programs developmental
function selection » functions selection, functional selection, function detection
selection programs » selection programme, selecting programs, selection progress
https » http
1
Опубликовано 2008
Оглавление: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Полный текст
Электронный ресурс eКнига
2
по Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Опубликовано 2012
Оглавление: ... to Ecosystem Service -- 1.5. Functional Diversity Quantification -- 2. Functional Groups -- 2.1 Selecting Trait...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2011
Оглавление: ... and PDGF coordinate embryonic coronary vascularization -- The E2F pathway in cardiac development...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2006
Оглавление: ... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2005
Оглавление: ... Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2007
Оглавление: ...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2008
Оглавление: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2015
Оглавление: ...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2015
Оглавление: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2013
Оглавление: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2010
Оглавление: ... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2013
Оглавление: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
Полный текст
Электронный ресурс eКнига
13
по Lee, Kent D., Lee, Kent D.
Опубликовано 2014
Оглавление: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2013
Оглавление: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2008
Оглавление: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Полный текст
Электронный ресурс eКнига
16
по Pozrikidis, Constantine., Pozrikidis, Constantine.
Опубликовано 2007
Оглавление: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Полный текст
Электронный ресурс eКнига
17
по Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Опубликовано 2005
Оглавление: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2006
Оглавление: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2013
Оглавление: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2015
Оглавление: ... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...
Полный текст
Электронный ресурс eКнига