1
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
2
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
3
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Expert System for Diabetes Disease Diagnosis Using Modified Spline Smooth Support Vector Machine...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... of SBML Functionalities -- Active Membrane Systems Without Charges and Using Only Symmetric Elementary...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Quality Estimation -- Quasigroup String Transformations and Hash Function Design -- Performances of Error...
View full text
Electronic eBook