×

Found 15 Documents (Results 1–15)

Structure exploiting adjoints for finite element discretizations. (English) Zbl 1356.49057

Leugering, Günter (ed.) et al., Constrained optimization and optimal control for partial differential equations. Basel: Birkhäuser (ISBN 978-3-0348-0132-4/hbk; 978-3-0348-0133-1/ebook). ISNM. International Series of Numerical Mathematics 160, 183-196 (2012).
MSC:  49M30 65Y20 90C30 49N90 68W40
PDFBibTeX XMLCite
Full Text: DOI

The meaning of specifications. II: Set-theoretic specification. (English) Zbl 0798.03055

Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 43-68 (1993).
Reviewer: W.Hodges
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software