×

zbMATH — the first resource for mathematics

Found 584 Documents (Results 1–100)

100
MathJax
Russ. Math. 60, No. 10, 77-81 (2016); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2016, No. 10, 92-97 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Discrete Math. Appl. 26, No. 6, 355-367 (2016); translation from Diskretn. Mat. 28, No. 2, 92-107 (2016).
MSC:  60F05 60C05
PDF BibTeX XML Cite
Full Text: DOI
Robshaw, Matthew (ed.) et al., Advances in cryptology – CRYPTO 2016. 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-53017-7/pbk; 978-3-662-53018-4/ebook). Lecture Notes in Computer Science 9814, 457-475 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Robshaw, Matthew (ed.) et al., Advances in cryptology – CRYPTO 2016. 36th annual international cryptology conference, Santa Barbara, CA, USA, August 14–18, 2016. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-53007-8/pbk; 978-3-662-53008-5/ebook). Lecture Notes in Computer Science 9815, 185-206 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Govindarajan, Sathish (ed.) et al., Algorithms and discrete applied mathematics. Second international conference, CALDAM 2016, Thiruvananthapuram, India, February 18–20, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9602, 264-276 (2016).
MSC:  05A05 68P05 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Diskretn. Anal. Issled. Oper. 21, No. 6, 51-72 (2014); translation in J. Appl. Ind. Math. 9, No. 1, 68-82 (2015).
MSC:  68Q25 94B40
PDF BibTeX XML Cite
Full Text: DOI
Math. Notes 96, No. 5, 928-942 (2014); translation from Mat. Zametki 96, No. 6, 864-879 (2014).
MSC:  15B33 65F30 65Y20 15A15 15A09
PDF BibTeX XML Cite
Full Text: DOI
Proc. Steklov Inst. Math. 280, Suppl. 2, S1-S22 (2013); translation from Sovrem. Probl. Mat. 16, 7-30 (2012).
MSC:  01A70 11-03
PDF BibTeX XML Cite
Full Text: DOI
Math. Notes 91, No. 3, 354-363 (2012); translation from Mat. Zametki 91, No. 3, 371-382 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 315-331 (2012).
MSC:  68T15 68Q42 68Q60
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