Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function functional » functions functional, fractional functional, nutrition functional
program validation » programs validation, program vilidation, program evaluation
validation https » evaluation https, animation https, visualization https
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
function functional » functions functional, fractional functional, nutrition functional
program validation » programs validation, program vilidation, program evaluation
validation https » evaluation https, animation https, visualization https
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
1
Опубликовано 2005
Оглавление:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Полный текст
Электронный ресурс
eКнига
2
по Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Опубликовано 2005
Оглавление:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Опубликовано 2005
Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... Delay Analysis of Switched Ethernet -- Analyzing End-to-End Functional Delays on an IMA Platform...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2005
Оглавление:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2014
Оглавление:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2006
Оглавление:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2006
Оглавление:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2013
Оглавление:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2014
Оглавление:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2014
Оглавление:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2007
Оглавление:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2007
Оглавление:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2012
Оглавление:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2008
Оглавление:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2010
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2008
Оглавление:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Полный текст
Электронный ресурс
eКнига