×

zbMATH — the first resource for mathematics

Found 77 Documents (Results 1–77)

100
MathJax
Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 198-213 (2018).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 27, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 190-204 (2017).
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). 221-229 (2017).
MSC:  68W15 68Q25 68W20
PDF BibTeX XML Cite
Full Text: DOI
Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 345-350 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 72-84 (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 47th annual ACM symposium on theory of computing, STOC ’15, Portland, OR, USA, June 14–17, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3536-2). 615-623 (2015).
MSC:  68M15 68M10 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 29th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’10, Zurich, Switzerland, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-888-9). 26-35 (2010).
MSC:  68W15 68M14 68M15
PDF BibTeX XML Cite
Full Text: DOI
Černá, Ivana (ed.) et al., Proceedings of the 6th international workshop on parallel and distributed methods in verification (PDMC 2007), Berlin, Germany, July 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 198, No. 1, 47-61 (2008).
MSC:  68W10 68W40 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 94-106 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Margenov, Svetozar (ed.) et al., Large-scale scientific computing. 3rd international conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2179, 309-316 (2001).
PDF BibTeX XML Cite
Full Text: Link
Bui, Alain (ed.) et al., Distributed computing. OPODIS’98. Proceedings of the 2nd international conference on Principles of distributed systems, Amiens, France, December 16-18, 1998. Paris: Hermès. 89-98 (1999).
MSC:  68M10
PDF BibTeX XML Cite
Dongarra, Jack (ed.) et al., Proceedings of the fifth SIAM conference on parallel processing for scientific computing, held in Houston, TX, USA, March 25-27, 1991. Philadelphia, PA: SIAM. 63-70 (1992).
MSC:  65F05 65Y05 65F50
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