×

zbMATH — the first resource for mathematics

Found 533 Documents (Results 1–100)

100
MathJax
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
Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (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
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
Lotker, Zvi (ed.) et al., Structural information and communication complexity. 25th international colloquium, SIROCCO 2018, Ma’ale HaHamisha, Israel, June 18–21, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11085, 34-37 (2018).
MSC:  68Mxx 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, 285-312 (2018).
MSC:  68N30 68R10
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 10800. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). xiv, 333 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 28, 21 p. (2017).
MSC:  68R10 68-04 68W99
PDF BibTeX XML Cite
Full Text: DOI
Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 87-99 (2017).
MSC:  68N30 68Q60 68R10
PDF BibTeX XML Cite
Full Text: DOI
Rival, Xavier (ed.), Static analysis. 23rd international symposium, SAS 2016, Edinburgh, UK, September 8–10, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53412-0/pbk; 978-3-662-53413-7/ebook). Lecture Notes in Computer Science 9837, 189-211 (2016).
MSC:  68N30 68R10
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, 137-152 (2016).
MSC:  68Q42 68N99 68R10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 13-22 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-662-47979-7/hbk; 978-3-662-47980-3/ebook). xi, 472 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 607-622 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 155-170 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 81-96 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 33-48 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 40-50 (2014).
MSC:  68N30 05C82 68R10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 221-233 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Bonato, Anthony (ed.) et al., Algorithms and models for the web graph. 10th international workshop, WAW 2013, Cambridge, MA, USA, December 14–15, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03535-2/pbk). Lecture Notes in Computer Science 8305, 44-55 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 506-515 (2013).
MSC:  68N30 68R10 68T15
PDF BibTeX XML Cite
Full Text: DOI
Widmayer, Peter (ed.) et al., Combinatorial optimization and applications. 7th international conference, COCOA 2013, Chengdu, China, December 12–14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03779-0/pbk). Lecture Notes in Computer Science 8287, 129-140 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 349-360 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Bader, David A. (ed.) et al., Graph partitioning and graph clustering. Proceedings of the 10th DIMACS implementation challenge workshop, Atlanta, GA, USA, February 13–14, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9038-7/pbk; 978-0-8218-9869-7/ebook). Contemporary Mathematics 588, 141-155 (2013).
PDF BibTeX XML Cite
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 321-336 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 132-156 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Wong, W. Eric (ed.) et al., Adaptive control approach for software quality improvement. Hackensack, NJ: World Scientific (ISBN 978-981-4340-91-5/hbk; 978-981-4340-92-2/ebook). Series on Software Engineering and Knowledge Engineering 20, 1-21 (2011).
PDF BibTeX XML Cite
Full Text: Link
Kim, Tai-hoon (ed.) et al., Advances in software engineering. International conference, ASEA 2010, held as part of the future generation information technology conference, FGIT 2010, Jeju Island, Korea, December 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17577-0/pbk; 978-3-642-17578-7/ebook). Communications in Computer and Information Science 117, 228-236 (2010).
MSC:  68N99 68R10
PDF BibTeX XML Cite
Full Text: DOI
Kim, Tai-hoon (ed.) et al., Advances in software engineering. International conference, ASEA 2010, held as part of the future generation information technology conference, FGIT 2010, Jeju Island, Korea, December 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17577-0/pbk; 978-3-642-17578-7/ebook). Communications in Computer and Information Science 117, 164-173 (2010).
MSC:  68N99 68T10 68R10
PDF BibTeX XML Cite
Full Text: DOI
Kim, Tai-hoon (ed.) et al., Advances in software engineering. International conference, ASEA 2010, held as part of the future generation information technology conference, FGIT 2010, Jeju Island, Korea, December 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17577-0/pbk; 978-3-642-17578-7/ebook). Communications in Computer and Information Science 117, 130-140 (2010).
MSC:  68N99 68T10 68R10
PDF BibTeX XML Cite
Full Text: DOI
Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 175-201 (2010).
MSC:  68Q42 68N99 68R10
PDF BibTeX XML Cite
Full Text: DOI
Siegler, Simon (ed.) et al., Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-17171-0/pbk). Lecture Notes in Computer Science 6463. Lecture Notes in Artificial Intelligence, 17-37 (2010).
MSC:  68N30 68R10
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 5765. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). xi, 768 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 1-10 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 387-406 (2010).
MSC:  68N30 03B70 68R10
PDF BibTeX XML Cite
Full Text: DOI
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 327-344 (2010).
MSC:  68N99 68R10
PDF BibTeX XML Cite
Full Text: DOI
van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 200-211 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 383-397 (2009).
MSC:  68N30 68R10
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