×

zbMATH — the first resource for mathematics

Found 451 Documents (Results 1–100)

100
MathJax
J. Math. Sci., New York 252, No. 2, 168-174 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 152, 46-52 (2018).
MSC:  35Q51 37K60
PDF BibTeX XML Cite
Full Text: DOI
Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer (ISBN 978-3-030-36567-7/hbk; 978-3-030-36570-7/pbk; 978-3-030-36568-4/ebook). Springer Proceedings in Mathematics & Statistics 313, 303-322 (2020).
MSC:  11R09 37P99
PDF BibTeX XML Cite
Full Text: DOI
Holmes, Ian (ed.) et al., Algorithms for computational biology. 6th international conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11488, 152-164 (2019).
MSC:  92D10
PDF BibTeX XML Cite
Full Text: DOI
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 376-395 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 9, 16 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Brlek, Srečko (ed.) et al., Combinatorics on words. 11th international conference, WORDS 2017, Montréal, QC, Canada, September 11–15, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-66395-1/pbk; 978-3-319-66396-8/ebook). Lecture Notes in Computer Science 10432, 144-156 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 22, 17 p. (2016).
MSC:  03B70 68Q42
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. 8, 10 p. (2014).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 391-402 (2014).
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 363-376 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 659-670 (2014).
MSC:  68N18 68T15 68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI
Encyclopedia of Mathematics and its Applications 149. Cambridge: Cambridge University Press (ISBN 978-0-521-86991-1/hbk). xvi, 531 p. (2013).
PDF BibTeX XML Cite
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 22-37 (2012).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 6-21 (2012).
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 39-54 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 41-54 (2011).
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Debled-Rennesson, Isabelle (ed.) et al., Discrete geometry for computer imagery. 16th IAPR international conference, DGCI 2011, Nancy, France, April 6–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19866-3/pbk). Lecture Notes in Computer Science 6607, 47-58 (2011).
MSC:  52B55 68R15
PDF BibTeX XML Cite
Full Text: DOI
Barral, Julien (ed.) et al., Recent developments in fractals and related fields. Based on the international conference on fractals and related fields, Monastir, Tunisia, September 2007 held in honor of Jacques Peyrière. Boston, MA: Birkhäuser (ISBN 978-0-8176-4887-9/hbk; 978-0-8176-4888-6/ebook). Applied and Numerical Harmonic Analysis, 401-410 (2010).
MSC:  68R15
PDF BibTeX XML Cite
Full Text: DOI
Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 21-36 (2009).
MSC:  68N18 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 57-73 (2009).
MSC:  03B70 03B40 03F52
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