Sample records for LINEARE PROGRAMMIERUNG (linear programming)
from WorldWideScience.org

Sample records 1 - 20 shown. Select sample records:



5

Tutorial on Linear Logic

Torelstra, A. S.; Association for Logic Programming
1992-01-01

German National Library of Science and Technology (GetInfo) (German)

13

Tax Clientele Effects in the German Bond Market

Stehle, Richard; Jaschke, Stefan R.; Wernicke, S.

This paper presents an analysis of tax clientele eects in the German government bond market from the viewpoint of private investors. The methods developed here allow the identification of bonds that are over-valued from the viewpoint of a certain tax class, the estimation of tax-specific term struct...

DRIVER (German)

21

Semi-infinite programming

Semi-Infinite Programming Workshop < 1996, Cottbus>
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

22

Rolling Your Own Mutable ADT - A Connection between Linear Types and Monads -

Chen, C.-P.; Hudak, P.; Association for Computing Machinery; Special Interest Group on algorithms and Computation Theory
1997-01-01

German National Library of Science and Technology (GetInfo) (German)

24

Relating linear and branching model checking

Kupferman, O.; Vardi, M. Y.; International Federation for Information Processing; Working Group 2.2 Formal Description of Programming Concepts
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

31

Postoptimality for multistage stochastic linear programs

Dupacova, J.; Mathematical Programming Society; Committee on Stochastic Programming
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

32

Points-to Analysis in Almost Linear Time

Steensgaard, B.; Association for Computing Machinery; Special Interest Group on Algorithms and Computation Theory; Association for Computing Machinery; Special Interest Group on Programming Languages
1996-01-01

German National Library of Science and Technology (GetInfo) (German)

44

Mathematical developments arising from linear programming : proceedings

Joint Summer Research Conference on Mathematical Developments Arising from Linear Programming < 1988, Brunswick, Me.>
1990-01-01

German National Library of Science and Technology (GetInfo) (German)

81
90

A fast LU update for linear programming

Suhl, L. M.; Suhl, U. H.; Mathematical Programming Society
1993-01-01

German National Library of Science and Technology (GetInfo) (German)

92

A combination of interval logic and linear temporal logic

Qiu, Z.; Zhou, C.; International Federation for Information Processing; Working Group 2.2 Formal Description of Programming Concepts
1998-01-01

German National Library of Science and Technology (GetInfo) (German)

96

A Linear Time Algorithm for Placing �-nodes

Sreedhar, V. C.; Gao, G. R.; Association for Computing Machinery
1995-01-01

German National Library of Science and Technology (GetInfo) (German)

97

Linear-Time Subtransitive Control Flow Analysis

Heintze, N.; McAllester, D.; ACM; Special Interest Group on Programming Languages
1997-01-01

German National Library of Science and Technology (GetInfo) (German)