Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program composition » process composition, protein composition, proximate composition
https functionality » its functionality, bags functionality, cross functionality
functionality needs » functionality design
composition https » computation https, composition haptics, cognition https
needs https » feeds http, trends https
program composition » process composition, protein composition, proximate composition
https functionality » its functionality, bags functionality, cross functionality
functionality needs » functionality design
composition https » computation https, composition haptics, cognition https
needs https » feeds http, trends https
1
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook
2
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...”View full text
Electronic
eBook
5
Table of Contents:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”View full text
Electronic
eBook
7
Table of Contents:
“...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text
View full text
Electronic
eBook
8
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...W1 – OCL -- Tool Support for OCL and Related Formalisms – Needs and Trends -- Lessons Learned from...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Keynote Talks -- Architecture in the Age of Compositionality -- Where Did All This Good...”View full text
Electronic
eBook
11
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Quality Software with Formal Methods: What Else Is Needed? -- A Testing Architecture for Designing High...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... on Meta-Synthesis Approach -- ICT and Special Educational Needs: Using Meta-synthesis for Bridging...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... and Complex Enterprise Transformation -- Run-Time Adaptation of Non-functional Properties of Composite Web...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... molecular diagnostics in breeding programs -- Introgression libraries with wild relatives of crops -- High...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Nursing Home Research -- 6 Use of proxies and informants -- 7 Assessing Functional Status and Disability...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... composite THR -- Comparison of the Functional Biological Activity and Osteolytic Potential of Ceramic...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... in Structural Optimization -- Parametric Shape and Topology Optimization with Radial Basis Functions...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”View full text
Electronic
eBook