Hybrid Dynamic Programming

Hybrid Dynamic Programming

書目詳細資料
Main Authors:	Bird, R, de Moor, O
格式:	Record
出版:	1994

相似書籍

From Dynamic Programming to Greedy Algorithms
由: Bird, R, et al.
出版: (1993)

The Algebra of Programming
由: Bird, R, et al.
出版: (1996)

Relational Program Derivation and Context−Free Language Recognition
由: Bird, R, et al.
出版: (1994)

Generic Functional Programming with Types and Relations
由: Bird, R, et al.
出版: (1996)

List Partitions
由: Bird, R, et al.
出版: (1993)

Solving Optimisation Problems with Catamorphisms
由: Bird, R, et al.
出版: (1993)

Pointwise relational programming
由: de Moor, O, et al.
出版: (2000)

Pointwise Relational Programming
由: de Moor, O, et al.
出版: (2000)

More Haste‚ Less Speed: Lazy Versus Eager Evaluation
由: Bird, R, et al.
出版: (1997)

Synthesising graphics card programs from DSLs
由: Cartey, L, et al.
出版: (2012)

Synthesising graphics card programs from DSLs
由: Cartey, L, et al.
出版: (2012)

Bridging the algorithm gap: A linear-time functional program for paragraph formatting
由: de Moor, O, et al.
出版: (1999)

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
由: de Moor, O, et al.
出版: (1999)

Transforming the .NET Intermediate Language Using Path Logic Programming
由: Drape, S, et al.
出版: (2002)

Synthesising graphics card programs from DSLs.
由: Cartey, L, et al.
出版: (2012)

Hybrid Differential Dynamic Programming for Planar Manipulation Primitives
由: Doshi, Neel, et al.
出版: (2022)

A hybrid static/dynamic approach to scheduling stream programs
由: Tan, Ceryen (Ceryen C.)
出版: (2011)

On Transformations of Programs
由: Bird, R
出版: (1974)

Programs and Machines
由: Bird, R
出版: (1976)

A memory efficient reachability data structure through bit vector compression
由: van Schaik, S, et al.
出版: (2011)

Specifying and Implementing Refactorings
由: Schäfer, M, et al.
出版: (2010)

Speeding Up Programs
由: Bird, R
出版: (1974)

Transformational Programming and the Paragraph Problem
由: Bird, R
出版: (1986)

Tabulation Techniques for Recursive Programs
由: Bird, R
出版: (1980)

Algebraic Identities for Program Calculation
由: Bird, R
出版: (1989)

A Program to Solve Sudoku
由: Bird, R
出版: (2006)

Lectures on Constructive Functional Programming
由: Bird, R
出版: (1988)

Improving Programs by the Introduction of Recursion
由: Bird, R
出版: (1977)

Functional Quantum Programming
由: Mu, S, et al.
出版: (2001)

Lexicon driven dynamic programming based hybrid strategy for offline cursive script recognition /
由: Ghazali Sulong, 1958-, author, et al.
出版: (2009)

Sound and Extensible Renaming for Java
由: Schäfer, M, et al.
出版: (2008)

Formalising and Verifying Reference Attribute Grammars in Coq
由: Schäfer, M, et al.
出版: (2009)

A memory efficient reachability data structure through bit vector compression.
由: Schaik, S, et al.
出版: (2011)

The Promotion and Accumulation Strategies in Transformational Programming
由: Bird, R
出版: (1984)

Introduction to Functional Programming Using Haskell
由: Bird, R
出版: (1998)

A Calculus of Functions for Program Derivation
由: Bird, R
出版: (1990)

An Introduction to Functional Programming
由: Bird, R, et al.
出版: (1988)

Addendum to “The Promotion and Accumulation Strategies in Transformational Programming”
由: Bird, R
出版: (1985)

Analog and analog/hybrid computer programming /
由: 398327 Hausner, Arthur
出版: (1971)

Sound and Extensible Renaming for Java
由: Schaefer, M, et al.
出版: (2008)