×

zbMATH — the first resource for mathematics

Found 4,390 Documents (Results 1–100)

100
MathJax
Autom. Remote Control 81, No. 11, 1994-2010 (2020); translation from Avtom. Telemekh. 2020, No. 11, 72-92 (2020).
MSC:  93E11 93C05
PDF BibTeX XML Cite
Full Text: DOI
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-53517-9/pbk; 978-3-030-53518-6/ebook). Lecture Notes in Computer Science 12236. Lecture Notes in Artificial Intelligence, 105-122 (2020).
MSC:  68V15 68M15
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). 549 (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). 458-460 (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). 409-418 (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). 357-365 (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). 347-356 (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). 327-336 (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). 212-214 (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
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 354-367 (2019).
MSC:  68R10 68M15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 164-178 (2019).
PDF BibTeX XML Cite
Full Text: DOI
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 247-264 (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