1
Published 2013
Table of Contents: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Differential Equations, Reduction of Complexity and Applications -- 4. Characterizations of Convex Quadratics...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...
View full text
Electronic eBook
10
by Chong, Kok Hen
Published 2008
...The complexity of the digital electronic circuit is due to the number of gates used per system...
View full text
Thesis
11
by Chong, Kok Hen
Published 2008
...The complexity of the digital electronic circuit is due to the number of gates used per system...
View full text
Thesis
12
13
Published 2012
Table of Contents: ... Effects in Visual Search -- Complexity Analysis of EEG Data during Rest State and Visual Stimulus...
View full text
Electronic eBook