×

zbMATH — the first resource for mathematics

Found 137 Documents (Results 1–100)

100
MathJax
Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7582-5). 200-209 (2020).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11244-8/pbk; 978-3-030-11245-5/ebook). Lecture Notes in Computer Science 11388, 446-467 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 442-451 (2018).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI
Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 8th international conference, MCU 2018, Fontainebleau, France, June 28–30, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92401-4/pbk; 978-3-319-92402-1/ebook). Lecture Notes in Computer Science 10881, 34-50 (2018).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI
Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 29, 17 p. (2017).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 28, 17 p. (2017).
MSC:  68M14 68M15 68P30
PDF BibTeX XML Cite
Full Text: DOI
Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 19, 16 p. (2016).
MSC:  68M14 68M10 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 353-355 (2016).
MSC:  68W15 68M14 68M15
PDF BibTeX XML Cite
Full Text: DOI
Ryan, Peter Y. A. (ed.) et al., The new codebreakers. Essays dedicated to David Kahn on the occasion of his 85th birthday. Berlin: Springer (ISBN 978-3-662-49300-7/pbk; 978-3-662-49301-4/ebook). Lecture Notes in Computer Science 9100, 479-493 (2016).
MSC:  94A60 14G50
PDF BibTeX XML Cite
Full Text: DOI
Ryan, Peter Y. A. (ed.) et al., The new codebreakers. Essays dedicated to David Kahn on the occasion of his 85th birthday. Berlin: Springer (ISBN 978-3-662-49300-7/pbk; 978-3-662-49301-4/ebook). Lecture Notes in Computer Science 9100, 374-386 (2016).
MSC:  94A60 14G50
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). 637-650 (2015).
MSC:  68Q85 03B70 68Q60
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). 395-404 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 65-86, electronic only (2014).
MSC:  68N19 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 311-330 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 197-206 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 43rd annual ACM symposium on theory of computing, STOC ’11. San Jose, CA, USA, June 6–8, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0691-1). 373-382 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 535-548 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 247-258 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 457-468, electronic only (2011).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Bernstein, Daniel J. (ed.) et al., Progress in cryptology – INDOCRYPT 2011. 12th international conference on cryptology in India, Chennai, India, December 11–14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25577-9/pbk). Lecture Notes in Computer Science 7107, 40-57 (2011).
MSC:  94A60 68M07
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 1-16 (2011).
MSC:  68Q85 68-03
PDF BibTeX XML Cite
Full Text: DOI
Grigoriu, Mircea (ed.) et al., Recent advances in computational intelligence. Proceedings of the 4th WSEAS international conference on computational intelligence (CI’10), Bucharest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-179-3/hbk). Electrical and Computer Engineering Series. A Series of Reference Books, 148-153 (2010).
MSC:  26E50
PDF BibTeX XML Cite
Grigoriu, Mircea (ed.) et al., Recent advances in computational intelligence. Proceedings of the 4th WSEAS international conference on computational intelligence (CI’10), Bucharest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-179-3/hbk). Electrical and Computer Engineering Series. A Series of Reference Books, 74-79 (2010).
MSC:  26E50
PDF BibTeX XML Cite
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 2-15 (2009).
MSC:  68N30 68N15 68N19
PDF BibTeX XML Cite
Full Text: DOI
Keidar, Idit (ed.), Distributed computing. 23rd international symposium, DISC 2009, Elche, Spain, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04354-3/pbk). Lecture Notes in Computer Science 5805, 142-156 (2009).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 51-62 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 92-104 (2005).
MSC:  68N15 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI
Maitra, Subhamoy (ed.) et al., Progress in cryptology – INDOCRYPT 2005. 6th international conference on cryptology in India, Bangalore, India, December 10–12, 2005, Proceedings. Berlin: Springer (ISBN 978-3-540-30805-8/pbk). Lecture Notes in Computer Science 3797, 403-416 (2005).
MSC:  94A60 11T71
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 256-267 (2004).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI
Papatriantafilou, Marina (ed.) et al., Principle of distributed systems. 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10–13, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22667-2/pbk). Lecture Notes in Computer Science 3144, 184-197 (2004).
MSC:  68M14 68N30
PDF BibTeX XML Cite
Full Text: DOI
Wang, Guoyin (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 9th international conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2639, 711-714 (2003).
MSC:  68U35 68P25 94A62
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software