×

zbMATH — the first resource for mathematics

Found 362 Documents (Results 1–100)

100
MathJax
Derbel, Nabil (ed.) et al., Diagnosis, fault detection & tolerant control. Singapore: Springer (ISBN 978-981-15-1745-7/hbk; 978-981-15-1748-8/pbk; 978-981-15-1746-4/ebook). Studies in Systems, Decision and Control 269, 173-190 (2020).
MSC:  93C95 93-10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 591-603 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Farouk, Mohamed Hesham (ed.) et al., Recent advances in engineering math and physics. Proceedings of the international conference, RAEMP 2019, Cairo, Egypt, December 24–26, 2019. Cham: Springer. 101-115 (2020).
PDF BibTeX XML Cite
Full Text: DOI
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 59, No. 1, 105-121 (2020); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2020, No. 1, 143-160 (2020).
MSC:  93C95 93C85
PDF BibTeX XML Cite
Full Text: DOI
Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 751, 135-175 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 81-101 (2020).
MSC:  91B74
PDF BibTeX XML Cite
Full Text: DOI
Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 27-40 (2020).
MSC:  93B70 93A15
PDF BibTeX XML Cite
Full Text: DOI
Malinowska, Agnieszka B. (ed.) et al., Advances in non-integer order calculus and its applications. Proceedings of the 10th international conference on non-integer order calculus and its applications, Bialystok University of Technology, Białystok, Poland, September 20–21, 2018. Cham: Springer. Lect. Notes Electr. Eng. 559, 55-71 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yijia (ed.) et al., Frontiers in algorithmics. 13th international workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-18125-3/pbk; 978-3-030-18126-0/ebook). Lecture Notes in Computer Science 11458, 133-143 (2019).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 19, 16 p. (2017).
MSC:  03B10 03B25 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 21-38 (2017).
MSC:  68T15 03B70 68Q25
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 56, No. 2, 268-274 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 101-107 (2017).
MSC:  93C95 93D21 93B40
PDF BibTeX XML Cite
Full Text: DOI
Inenaga, Shunsuke (ed.) et al., String processing and information retrieval. 23rd international symposium, SPIRE 2016, Beppu, Japan, October 18–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46048-2/pbk; 978-3-319-46049-9/ebook). Lecture Notes in Computer Science 9954, 110-121 (2016).
MSC:  68W32 68P05
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 27, 14 p. (2016).
MSC:  68Q17 68Q15 68R10
PDF BibTeX XML Cite
Full Text: DOI
Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 601-668 (2015).
MSC:  68Q15 68P30 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 60-75 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Nyberg, Kaisa (ed.), Topics in cryptology – CT-RSA 2015. The cryptographer’s track at the RSA conference 2015, San Francisco, CA, USA, April 20–24, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-16714-5/pbk; 978-3-319-16715-2/ebook). Lecture Notes in Computer Science 9048, 311-329 (2015).
MSC:  94A60 68N20
PDF BibTeX XML Cite
Full Text: DOI
Wituła, Roman (ed.) et al., Monograph on the occasion of 100th birthday anniversary of Zygmunt Zahorski. Gliwice: Wydawnictwo Politechniki Śląskiej (ISBN 978-83-7880-206-8/pbk). Monografia (Gliwice) 545, 219-238 (2015).
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