Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
programs specifications » programs verification
specifications https » specifications hops, specifications latest, specifications test
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
programs specifications » programs verification
specifications https » specifications hops, specifications latest, specifications test
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
Publicado 2014
Tabla de Contenidos:
“... of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“... Language -- The Specification Language TLA+ -- The Typed Logic of Partial Functions and the Vienna...”Enlace del recurso
Electrónico
eBook
3
Publicado 2013
Tabla de Contenidos:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Enlace del recurso
Electrónico
eBook
4
Publicado 2007
Tabla de Contenidos:
“... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...”Enlace del recurso
Electrónico
eBook
5
Tabla de Contenidos:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
6
Publicado 2005
Tabla de Contenidos:
“... -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed...”Enlace del recurso
Electrónico
eBook
7
Publicado 2008
Tabla de Contenidos:
“... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...”Enlace del recurso
Electrónico
eBook
8
Tabla de Contenidos:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
9
Tabla de Contenidos:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
10
Publicado 2015
Tabla de Contenidos:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Enlace del recurso
Electrónico
eBook
11
Tabla de Contenidos:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
12
Publicado 2008
Tabla de Contenidos:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Enlace del recurso
Electrónico
eBook
13
Publicado 2007
Tabla de Contenidos:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”Enlace del recurso
Electrónico
eBook
14
Publicado 2010
Tabla de Contenidos:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”Enlace del recurso
Electrónico
eBook
15
Publicado 2012
Tabla de Contenidos:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Enlace del recurso
Electrónico
eBook
16
Publicado 2010
Tabla de Contenidos:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Enlace del recurso
Electrónico
eBook
17
Publicado 2006
Tabla de Contenidos:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”Enlace del recurso
Electrónico
eBook
18
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Tabla de Contenidos:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”Enlace del recurso
Electrónico
eBook
20
Materias:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook