Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs operational » program operations, programs international, problem operational
function computing » education computing, generation computing
operational https » operational eps, operational data, operational laws
https function » its function, sites function, ups function
programs operational » program operations, programs international, problem operational
function computing » education computing, generation computing
operational https » operational eps, operational data, operational laws
https function » its function, sites function, ups function
1
Udgivet 2005
Indholdsfortegnelse:
“... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Få fuldtekst
Electronisk
eBog
3
Indholdsfortegnelse:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Få fuldtekst
Electronisk
eBog
5
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Fag:
“...Operations Research, Management Science. https://scigraph.springernature.com/ontologies/product...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
9
Indholdsfortegnelse:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... Operators on the Bloch Space of a Bounded Homogeneous Domain -- Images of Minimal-Vector Sequences Under...”Få fuldtekst
Electronisk
eBog
14
Indholdsfortegnelse:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
15
af Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Udgivet 2005
Indholdsfortegnelse:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Udgivet 2005
Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2006
Indholdsfortegnelse:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
19
Indholdsfortegnelse:
“... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
20
Fag:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog