×

zbMATH — the first resource for mathematics

Found 118 Documents (Results 1–100)

100
MathJax
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 153-155 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6217-7). 34-42 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 40, 17 p. (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 11, 16 p. (2017).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 423-430 (2017).
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. 65, 10 p. (2014).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 69-83 (2012).
MSC:  68N30 68Q85 81P68
PDF BibTeX XML Cite
Full Text: DOI
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 328-347 (2012).
MSC:  68T40 68N25 68Q85
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). 139-148 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 265-272 (2010).
PDF BibTeX XML Cite
Full Text: DOI
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). 102-113 (2009).
MSC:  68N19 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 265-276 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Flocchini, Paola (ed.) et al., Structural information and communication complexity. 13th international colloquium, SIROCCO 2006, Chester, UK, July 2–5, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35474-1/pbk). Lecture Notes in Computer Science 4056, 182-196 (2006).
MSC:  68M14 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 260-274 (2006).
MSC:  68Q85 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Sutcliffe, Geoff (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30553-8/pbk). Lecture Notes in Computer Science 3835, 184-198 (2005).
MSC:  68Q85 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fraigniaud, Pierre (ed.), Distributed computing. 19th international conference, DISC 2005, Cracow, Poland, September 26–29, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29163-6/pbk). Lecture Notes in Computer Science 3724, 93-107 (2005).
MSC:  68M14 68M15 68W15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 226-235 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 60-69 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Guerraoui, Rachid (ed.), Distributed computing. 18th international conference, DISC 2004, Amsterdam, The Netherlands, October 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23306-7/pbk). Lecture Notes in Computer Science 3274, 290-304 (2004).
MSC:  68M14
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th annual ACM symposium on principles of distributed computing, PODC ’94, Los Angeles, CA, USA, August 14–17, 1994. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-654-9). 111-120 (1994).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Saarbrücken: Univ. des Saarlandes, Naturwissenschaftliche Fakultät, 145 S. (1994).
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