Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program specialization » program specification, programs specifications
specialization https » specialization stop, specialization rata, specialization patterns
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
program specialization » program specification, programs specifications
specialization https » specialization stop, specialization rata, specialization patterns
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2012
Table of Contents:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
3
Table of Contents:
“...Building Blocks of IEC 61131-3 -- Variables, Data Types and Common Elements -- The Programming...”
View full text
View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
11
Subjects:
“...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...”
View full text
View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”View full text
Electronic
eBook
13
Table of Contents:
“... of the NK Theorem -- Special Methods -- Newton-like Methods -- Analytic Computational Complexity We...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
View full text
View full text
Electronic
eBook
15
Published 2006
Subjects:
“...Special Functions. https://scigraph.springernature.com/ontologies/product-market-codes/M1221X...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
17
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text
View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”View full text
Electronic
eBook