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
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
program specification » programs specifications, program specialization, program verification
specification https » specification matter, modification https, specification aes
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”View full text
Electronic
eBook
3
Table of Contents:
“...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
View full text
View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
5
Table of Contents:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
View full text
View full text
Electronic
eBook
6
Published 2011
Table of Contents:
“... arrhythmias associated with cardiac sodium mutations: Individual-specific or mutation-specific? -- CLP-1...”View full text
Electronic
eBook
7
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
8
“... mosque’s function as well as the current perception of the programs of a mosque. The paper adopts...”
Article
9
Published 2010
Table of Contents:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”View full text
Electronic
eBook
10
Table of Contents:
“...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...”
View full text
View full text
Electronic
eBook
11
Published 2015
Subjects:
“...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Language -- The Specification Language TLA+ -- The Typed Logic of Partial Functions and the Vienna...”View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text
View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
17
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
View full text
View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed...”View full text
Electronic
eBook