×

zbMATH — the first resource for mathematics

Found 69 Documents (Results 1–69)

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). 11-20 (2020).
MSC:  68M14 68W15
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). 116-125 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28474-3/pbk; 978-3-319-28475-0/ebook). Lecture Notes in Computer Science 9504, 321-337 (2015).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 385-395 (2014).
MSC:  68N19 68Q10 68W15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2014 ACM symposium on principles of distributed computing, PODC ’14, Paris, France, July 15–18, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2944-6). 186-195 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 521-532 (2012).
MSC:  68N19 68N15 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Fajstrup, Lisbeth (ed.) et al., Proceedings of the 9th workshop on geometric and topological methods in computer science (GETCO), Aalborg, Denmark, January 11–15, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 283, 3-12 (2012).
MSC:  68Q85 18G30 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 375-384 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 98-108, electronic only (2012).
MSC:  68N30 68N17 68N19
PDF BibTeX XML Cite
Full Text: DOI
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 281-301 (2010).
MSC:  68Q85 68N19
PDF BibTeX XML Cite
Chen, Jianer (ed.) et al., Theory and applications of models of computation. 6th annual conference, TAMC 2009, Changsha, China, May 18–22, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02016-2/pbk). Lecture Notes in Computer Science 5532, 325-334 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 19-34 (2008).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 33-42 (2007).
MSC:  68Q85 68W15 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Backes, Michael (ed.) et al., Proceedings of the international workshop on security and concurrency (SecCo 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 180, No. 1, 17-34 (2007).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 228-237 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Priami, Corrado (ed.), Global computing. Programming environments, languages, security, and analysis of systems. IST/FET international workshop, GC 2003, Rovereto, Italy, February 9–14, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20583-7/pbk). Lect. Notes Comput. Sci. 2874, 57-87 (2003).
MSC:  68N19 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Magnusson, Boris (ed.), ECOOP 2002 - object-oriented programming. 16th European conference, Málaga, Spain, June 10–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43759-2). Lect. Notes Comput. Sci. 2374, 37-61 (2002).
MSC:  68U99 68N19
PDF BibTeX XML Cite
Full Text: Link
Amestoy, Patrick (ed.) et al., Euro-Par ’99. Parallel processing. 5th international Euro-Par conference, Toulouse, France, August 31 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1685, 1344-1352 (1999).
PDF BibTeX XML Cite
Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 643-681 (1998).
PDF BibTeX XML Cite
Pitt, David H. (ed.) et al., Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 530, 282-301 (1991).
MSC:  68Q55 68Q10 18D35 68Q70 18B20 68Q65
PDF BibTeX XML Cite

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