×

zbMATH — the first resource for mathematics

Found 2,383 Documents (Results 1–100)

100
MathJax
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 519-535 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-51824-0/pbk; 978-3-030-51825-7/ebook). Lecture Notes in Computer Science 12178, 447-463 (2020).
MSC:  68Q25 68R07 68T20
PDF BibTeX XML Cite
Full Text: DOI
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 569-581 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 222-233 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 208-221 (2020).
MSC:  68Qxx
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). 228-237 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-21461-6/pbk; 978-3-030-21462-3/ebook). Lecture Notes in Computer Science 11511. Lecture Notes in Artificial Intelligence, 208-222 (2019).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 804-815 (2019).
MSC:  68Q32 06E30 94D10
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 59, No. 9, 1542-1552 (2019); translation from Zh. Vychisl. Mat. Mat. Fiz. 59, No. 9, 1605-1616 (2019).
MSC:  68T10 03B70
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 986-1004 (2019).
MSC:  68Q87 06E30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 639-646 (2019).
MSC:  68W05 68W40 94C11
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 496-515 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 33, 15 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Servedio, Rocco A. (ed.), 33rd computational complexity conference, CCC 2018, June 22–24, 2018, San Diego, California, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 102, Article 1, 21 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Fan, Junfeng (ed.) et al., Constructive side-channel analysis and secure design. 9th international workshop, COSADE 2018, Singapore, April 23–24, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10815, 227-244 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Fan, Junfeng (ed.) et al., Constructive side-channel analysis and secure design. 9th international workshop, COSADE 2018, Singapore, April 23–24, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10815, 61-81 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 1166-1179 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 878-889 (2018).
MSC:  94C11 68Q06 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 253-266 (2018).
MSC:  68Q17 68Q25 94C11
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Computer science – theory and applications. 13th international computer science symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10846, 232-243 (2018).
MSC:  68Q25 06E30 68Q17
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