×

zbMATH — the first resource for mathematics

Found 5,826 Documents (Results 1–100)

100
MathJax
Lecture Notes in Computer Science 12843. Cham: Springer (ISBN 978-3-030-82471-6/pbk; 978-3-030-82472-3/ebook). xxi, 288 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
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, 351-369 (2021).
PDF BibTeX XML Cite
Full Text: DOI
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, 20-37 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Berkeley, CA: Apress (ISBN 978-1-4842-5363-2/pbk; 978-1-4842-5364-9/ebook). xvii, 306 p. (2021).
MSC:  68-01 68N15 68T07
PDF BibTeX XML Cite
Full Text: DOI
Dey, Nilanjan (ed.) et al., Applications of bat algorithm and its variants. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 133-153 (2021).
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 825-832 (2020).
MSC:  68T35 91B26
PDF BibTeX XML Cite
Full Text: DOI
De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 648-655 (2020).
MSC:  68T35 03B45 68T27
PDF BibTeX XML Cite
Full Text: DOI
Cheng, Zhiguang (ed.) et al., Modeling and application of electromagnetic and thermal field in electrical engineering. Beijing: Science Press; Singapore: Springer. 139-174 (2020).
MSC:  68T35 78A55
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12245. Cham: Springer (ISBN 978-3-030-54831-5/pbk; 978-3-030-54832-2/ebook). xx, 219 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 115-141 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 6, 1012-1020 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 175-183 (2020).
MSC:  03E72 68Q45 68T37
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 318-333 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 301-317 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 242-262 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 222-241 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 191-210 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 157-174 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 140-156 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 122-139 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 106-121 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 90-105 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 79-89 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 58-78 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 42-57 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 22-41 (2020).
MSC:  68T27 68T30 68T35
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 1-21 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Berkeley, CA: Apress (ISBN 978-1-4842-6155-2/pbk; 978-1-4842-6156-9/ebook). xx, 372 p. (2020).
MSC:  68-01 68N15 68T05
PDF BibTeX XML Cite
Full Text: DOI
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 17-85 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Studies on the Semantic Web 47. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-1-64368-080-4/pbk; 978-1-64368-081-1/ebook). vii, 592 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12012. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). xviii, 335 p. (2020).
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
J. Comput. Syst. Sci. Int. 58, No. 6, 932-944 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 6, 90-102 (2019).
MSC:  68T35
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
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
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 217-228 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 227-242 (2019).
MSC:  68T35 68T30
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 159-173 (2019).
MSC:  68Q45 68Q32 68T20
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11695. Cham: Springer (ISBN 978-3-030-28729-0/pbk; 978-3-030-28730-6/ebook). xxiii, 457 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 55, No. 3, 462-473 (2019); translation from Kibern. Sist. Anal. 2019, No. 3, 136-148 (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
all top 3
Software