Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program specification » programs specifications, program specialization, program verification
specification https » specification matter, modification https, specification aes
https function » its function, sites function, ups function
using https » using http, nursing https, aging https
program specification » programs specifications, program specialization, program verification
specification https » specification matter, modification https, specification aes
https function » its function, sites function, ups function
using https » using http, nursing https, aging https
1
Published 2014
Table of Contents:
“... of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Language -- The Specification Language TLA+ -- The Typed Logic of Partial Functions and the Vienna...”View full text
Electronic
eBook
4
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...”View full text
Electronic
eBook
8
Table of Contents:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”View full text
Electronic
eBook
13
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”View full text
Electronic
eBook
19
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”View full text
Electronic
eBook