×

zbMATH — the first resource for mathematics

Found 181 Documents (Results 1–100)

100
MathJax
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, 235-247 (2019); correction ibid. 11355, C1 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-063-7). LIPIcs – Leibniz International Proceedings in Informatics 98, Article 16, 22 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Hersh, Patricia (ed.) et al., The mathematical legacy of Richard P. Stanley. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2724-5/hbk; 978-1-4704-3477-9/ebook). 203-218 (2016).
MSC:  13H10 13P20 13F55
PDF BibTeX XML Cite
Proc. Steklov Inst. Math. 291, Suppl. 1, S222-S238 (2015); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 20, No. 3, 291-308 (2014).
MSC:  49M30 49Q10 49J52 52B11
PDF BibTeX XML Cite
Full Text: DOI
Hemakul, Wanida (ed.) et al., Proceedings of the international conference on algebra 2010: advances in algebraic structures, Yogjakarta, Indonesia, October 7–10, 2010. Dedicated to Shum Kar-Ping on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4366-30-4/hbk; 978-981-4366-31-1/ebook). 26-42 (2012).
MSC:  20D10 20D30 20D20
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Logic colloquium 2006. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Nijmegen, Netherlands, July 27–August 2, 2006. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11081-5/hbk). Lecture Notes in Logic 32, 213-228 (2009).
MSC:  03D28
PDF BibTeX XML Cite
Deng, Xiaotie (ed.) et al., Frontiers in algorithmics. Third international workshop, FAW 2009, Hefei, China, June 20–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02269-2/pbk). Lecture Notes in Computer Science 5598, 237-250 (2009).
MSC:  05C85 05C69 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 251-262 (2005).
MSC:  68T20 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Chen, Shuxing (ed.) et al., Geometry and nonlinear partial differential equations. Dedicated to Professor Buqing Su in honor of his 100th birthday. Proceedings of the conference, Zhejiang University, Zhejiang, China, July 30-31, 2001. Providence, RI: American Mathematical Society (AMS). AMS/IP Stud. Adv. Math. 29, 143-164 (2002).
MSC:  14E20
PDF BibTeX XML Cite
Proceedings of the 13th algebra seminar, Urmia University, Urmia, Iran, July 17–19, 2001. With 1 CD-ROM (Windows, Macintosh and UNIX). Urmia: University of Urmia. 109-115 (2001).
MSC:  13D02 13C11 13C14
PDF BibTeX XML Cite
Arslanov, Marat M. (ed.) et al., Recursion theory and complexity. Proceedings of the Kazan ’97 workshop, Kazan, Russia, July 14–19, 1997. Berlin: Walter de Gruyter (ISBN 3-11-016587-2/hbk). de Gruyter Series in Logic and Its Applications 2, 81-87 (1999).
MSC:  03D25
PDF BibTeX XML Cite

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