×

zbMATH — the first resource for mathematics

Found 3,655 Documents (Results 1–100)

100
MathJax
Lecture Notes in Computer Science 12176. Cham: Springer (ISBN 978-3-030-53261-1/pbk; 978-3-030-53262-8/ebook). xi, 298 p. (2020).
MSC:  90-06 90C27 00B25
PDF BibTeX XML Cite
Full Text: DOI
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, 282-303 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 339-350 (2020).
MSC:  68V20 03B35 03E05
PDF BibTeX XML Cite
Full Text: DOI
Yahyapour, Ramin (ed.), Euro-Par 2019: parallel processing. 25th international conference on parallel and distributed computing, Göttingen, Germany, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11725, 103-116 (2019).
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). 1136-1147 (2019).
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). 126-137 (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
all top 3
Software