×

zbMATH — the first resource for mathematics

Found 1,436 Documents (Results 1–100)

100
MathJax
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 311-329 (2021).
MSC:  68Q45 68R10 68W05
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
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 198-210 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 185-197 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 175-184 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 165-174 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 158-164 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 149-157 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 136-148 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 123-135 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 111-122 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 98-110 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 86-97 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 74-85 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 62-73 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 50-61 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 38-49 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 25-37 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 13-24 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Zhu, Xiaoyan (ed.) et al., Knowledge graph and semantic computing: knowledge computing and language understanding. Proceedings of the 4th China conference, CCKS 2019, Hangzhou, China, August 24–27, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1134, 1-12 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 124-136 (2019).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 121-132 (2019).
MSC:  68Q45 68R10 92E10
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 1134. Singapore: Springer (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). xiv, 211 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 2333-2349 (2019).
MSC:  68Q45 05C57 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019).
PDF BibTeX XML Cite
Full Text: Link
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Croitoru, Madalina (ed.) et al., Graph structures for knowledge representation and reasoning. 5th international workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10775, 54-72 (2018).
MSC:  68R10 68T35 68W40
PDF BibTeX XML Cite
Full Text: DOI
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 19, 21 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 10, 17 p. (2018).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 237-249 (2018).
PDF BibTeX XML Cite
Full Text: DOI
BestMasters. Wiesbaden: Springer Spektrum (Master Thesis) (ISBN 978-3-658-24763-8/pbk; 978-3-658-24764-5/ebook). viii, 65 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 71-80 (2018).
MSC:  68Q45 05C15 68R10
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 61-82 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Klein, Philip N. (ed.), Proceedings of the 28th annual ACM-SIAM symposium on discrete algorithms, SODA 2017, Barcelona, Spain, January 16–19, 2017. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 207-224 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 27, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 15, 13 p. (2017).
MSC:  68R10 03B15 03D05 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Izv. Math. 81, No. 6, 1155-1167 (2017); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 81, No. 6, 100-113 (2017).
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