×

zbMATH — the first resource for mathematics

Found 1,610 Documents (Results 1–100)

100
MathJax
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 156 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019).
MSC:  68Q42 18A30
PDF BibTeX XML Cite
Full Text: DOI
Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 45-75 (2019).
MSC:  68N18 68P05
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 63, No. 6, 8-18 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 6, 11-22 (2019).
MSC:  35R30 35M10
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 124-133 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Sib. Zh. Ind. Mat. 22, No. 1, 3-12 (2019); translation in J. Appl. Ind. Math. 13, No. 1, 1-10 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Shacham, Hovav (ed.) et al., Advances in cryptology – CRYPTO 2018. 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19–23, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10993, 753-783 (2018).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). Lecture Notes in Computer Science 10895, 370-387 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 73-87 (2017).
MSC:  68Q85 06B23 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 459-471 (2017).
MSC:  68U15 68U35
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 818-832 (2017).
MSC:  68N30 81P68
PDF BibTeX XML Cite
Full Text: DOI
Eisenbrand, Friedrich (ed.) et al., Integer programming and combinatorial optimization. 19th international conference, IPCO 2017, Waterloo, ON, Canada, June 26–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10328, 148-160 (2017).
MSC:  90C11
PDF BibTeX XML Cite
Full Text: DOI
Ábrahám, Erika (ed.) et al., Theory and practice of formal methods. Essays dedicated to Frank de Boer on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30733-6/pbk; 978-3-319-30734-3/ebook). Lecture Notes in Computer Science 9660, 173-193 (2016).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Ganty, Pierre (ed.) et al., Trustworthy global computing. 10th international symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9533, 131-146 (2016).
MSC:  68M10 68M12
PDF BibTeX XML Cite
Full Text: DOI
Mat. Metody Fiz.-Mekh. Polya 59, No. 2, 28-42 (2016); translation in J. Math. Sci., New York 231, No. 4, 507-526 (2018).
MSC:  35K70 35K45
PDF BibTeX XML Cite
Full Text: DOI
Mat. Metody Fiz.-Mekh. Polya 59, No. 2, 19-27 (2016); translation in J. Math. Sci., New York 231, No. 4, 495-506 (2018).
MSC:  35G20 35C99
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 52, No. 2, 206-218 (2016); translation from Kibern. Sist. Anal. 2016, No. 2, 37-50 (2016).
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