1
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Cael y testun llawn
Electronig eLyfr
2
Tabl Cynhwysion: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases...
Cael y testun llawn
Electronig eLyfr
4
gan Hunt, John., Hunt, John.
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Deconstruction of Landin’s J Operator -- A Dependently Typed Framework for Static Analysis of Program Execution...
Cael y testun llawn
Electronig eLyfr
7
Tabl Cynhwysion: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Cael y testun llawn
Electronig eLyfr
8
Tabl Cynhwysion: ... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...
Cael y testun llawn
Electronig eLyfr
9
Tabl Cynhwysion: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
Cael y testun llawn
Electronig eLyfr
10
gan Kall, Peter., Kall, Peter., Mayer, János.
Cyhoeddwyd 2005
Tabl Cynhwysion: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion: ... for Companion Matrices -- The Numerical Range of a Class of Self-adjoint Operator Functions -- A Perturbative...
Cael y testun llawn
Electronig eLyfr
13
gan Kall, Peter., Kall, Peter., Mayer, János.
Cyhoeddwyd 2011
Pynciau: ...Operations Research, Management Science. https://scigraph.springernature.com/ontologies/product...
Cael y testun llawn
Electronig eLyfr
14
Tabl Cynhwysion: ... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...
Cael y testun llawn
Electronig eLyfr
15
gan Horton, Ivor., Horton, Ivor.
Cyhoeddwyd 2015
Pynciau: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Cael y testun llawn
Electronig eLyfr
16
gan Denardo, Eric V., Denardo, Eric V.
Cyhoeddwyd 2011
Tabl Cynhwysion: .... Differentiation -- Chapter 19. Convex Functions -- Chapter 20 -- Nonlinear Programs....
Cael y testun llawn
Electronig eLyfr
17
Tabl Cynhwysion: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
Cael y testun llawn
Electronig eLyfr
18
gan Bradley, Aaron R., Bradley, Aaron R.
Cyhoeddwyd 2011
Pynciau: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Cael y testun llawn
Electronig eLyfr
19
Tabl Cynhwysion: ...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
Cael y testun llawn
Electronig eLyfr