×

zbMATH — the first resource for mathematics

Found 627 Documents (Results 1–100)

100
MathJax
Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 153-168 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 60, No. 2, 327-340 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 2, 323-337 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 562-581 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Buchmann, Johannes (ed.) et al., Progress in cryptology – AFRICACRYPT 2019. 11th international conference on cryptology in Africa, Rabat, Morocco, July 9–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11627, 41-55 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 67-83 (2019).
MSC:  68Q05 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1783-1793 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1425-1444 (2019).
MSC:  68Q12 90C26 90C59
PDF BibTeX XML Cite
Full Text: DOI
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 163-181 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11493, 150-163 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the workshop on computational optimization WCO 2017, Prague, Czech Republic, September 3–6, 2017. Cham: Springer. Stud. Comput. Intell. 795, 191-211 (2019).
MSC:  90C90 90C29 81P68
PDF BibTeX XML Cite
Full Text: DOI
Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 24, 20 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 659-668 (2018).
MSC:  03B40 03F52 68N18
PDF BibTeX XML Cite
Full Text: DOI
Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 551-606 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 185-201 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 331-338 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 304-321 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Wilde, Mark M. (ed.), 12th conference on the theory of quantum computation, communication and cryptography, TQC 2017, June 14–16, 2017, Paris, France. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 73, Article 8, 13 p. (2018).
MSC:  81P94 90C22 94A60
PDF BibTeX XML Cite
Full Text: DOI
De Gruyter Graduate. Berlin: De Gruyter (ISBN 978-3-11-051513-8/pbk; 978-3-11-051514-5/ebook). x, 320 p. (2018).
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
Biographic Reference
all top 3
Software