Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional programs » compositional program, composition programs, compositional problems
program compositional » program composition, program computational, problem compositional
programming function » programming functional, programming functionals, programme function
function program » functional program, functions programs, functional programs
programs help » programmes held, programs https, programs how
compositional programs » compositional program, composition programs, compositional problems
program compositional » program composition, program computational, problem compositional
programming function » programming functional, programming functionals, programme function
function program » functional program, functions programs, functional programs
programs help » programmes held, programs https, programs how
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
Table of Contents:
“... -- Advanced Compositing -- Plug-Ins and Scripting -- Additional Topics....”
View full text
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
Table of Contents:
“... -- Composition of Components -- Subdomain Theory of Stateless Component Composition -- Tutorial Example – SYN...”
View full text
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...”Published 2011
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