×

zbMATH — the first resource for mathematics

Found 106 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). 177-186 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 106-113 (2019).
MSC:  65T50 68W10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 41-50 (2018).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 17-26 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 7-16 (2018).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10628, 492-500 (2017).
MSC:  68T20 90C27
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). 211-220 (2017).
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). 65-74 (2016).
PDF BibTeX XML Cite
Full Text: DOI
McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 59-77 (2014).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 9000. Cham: Springer (ISBN 978-3-319-13905-0/pbk). xii, 352 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Cai, Zhipeng (ed.) et al., Computing and combinatorics. 20th international conference, COCOON 2014, Atlanta, GA, USA, August 4–6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08782-5/pbk). Lecture Notes in Computer Science 8591, 71-83 (2014).
MSC:  68Q60 03B44 68T15
PDF BibTeX XML Cite
Full Text: DOI
Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 669-676 (2014).
MSC:  65Y15 12-04 13-04
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 3rd conference on innovations in theoretical computer science, ITCS’12, Cambridge, MA, USA, January 8–10, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1115-1). 113-127 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 257-265 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Tromeur-Dervout, Damien (ed.) et al., Parallel computational fluid dynamics 2008. Parallel numerical methods, software development and applications. Proceedings of the 20th international conference, Lyon, France, May 19–22, 2008. Berlin: Springer (ISBN 978-3-642-14437-0/hbk; 978-3-642-26515-0/pbk978-3-642-14438-7/ebook). Lecture Notes in Computational Science and Engineering 74, 347-354 (2010).
MSC:  76M99 65Y05 65Y10
PDF BibTeX XML Cite
Full Text: DOI
Tromeur-Dervout, Damien (ed.) et al., Parallel computational fluid dynamics 2008. Parallel numerical methods, software development and applications. Proceedings of the 20th international conference, Lyon, France, May 19–22, 2008. Berlin: Springer (ISBN 978-3-642-14437-0/hbk; 978-3-642-26515-0/pbk978-3-642-14438-7/ebook). Lecture Notes in Computational Science and Engineering 74, 339-346 (2010).
MSC:  76M20 65Y05
PDF BibTeX XML Cite
Full Text: DOI
Huang, De-Shuang (ed) et al., Advanced intelligent computing theories and applications. 6th international conference on intelligent computing, Changsha, China, August 18–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14830-9/pbk; 978-3-642-14831-6/ebook). Communications in Computer and Information Science 93, 469-476 (2010).
MSC:  68N25 68W05
PDF BibTeX XML Cite
Full Text: DOI
Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 181-192 (2010).
MSC:  68N19 68N99
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer (ISBN 978-3-642-11260-7/hbk; 978-3-642-11261-4/ebook). xiv, 184 p. (2010).
MSC:  68M20 68-06 68N19
PDF BibTeX XML Cite
Full Text: DOI
Pieprzyk, Josef (ed.), Topics in cryptology – CT-RSA 2010. The cryptographers’ track at the RSA conference 2010, San Francisco, CA, USA, March 1–5, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11924-8/pbk). Lecture Notes in Computer Science 5985, 89-105 (2010).
MSC:  94A60 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 25th annual symposium on computational geometry, SCG 2009, Aarhus, Denmark, June 8–10, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-501-7). 217-226 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Garay, Juan A. (ed.) et al., Cryptology and network security. 8th international conference, CANS 2009, Kanazawa, Japan, December 12–14, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10432-9/pbk). Lecture Notes in Computer Science 5888, 413-432 (2009).
MSC:  94A60 14G50
PDF BibTeX XML Cite
Full Text: DOI

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