×

zbMATH — the first resource for mathematics

Found 337 Documents (Results 1–100)

100
MathJax
Dey, Nilanjan (ed.) et al., Applied nature-inspired computing: algorithms and case studies. Singapore: Springer. Springer Tracts Nat.-Inspir. Comput., 1-21 (2020).
MSC:  92C55 90C59
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 657-670 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 294-307 (2020).
MSC:  68Qxx
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). 259-261 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 111-122 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Ding, Jintai (ed.) et al., Post-quantum cryptography. 10th international conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11505, 3-22 (2019).
MSC:  94A60 68R05 68W30
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 287-303 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 116-132 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Fan, Junfeng (ed.) et al., Constructive side-channel analysis and secure design. 9th international workshop, COSADE 2018, Singapore, April 23–24, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10815, 61-81 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 31-48 (2017).
MSC:  68T20 03B10 68T15
PDF BibTeX XML Cite
Full Text: DOI
Goerigk, Marc (ed.) et al., 16th workshop on algorithmic approaches for transportation modelling, optimization, and systems, ATMOS’16, Aarhus, Denmark, August 25, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 54, Article 12, 15 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 35, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 33, 13 p. (2016).
MSC:  68W40 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Manulis, Mark (ed.) et al., Applied cryptography and network security. 14th international conference, ACNS 2016, Guildford, UK, June 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39554-8/pbk; 978-3-319-39555-5/ebook). Lecture Notes in Computer Science 9696, 327-345 (2016).
MSC:  68P25 68M12
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM conference on innovations in theoretical computer science, ITCS’16, Cambridge, MA, USA, January 14–16, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4057-1). 293-300 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 151-162 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 102-113 (2015).
MSC:  68Q25 05C85
PDF BibTeX XML Cite
Full Text: DOI
Iwata, Tetsu (ed.) et al., Advances in cryptology – ASIACRYPT 2015. 21st international conference on the theory and application of cryptology and information security, Auckland, New Zealand, November 29 – December 3, 2015. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-48796-9/pbk; 978-3-662-48797-6/ebook). Lecture Notes in Computer Science 9452, 711-735 (2015).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Theoretical Computer Science 1. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-539-0/pbk; 978-1-62705-540-6/ebook). xvi, 71 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Jansen, Klaus (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 17th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2014) and the 18th international workshop on randomization and computation (RANDOM 2014), Universitat Politècnica de Catalunya, Barcelona, Spain, September 4–6, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-74-3). LIPIcs – Leibniz International Proceedings in Informatics 28, 274-283 (2014).
MSC:  68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. 13th international scientific conference, named after A. F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20–22, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-13670-7/pbk; 978-3-319-13671-4/ebook). Communications in Computer and Information Science 487, 69-75 (2014).
MSC:  05C42 05C85 05C69
PDF BibTeX XML Cite
Full Text: DOI
Bailey, David H. (ed.) et al., Computational and analytical mathematics. In Honor of Jonathan Borwein’s 60th birthday. Selected papers based on the presentations at the workshop, also known as JonFest, Simon Fraser University, BC, Canada, May 16–20, 2011. New York, NY: Springer (ISBN 978-1-4614-7620-7/hbk; 978-1-4614-7621-4/ebook). Springer Proceedings in Mathematics & Statistics 50, 251-303 (2013).
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, 247-258, electronic only (2012).
MSC:  68N17 68T27 05C90
PDF BibTeX XML Cite
Full Text: DOI
Cimatti, Alessandro (ed.) et al., Theory and applications of satisfiability testing – SAT 2012. 15th international conference, Trento, Italy, June 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31611-1/pbk). Lecture Notes in Computer Science 7317, 86-99 (2012).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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