Rekommenderade teman
Rekommenderade teman
Menade du:
identification programming » identification programmes, specification programming, verification programming
iterative identification » interaction identification, interactions identification, state identification
programming program » programming programmed, programming problem, programming problems
program contracts » programme contract, program abstracts, program controls
https » http
identification programming » identification programmes, specification programming, verification programming
iterative identification » interaction identification, interactions identification, state identification
programming program » programming programmed, programming problem, programming problems
program contracts » programme contract, program abstracts, program controls
https » http
1
Publicerad 2005
Innehållsförteckning:
“... with Type Inheritance -- Modelling Parametric Contracts and the State Space of Composite Components by Graph...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2008
Innehållsförteckning:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2006
Innehållsförteckning:
“... -- Iterated TGR Languages: Membership Problem and Effective Closure Properties -- On the Negation-Limited...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2005
Innehållsförteckning:
“... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2006
Innehållsförteckning:
“... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...”Hämta fulltext
Elektronisk
E-bok