Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program state » programs state, program started, program style
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
program state » programs state, program started, program style
1
Publicat 2006
Taula de continguts:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”Obtenir text complet
Electrònic
eBook
5
Publicat 2013
Taula de continguts:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”Obtenir text complet
Electrònic
eBook
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Obtenir text complet
Electrònic
eBook
9
Taula de continguts:
“... -- Particular yield functions -- Mohr-Coulomb modified function -- Drucker-Prager Modified function -- Isotropic...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
Taula de continguts:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Publicat 2014
Matèries:
“...Climate Change. https://scigraph.springernature.com/ontologies/product-market-codes/U12007...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...”Obtenir text complet
Electrònic
eBook
13
Publicat 2005
Taula de continguts:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Obtenir text complet
Electrònic
eBook
15
Publicat 2014
Taula de continguts:
“... -- Two-Sided Guaranteed Estimates of the Cost Functional for Optimal Control Problems with Elliptic State...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“...-Driven Methods be Meshed in Practice? -- Contracting in Agile Software Projects: State of Art and How...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Obtenir text complet
Electrònic
eBook
18
Publicat 2012
Taula de continguts:
“... of Vital Activities in Reliability Program for Multi-state System by Using House of Reliability -- 12...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... Biclustering for MicroRNA Expression Analysis -- Subnetwork State Functions Define Dysregulated Subnetworks...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”Obtenir text complet
Electrònic
eBook