Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming validating » programming evaluating, programming writing, programming balancing
function computing » education computing, generation computing
validating https » validating html, validating sctp, auditing https
https function » its function, sites function, ups function
programming validating » programming evaluating, programming writing, programming balancing
function computing » education computing, generation computing
validating https » validating html, validating sctp, auditing https
https function » its function, sites function, ups function
1
af Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Udgivet 2005
Indholdsfortegnelse:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Udgivet 2005
Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2010
Indholdsfortegnelse:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“...Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2008
Indholdsfortegnelse:
“... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2013
Indholdsfortegnelse:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”Få fuldtekst
Electronisk
eBog
15
Fag:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
16
Udgivet 2014
Indholdsfortegnelse:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2015
Indholdsfortegnelse:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2014
Indholdsfortegnelse:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2010
Indholdsfortegnelse:
“... Problems -- Validating the Knuth-Morris-Pratt Failure Function, Fast and Online -- Identical Relations...”Få fuldtekst
Electronisk
eBog