1
Bằng Hazrat, Roozbeh., Hazrat, Roozbeh.
Được phát hành 2015
Mục lục: ...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...
lấy văn bản
Điện tử eBook
2
Bằng Hazrat, Roozbeh., Hazrat, Roozbeh.
Được phát hành 2010
Mục lục: ...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...
lấy văn bản
Điện tử eBook
3
Được phát hành 2014
Mục lục: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
lấy văn bản
Điện tử eBook
4
Được phát hành 2008
Mục lục: ... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...
lấy văn bản
Điện tử eBook
5
Được phát hành 2012
Mục lục: ... Orthotropic Elliptic Problems.-A Computational Approach for the Earthquake Response of Cable-Braced Reinforced...
lấy văn bản
Điện tử eBook
6
Được phát hành 2013
Mục lục: ...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... Comprehensions -- Program Complexity in Hierarchical Module Checking -- Valigator: A Verification Tool with Bound...
lấy văn bản
Điện tử eBook
8
Được phát hành 2015
Mục lục: ... of Twentieth-Century Harmony -- Utilizing Computer Programming to Analyze Post-Tonal Music: Contour Analysis...
lấy văn bản
Điện tử eBook
9
Bằng Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Được phát hành 2008
Mục lục: ...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...
lấy văn bản
Điện tử eBook
10
Được phát hành 2015
Mục lục: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...
lấy văn bản
Điện tử eBook
12
Được phát hành 2015
Mục lục: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
lấy văn bản
Điện tử eBook
13
Được phát hành 2014
Mục lục: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
lấy văn bản
Điện tử eBook
14
Được phát hành 2008
Mục lục: ... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...
lấy văn bản
Điện tử eBook
15
Được phát hành 2008
Mục lục: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
lấy văn bản
Điện tử eBook
16
Được phát hành 2013
Mục lục: ... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...
lấy văn bản
Điện tử eBook
17
Được phát hành 2013
Mục lục: ... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...
lấy văn bản
Điện tử eBook
18
Được phát hành 2014
Mục lục: ... of the Obese Patient.- 7. Childhood Obesity: Solutions to a Growing Problem.- 8. Non-Alcoholic Fatty Liver...
lấy văn bản
Điện tử eBook
19
Được phát hành 2013
Mục lục: ... of Government Resignation -- Utilizing Neuronal Calculus in Predicting Inflation -- PEV: A Computer Program...
lấy văn bản
Điện tử eBook
20
Được phát hành 2013
Mục lục: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
lấy văn bản
Điện tử eBook