1
Spis treści: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Spis treści: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Spis treści: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2015
Spis treści: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2006
Spis treści: ... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Spis treści: ... for Minimum Clique Partition in Unit Disk Graphs -- Representing a Functional Curve by Curves with Fewer Peaks...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2008
Spis treści: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2005
Spis treści: ...: Efficient and Exact Algorithms for Curves and Surfaces -- Min Sum Clustering with Penalties -- Improved...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2014
Spis treści: ... Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2014
Spis treści: ... for Elliptic Curves in the Coq Proof Assistant -- Truly Modular (Co) data types for Isabelle/HOL -- Cardinals...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2014
Spis treści: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2006
Spis treści: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2005
Spis treści: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2013
Spis treści: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2012
Spis treści: ...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2007
Spis treści: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2006
Spis treści: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2006
Spis treści: ... to Algebraic Attacks on Stream Ciphers -- On the Non-linearity and Sparsity of Boolean Functions Related...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2007
Spis treści: ... in a Multidimensional Perspective -- Application of the Peano Curve for the Robot Trajectory Generating...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2014
Spis treści: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Dokumenty pełnotekstowe
Elektroniczne E-book