Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program section » program execution, program collection, program security
https function » its function, sites function, ups function
section https » sedation https, fiction https, infection https
based https » based http
program section » program execution, program collection, program security
https function » its function, sites function, ups function
section https » sedation https, fiction https, infection https
based https » based http
1
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
2
Published 2011
Table of Contents:
“... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...”View full text
Electronic
eBook
11
by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007
Table of Contents:
“... -- Creating The Content:Categories and Articles -- Customizing The Presentation: Sections, Pages, Forms...”Published 2007
View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Projects -- Toward Empowering Extreme Programming from an Architectural Viewpoint -- A Metric-Based...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...”View full text
Electronic
eBook
15
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“... -- Chapter 12 From Function-Based Development Practices to Collaborative Capability Building: An Intervention...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Architectural Design Decisions -- Style-Based Model Transformation for Early Extrafunctional Analysis...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”View full text
Electronic
eBook