×

zbMATH — the first resource for mathematics

Found 2,217 Documents (Results 1–100)

100
MathJax
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 105-123 (2021).
MSC:  68M11 68M25 68R10
PDF BibTeX XML Cite
Full Text: DOI
Probl. Inf. Transm. 57, No. 1, 33-53 (2021); translation from Probl. Peredachi Inf. 57, No. 1, 40-63 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Lee, Cheng Few (ed.) et al., Handbook of financial econometrics, mathematics, statistics, and machine learning. Volume 3. Hackensack, NJ: World Scientific. 2461-2483 (2021).
MSC:  91G99 68M11
PDF BibTeX XML Cite
Full Text: DOI
Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 91-98 (2020).
MSC:  68T37 68Q85 68M11
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12495. Cham: Springer (ISBN 978-3-030-64945-6/pbk; 978-3-030-64946-3/ebook). xiv, 476 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Probl. Inf. Transm. 56, No. 4, 388-398 (2020); translation from Probl. Peredachi Inf. 56, No. 4, 97-108 (2020).
MSC:  94A62 94A29 68M11
PDF BibTeX XML Cite
Full Text: DOI
Farouk, Mohamed Hesham (ed.) et al., Recent advances in engineering math and physics. Proceedings of the international conference, RAEMP 2019, Cairo, Egypt, December 24–26, 2019. Cham: Springer. 373-389 (2020).
MSC:  92C55 92-08 68M11
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-030-42663-7/pbk; 978-3-030-42664-4/ebook). xvii, 269 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 233-255 (2020).
PDF BibTeX XML Cite
Full Text: DOI
EAI/Springer Innovations in Communication and Computing. Cham: Springer (ISBN 978-3-030-16843-8/hbk; 978-3-030-16846-9/pbk; 978-3-030-16844-5/ebook). vii, 110 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Goldberg, Ian (ed.) et al., Financial cryptography and data security. 23rd international conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11598, 301-319 (2019).
MSC:  94A60 68M11
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