×

zbMATH — the first resource for mathematics

Found 788 Documents (Results 1–100)

100
MathJax
J. Comput. Syst. Sci. Int. 57, No. 3, 482-493 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2018, No. 3, 128-139 (2018).
MSC:  93C95 93A30 49N10 05C90 70P05
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 54, No. 1, 165-172 (2018); translation from Kibern. Sist. Anal. 2018, No. 1, 184-192 (2018).
MSC:  93A30 93A15 93C95 94C15 93C15
PDF BibTeX XML Cite
Full Text: DOI
Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 247-261 (2018).
MSC:  68T20 68R10 94C10
PDF BibTeX XML Cite
Full Text: Link
Autom. Remote Control 78, No. 5, 868-881 (2017); translation from Avtom. Telemekh. 2017, No. 5, 123-140 (2017).
MSC:  93A30 93C95 93B40 05C90
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 53, No. 1, 157-164 (2017); translation from Kibern. Sist. Anal. 2017, No. 1, 184-192 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 13, 23 p. (2016).
MSC:  68Q25 68R10 94C10
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 236-251 (2016).
MSC:  68Q42 68R10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Springer Vieweg (ISBN 978-3-658-13322-1/pbk; 978-3-658-13323-8/ebook). xxxiii, 206 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Springer Theses. Cham: Springer; Aberdeen: Univ. Aberdeen (Diss.) (ISBN 978-3-319-22215-8/hbk; 978-3-319-22216-5/ebook). xvii, 117 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Robeva, Raina S. (ed.), Algebraic and discrete mathematical methods for modern biology. Amsterdam: Elsevier (ISBN 978-0-12-801213-0/hbk). 93-119 (2015).
MSC:  92C42 94C10 92C40
PDF BibTeX XML Cite
Full Text: DOI
Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part II. Berlin: Springer (ISBN 978-3-662-44464-1/pbk). Lecture Notes in Computer Science 8635, 25-32 (2014).
MSC:  68Q25 05C60 68Q15 94C10
PDF BibTeX XML Cite
Full Text: DOI
Cai, Zhipeng (ed.) et al., Computing and combinatorics. 20th international conference, COCOON 2014, Atlanta, GA, USA, August 4–6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08782-5/pbk). Lecture Notes in Computer Science 8591, 596-607 (2014).
MSC:  94C10 05C85 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-04920-5/pbk). Lecture Notes in Computer Science 8370, 285-296 (2014).
MSC:  68R10 05C60 68Q17 68Q19 68Q25 94C10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 4th conference on innovations in theoretical computer science, ITCS’13, Berkeley, CA, USA, January 9–12, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1859-4). 139-144 (2013).
MSC:  68Q25 68Q15 94C10
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Math. Bull. 68, No. 5, 246-248 (2013); translation from Vestn. Mosk. Univ., Ser. I 67, No. 5, 34-37 (2013).
MSC:  92E10 93C95 65C20
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 52, No. 6, 909-927 (2013); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2013, No. 6, 68-86 (2013).
MSC:  94C10 94C15
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 74, No. 7, 1164-1177 (2013); translation from Avtom. Telemekh. 2013, No. 7, 126-142 (2013).
MSC:  94C10 94C15
PDF BibTeX XML Cite
Full Text: DOI
Järvisalo, Matti (ed.) et al., Theory and applications of satisfiability testing – SAT 2013. 16th international conference, Helsinki, Finland, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39070-8/pbk). Lecture Notes in Computer Science 7962, 335-350 (2013).
MSC:  68R10 68Q25 94C10
PDF BibTeX XML Cite
Full Text: DOI
Fatès, Nazim (ed.) et al., Automata 2011. Selected papers based on the presentations at the 17th international workshop on cellular automata and discrete complex systems, Santiago, Chile, November 21–23, 2011. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 29-46, electronic only (2012).
MSC:  94C10
PDF BibTeX XML Cite
Full Text: Link arXiv
Borutzky, Wolfgang (ed.), Bond graph modelling of engineering systems. Theory, applications and software support. Foreword by Donald Margolis. New York, NY: Springer (ISBN 978-1-4419-9367-0/hbk; 978-1-4419-9368-7/ebook). 385-430 (2011).
MSC:  93A30 05C90 93C95
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