Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming composing » programming comparing, programming composite, programming computing
function function » function functional, functions functional, function dysfunction
composing https » computing https, composing photos
https function » its function, sites function, ups function
function https » functions https, fiction https
programming composing » programming comparing, programming composite, programming computing
function function » function functional, functions functional, function dysfunction
composing https » computing https, composing photos
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Udgivet 2006
Indholdsfortegnelse:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Fag:
“...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...”Få fuldtekst
Electronisk
eBog
7
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Udgivet 2014
Indholdsfortegnelse:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2007
Indholdsfortegnelse:
“... on Write-Once Memories -- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge...”Få fuldtekst
Electronisk
eBog
9
Indholdsfortegnelse:
“... process -- Appendix B: Functional Javascript -- Appendix C: ES6 Primer....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... Generic Functions -- Composing Services -- Dynamically Adaptive Systems through Automated Model Evolution...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2007
Indholdsfortegnelse:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2008
Indholdsfortegnelse:
“...Invited Talks -- Some Recent Results in Metric Temporal Logic -- Composing Web Services in an Open...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2006
Indholdsfortegnelse:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2012
Indholdsfortegnelse:
“...Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A...”Få fuldtekst
Electronisk
eBog
16
Indholdsfortegnelse:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... to Composing Reputation-Based Distributed Services -- Automated Detection of Least Privilege Violations...”Få fuldtekst
Electronisk
eBog
18
af Liu, Xiao., Liu, Xiao., Yuan, Dong., Zhang, Gaofeng., Li, Wenhao., Cao, Dahai., He, Qiang., Chen, Jinjun., Yang, Yun.
Udgivet 2012
Indholdsfortegnelse:
“... Workflow System Functionality -- Cloud Workflow System Quality of Service -- Case Study: SWINDEW-C Cloud...”Udgivet 2012
Få fuldtekst
Electronisk
eBog
19
Udgivet 2007
Indholdsfortegnelse:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”Få fuldtekst
Electronisk
eBog