Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program execution » program evaluation, process execution, project execution
function feature » function features, functions feature, fraction feature
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
feature https » nature https, culture https, leisure https
program execution » program evaluation, process execution, project execution
function feature » function features, functions feature, fraction feature
execution https » exertion https, execution status, execution actors
https function » its function, sites function, ups function
feature https » nature https, culture https, leisure https
1
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
2
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“..., and Visualisation Environment for G12 -- Global Constraints on Feature Models -- Constraint Programming for Mining n...”View full text
Electronic
eBook
5
Table of Contents:
“...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
View full text
View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
9
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
View full text
Electronic
eBook
10
Table of Contents:
“...Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond...”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“... with Multiple Connectives -- Tracing Program Execution -- Logical Truth -- Truth Functional Forms -- Truth...”
View full text
View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
15
Table of Contents:
“...Objects and Object Types -- Controlling Execution Flow -- The Object Pipeline -- Working...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
View full text
View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... of Song Using Perceptual Features -- Novel Distributed Dual Beamforming for Randomly Distributed Sensor...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”View full text
Electronic
eBook