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