×

zbMATH — the first resource for mathematics

Found 3,366 Documents (Results 1–100)

100
MathJax
Benner, Peter (ed.) et al., Model order reduction. Volume 3: Applications. Berlin: De Gruyter. 33-73 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Benner, Peter (ed.) et al., Model order reduction. Volume 2: Snapshot-based methods and algorithms. Berlin: De Gruyter. 245-305 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Benner, Peter (ed.) et al., Model order reduction. Volume 2: Snapshot-based methods and algorithms. Berlin: De Gruyter. 181-243 (2021).
MSC:  65M60 65N12 76M10
PDF BibTeX XML Cite
Full Text: DOI
Benner, Peter (ed.) et al., Model order reduction. Volume 2: Snapshot-based methods and algorithms. Berlin: De Gruyter. 47-96 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 103-118 (2021).
MSC:  93B11 93C05 90C59
PDF BibTeX XML Cite
Full Text: DOI
Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 350, 3-32 (2020).
MSC:  92C42 92C40 90C24
PDF BibTeX XML Cite
Full Text: DOI
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 376-400 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software