Cerca anche:
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
function https » functions https, fiction https
b functionals » _ functionals, b functional, 3 functionals
programs b » programs _, programs a, programs 4
1
Pubblicazione 2005
Sommario: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Testo
Elettronico eBook
3
Sommario: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Testo
Elettronico eBook
5
Sommario: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
Testo
Elettronico eBook
6
Sommario: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Testo
Elettronico eBook
7
Pubblicazione 2013
Sommario: ...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Testo
Elettronico eBook
9
Pubblicazione 2008
Sommario: ... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...
Testo
Elettronico eBook
10
Pubblicazione 2013
Sommario: ... -- Natural Killer cell Licensing during Viral Infection -- Bridging Innate NK cell Functions with Adaptive...
Testo
Elettronico eBook
11
di Bjørner, Dines., Bjørner, Dines.
Pubblicazione 2006
Sommario: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Testo
Elettronico eBook
12
Pubblicazione 2006
Sommario: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
Testo
Elettronico eBook
13
Pubblicazione 2005
Sommario: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Testo
Elettronico eBook
14
Pubblicazione 2008
Sommario: ... in Industrial Software Quality Control -- Animating Event B Models by Formal Data Models -- Automated Formal...
Testo
Elettronico eBook
15
Pubblicazione 2014
Sommario: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Testo
Elettronico eBook
16
Pubblicazione 2005
Sommario: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
Testo
Elettronico eBook
18
Pubblicazione 2012
Sommario: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
Testo
Elettronico eBook
19
Pubblicazione 2010
Sommario: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Testo
Elettronico eBook