×

zbMATH — the first resource for mathematics

Found 525 Documents (Results 1–100)

100
MathJax
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 18, 17 p. (2017).
MSC:  68P30 68P20
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 767. Cham: Springer (ISBN 978-3-319-67161-1/pbk; 978-3-319-67162-8/ebook). xvi, 434 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 867-872 (2016).
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 83, 13 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 13, 18 p. (2016).
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, 400-411 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 60-75 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 88-100 (2015).
MSC:  68N18 03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 289-302 (2015).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 40, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 279-290 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Lin, Dongdai (ed.) et al., Information security and cryptology. 9th international conference, Inscrypt 2013, Guangzhou, China, November 27–30, 2013. Revised selected papers. Cham: Springer (ISBN 978-3-319-12086-7/pbk; 978-3-319-12087-4/ebook). Lecture Notes in Computer Science 8567, 361-376 (2014).
MSC:  94A60 94A62
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). 5-17 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Beierle, Christoph (ed.) et al., Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8367, 270-289 (2014).
MSC:  68P15 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 5th international symposium, FPS 2012, Montreal, QC, Canada, October 25–26, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37118-9/pbk). Lecture Notes in Computer Science 7743, 293-307 (2013).
MSC:  68M11 68P25
PDF BibTeX XML Cite
Full Text: DOI
Zh. Vychisl. Mat. Mat. Fiz. 53, No. 3, 495-501 (2013); translation in Comput. Math. Math. Phys. 53, No. 3, 369-375 (2013).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI Link
Kwon, Taekyoung (ed.) et al., Information security and cryptology – ICISC 2012. 15th international conference, Seoul, Korea, November 28–30, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37681-8/pbk). Lecture Notes in Computer Science 7839, 110-125 (2013).
MSC:  94A60 68P25 68U15
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 335-346 (2013).
MSC:  68Q45 68Q42 68P15
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 99-111 (2012).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 325-372 (2012).
MSC:  68Q45 68P05 68P10
PDF BibTeX XML Cite
Full Text: DOI
Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 78-89 (2012).
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