×

zbMATH — the first resource for mathematics

Found 666 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 (ISBN 978-981-15-1955-0/pbk; 978-981-15-1956-7/ebook). Communications in Computer and Information Science 1134, 86-97 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 55-72 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 372-391 (2019).
MSC:  68Qxx
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, 233-245 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 637-655 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 333-353 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 308-320 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 284-295 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 45, 13 p. (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Kärkkäinen, Juha (ed.) et al., 28th annual symposium on combinatorial pattern matching. CPM 2017, Warsaw, Poland, July 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 78, Article 15, 11 p. (2017).
MSC:  68W32 68P30 68W40
PDF BibTeX XML Cite
Full Text: DOI
Kärkkäinen, Juha (ed.) et al., 28th annual symposium on combinatorial pattern matching. CPM 2017, Warsaw, Poland, July 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 78, Article 12, 14 p. (2017).
MSC:  68Q42 05C69 68Q17
PDF BibTeX XML Cite
Full Text: DOI
de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 106-122 (2017).
MSC:  68Q42
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 45, 13 p. (2017).
MSC:  68R15 68W32
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 459-471 (2017).
MSC:  68U15 68U35
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-53732-0/pbk; 978-3-319-53733-7/ebook). Lecture Notes in Computer Science 10168, 299-310 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-53732-0/pbk; 978-3-319-53733-7/ebook). Lecture Notes in Computer Science 10168, 275-286 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 79, 13 p. (2016).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 273-290 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-41578-9/pbk; 978-3-319-41579-6/ebook). Lecture Notes in Computer Science 9609, 291-302 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 310-321 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 521-532 (2016).
MSC:  68Q42 68W05 68W40
PDF BibTeX XML Cite
Full Text: DOI
Paiva, Valeria (ed.) et al., Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20–23, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-47708-3/pbk; 978-3-662-47709-0/ebook). Lecture Notes in Computer Science 9160, 53-68 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22359-9/pbk; 978-3-319-22360-5/ebook). Lecture Notes in Computer Science 9223, 35-48 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 207-225 (2014).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 186-206 (2014).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 170-185 (2014).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 47-61 (2014).
MSC:  68T50 91F20
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8614, 77-89 (2014).
MSC:  68Q42 68Q45
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). 179-191 (2014).
MSC:  68Q60 68N30 68T15 68N20
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, 478-489 (2014).
MSC:  68Q45 68Q25
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
Frontiers in Artificial Intelligence and Applications 258. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). xii, 243 p. (2014).
PDF BibTeX XML Cite
Full Text: Link
Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 111-122 (2013).
MSC:  68Q42 68Q25 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 511-522 (2013).
MSC:  68N30 68N15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Du Bois, André Rauber (ed.) et al., Programming languages. 17th Brazilian symposium, SBLP 2013, Brasília, Brazil, October 3–4, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40921-9/pbk). Lecture Notes in Computer Science 8129, 1-15 (2013).
MSC:  68N15 68Q42
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