×

zbMATH — the first resource for mathematics

Found 27,859 Documents (Results 1–100)

100
MathJax
Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 73-79 (2022).
MSC:  68T30
PDF BibTeX XML Cite
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
Comput. Math. Math. Phys. 61, No. 8, 1364-1373 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 8, 1390-1400 (2021).
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