Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
programming models » programming model
https function » its function, sites function, ups function
models https » modeling https
function structures » functions structures, function structure, functional structures
programming models » programming model
https function » its function, sites function, ups function
models https » modeling https
1
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... in the Signal Tile Assembly Model -- Modular Verification of DNA Strand Displacement Networks via...”View full text
Electronic
eBook
12
Table of Contents:
“... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....”
View full text
View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Schnyder Greedy Routing Algorithm -- Exploiting Restricted Linear Structure to Cope with the Hardness...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...Session 1 -- Finding Small Holes -- Session 2A -- Approximate Range Searching: The Absolute Model...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
19
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”View full text
Electronic
eBook