×

zbMATH — the first resource for mathematics

Found 2,140 Documents (Results 1–100)

100
MathJax
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39218-5/pbk; 978-3-030-39219-2/ebook). Lecture Notes in Computer Science 12016, 347-359 (2020).
MSC:  68T40 68W15
PDF BibTeX XML Cite
Full Text: DOI
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). 300-302 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
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). 177-186 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
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). 127-136 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Singh, Vinai K. (ed.) et al., Advances in mathematical methods and high performance computing. Cham: Springer (ISBN 978-3-030-02486-4/hbk; 978-3-030-02487-1/ebook). Advances in Mechanics and Mathematics 41, 283-294 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Steland, Ansgar (ed.) et al., Stochastic models, statistics and their applications. Collected papers based on the presentations at the 14th workshop, Dresden, Germany, March 6–8, 2019. Cham: Springer. Springer Proc. Math. Stat. 294, 177-192 (2019).
MSC:  62G10 62P30
PDF BibTeX XML Cite
Full Text: DOI
Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 109-123 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24921-2/pbk; 978-3-030-24922-9/ebook). Lecture Notes in Computer Science 11639, 94-108 (2019).
MSC:  68Mxx 68R10
PDF BibTeX XML Cite
Full Text: DOI
Sau, Ignasi (ed.) et al., Graph-theoretic concepts in computer science. 45th international workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019. Revised papers. Cham: Springer (ISBN 978-3-030-30785-1/pbk; 978-3-030-30786-8/ebook). Lecture Notes in Computer Science 11789, 66-78 (2019).
MSC:  68R10
PDF BibTeX XML Cite
Full Text: DOI
Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-25026-3/pbk; 978-3-030-25027-0/ebook). Lecture Notes in Computer Science 11651, 140-152 (2019).
MSC:  68Qxx
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, 409-424 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Das, Gautam K. (ed.) et al., WALCOM: algorithms and computation. 13th international conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11355, 354-366 (2019).
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
Biographic Reference
all top 3
Software