×

zbMATH — the first resource for mathematics

Found 3,405 Documents (Results 1–100)

100
MathJax
Prof. Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 219-239 (2021).
MSC:  68Q60
PDF BibTeX XML Cite
Göttlich, Simone (ed.) et al., Mathematical modeling, simulation and optimization for power engineering and management. Cham: Springer. Math. Ind. 34, 171-198 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Göttlich, Simone (ed.) et al., Mathematical modeling, simulation and optimization for power engineering and management. Cham: Springer. Math. Ind. 34, 145-168 (2021).
MSC:  92E20 93B11 93C20
PDF BibTeX XML Cite
Full Text: DOI
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

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