×

zbMATH — the first resource for mathematics

Found 770 Documents (Results 1–100)

100
MathJax
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer (ISBN 978-981-15-5096-6/hbk; 978-981-15-5097-3/ebook). Springer Tracts in Nature-Inspired Computing, 103-118 (2021).
MSC:  93B11 93C05 90C59
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 (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 376-400 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 10, 1751-1774 (2020); translation from Avtom. Telemekh. 2020, No. 10, 3-34 (2020).
MSC:  93B11 93D05 93C95
PDF BibTeX XML Cite
Full Text: DOI
D’Elia, Marta (ed.) et al., Quantification of uncertainty: improving efficiency and technology. QUIET. Selected contributions based on the presentations at the international workshop, Trieste, Italy, July 18–21, 2017. Cham: Springer (ISBN 978-3-030-48720-1/hbk; 978-3-030-48721-8/ebook). Lecture Notes in Computational Science and Engineering 137, 67-99 (2020).
MSC:  62P35 62-08 65M75
PDF BibTeX XML Cite
Full Text: DOI
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 177-190 (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 151-163 (2020).
MSC:  74P15 74S30
PDF BibTeX XML Cite
Full Text: DOI
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 67-79 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 41-53 (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Fehr, Jörg (ed.) et al., IUTAM symposium on model order reduction of coupled systems. MORCOS 2018. Proceedings of the IUTAM symposium, Stuttgart, Germany, May 22–25, 2018. Cham: Springer. IUTAM Bookser. 36, 1-24 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv
ter Maten, E. Jan W. (ed.) et al., Nanoelectronic coupled problems solutions. Cham: Springer. Math. Ind. 29, 161-193 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). Lecture Notes in Computer Science 11388, 446-467 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). xvii, 149 p. (2019).
PDF BibTeX XML Cite
Full Text: arXiv

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