×

zbMATH — the first resource for mathematics

Found 724 Documents (Results 1–100)

100
MathJax
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 3-20 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 526-537 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 230-245 (2019).
MSC:  68Mxx 68R10
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 58, No. 2, 194-199 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 2, 41-46 (2019).
MSC:  90B35 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Mercaş, Robert (ed.) et al., Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11682, 93-105 (2019).
MSC:  68R15 03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Mercaş, Robert (ed.) et al., Combinatorics on words. 12th international conference, WORDS 2019, Loughborough, UK, September 9–13, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11682, 80-92 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 54, No. 6, 1003-1012 (2018); translation from Kibern. Sist. Anal. 2018, No. 6, 170-180 (2018).
MSC:  93C42 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Lektsionnye Kursy NOTs 30. Moskva: Matematicheskiĭ Institut im. V. A. Steklova, RAN (ISBN 978-5-98419-080-7). 117 p., open access (2018).
PDF BibTeX XML Cite
Full Text: DOI Link
Cybern. Syst. Anal. 54, No. 2, 284-294 (2018); translation from Kibern. Sist. Anal. 2018, No. 2, xx (2018).
PDF BibTeX XML Cite
Full Text: DOI
Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 125-132 (2017).
PDF BibTeX XML Cite
Full Text: DOI
MSC:  93B03 93B40 93C10 93C83 68Q10
PDF BibTeX XML Cite
Full Text: DOI MNR
Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 649-661 (2015).
MSC:  68Q05 03D35 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9504, 277-289 (2015).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9504, 106-116 (2015).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-46802-9/pbk; 978-3-662-46803-6/ebook). Lecture Notes in Computer Science 9057, 69-100 (2015).
MSC:  94A60 94A62 68P25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 396-405 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014).
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. Lect. Notes Comput. Sci. 8591, 191-202 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Alhazov, Artiom (ed.) et al., Membrane computing. 14th international conference, CMC 2013, Chişinău, Republic of Moldova, August 20–23, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8340, 117-137 (2014).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Alhazov, Artiom (ed.) et al., Membrane computing. 14th international conference, CMC 2013, Chişinău, Republic of Moldova, August 20–23, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8340, 80-87 (2014).
MSC:  68Q05 68Q10 68T50
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