Альтернативы поиска:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
using theory » nursing theory, queuing theory, testing theory
1
Опубликовано 2008
Оглавление: ... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...
Полный текст
Электронный ресурс eКнига
4
по Kall, Peter., Kall, Peter., Mayer, János.
Опубликовано 2005
Оглавление: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2007
Оглавление: ... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2005
Оглавление: ... -- Clique-Width for Four-Vertex Forbidden Subgraphs -- Computational Game Theory -- On the Complexity...
Полный текст
Электронный ресурс eКнига
7
по Nisio, Makiko., Nisio, Makiko.
Опубликовано 2015
Предметы: ...Functional analysis....
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2013
Оглавление: ... Automata with Restricted Alphabets -- Random Generation of Deterministic Acyclic Automata Using...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2007
Оглавление: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2008
Оглавление: ... Communication Networks Using Evolutionary Algorithm -- A New GA – Based and Graph Theory Supported Distribution...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2005
Оглавление: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Полный текст
Электронный ресурс eКнига
12
Оглавление: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2006
Оглавление: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2005
Оглавление: ... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2007
Оглавление: ...Safety Cases -- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study -- Goal...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2007
Оглавление: ... Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2007
Оглавление: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2008
Оглавление: ... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2010
Оглавление: ...Invited Papers and Abstract -- Invariants and Well-Foundedness in Program Algebra -- A Theory...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2007
Оглавление: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
Полный текст
Электронный ресурс eКнига