1
Published 2010
Table of Contents: ... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
View full text
Electronic eBook
3
by Peck, Akkana., Peck, Akkana.
Published 2006
Table of Contents: ... -- Advanced Compositing -- Plug-Ins and Scripting -- Additional Topics....
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... of Cardiac Myocytes -- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... -- Safe Object Composition in the Presence of Subtyping -- Reachability Analysis in Boxed Ambients...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... and Inquiry in Teacher Education -- Improvisations -- In Open Spaces -- Practicing What We Preach: Helping...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... composition -- Alcohol Nutrition and health inequalities -- The effect of diet on protein modification...
View full text
Electronic eBook
15
by Hamlet, Dick., Hamlet, Dick.
Published 2010
Table of Contents: ... -- Composition of Components -- Subdomain Theory of Stateless Component Composition -- Tutorial Example – SYN...
View full text
Electronic eBook
16
by Shiskowski, Kenneth, 1954-.
Published 2011
Table of Contents: ... Eigenvalues and Eigenvectors.12.7 A Mathematica EigenFunction.Suggested Reading.Indices.Keyword Index.Index...
Book
17
Published 2006
Table of Contents: ... Volatile Functionality in E-Commerce Web Applications -- Mobile Commerce -- Design of Ubiquitous Referral...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Encryption over the Integers -- Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support...
View full text
Electronic eBook