×

zbMATH — the first resource for mathematics

Found 11,989 Documents (Results 1–100)

100
MathJax
Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 12094, 133-154 (2020).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 53, No. 3, 287-294 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 425-434 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 633-647 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 44, No. 2, 97-108 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 2, 48-60 (2020).
MSC:  65N06 65N50
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 7, 1258-1270 (2020); translation from Avtom. Telemekh. 2020, No. 7, 113-128 (2020).
MSC:  91B54 91A65 91A80
PDF BibTeX XML Cite
Full Text: DOI
Pillwein, Veronika (ed.) et al., Algorithmic combinatorics: enumerative combinatorics, special functions and computer algebra. Proceedings of the workshop on combinatorics, special functions and computer algebra (Paule60), Research Institute of Symbolic Computation (RISC), Hagenberg, Austria, May 17–18, 2018. In honour of Peter Paule on his 60th birthday. Cham: Springer (ISBN 978-3-030-44558-4/hbk; 978-3-030-44559-1/ebook). Texts & Monographs in Symbolic Computation, 9-23 (2020).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Alves, Carlos (ed.) et al., Advances in Trefftz methods and their applications. Selected papers based on the presentations at the 9th conference on Trefftz methods and 5th conference on method of fundamental solutions, Lisbon, Portugal, July 29–31, 2019. Cham: Springer. SEMA SIMAI Springer Ser. 23, 41-57 (2020).
MSC:  65N80 65N35 65N50
PDF BibTeX XML Cite
Full Text: DOI
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer. Springer Proc. Math. Stat. 333, 681-687 (2020).
MSC:  65M50 65N50
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