×

zbMATH — the first resource for mathematics

Found 512 Documents (Results 1–100)

100
MathJax
Reis, Timo (ed.) et al., Progress in differential-algebraic equations II. Proceedings of the 9th workshop on descriptor systems, Paderborn, Germany, March 17–20, 2019. Cham: Springer. Differ.-Algebr. Equ. Forum, 39-70 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 255-272 (2019).
MSC:  68Qxx
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) (ISBN 978-1-4503-5583-4). 175-184 (2018).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Christensen, Jens Gerlach (ed.) et al., Representation theory and harmonic analysis on symmetric spaces. AMS special session on harmonic analysis, in honor of Gestur Ólafsson’s 65th birthday, Atlanta, GA, USA, January 4, 2017. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4070-1/pbk; 978-1-4704-4884-4/ebook). Contemporary Mathematics 714, 77-85 (2018).
MSC:  32A36 41A65
PDF BibTeX XML Cite
Full Text: DOI arXiv
Contemporary Mathematics 706. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3619-3/pbk; 978-1-4704-4723-6/ebook). xii, 343 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 61, No. 4, 65-71 (2017); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2017, No. 4, 76-83 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52233-3/pbk; 978-3-319-52234-0/ebook). Lecture Notes in Computer Science 10145, 310-329 (2017).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bracci, Filippo (ed.) et al., Complex analysis and geometry. KSCV 10. Proceedings of the 10th symposium, Gyeongju, South Korea, August 7–11, 2014. Tokyo: Springer (ISBN 978-4-431-55743-2/hbk; 978-4-431-55744-9/ebook). Springer Proceedings in Mathematics & Statistics 144, 57-66 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Differ. Equ. 51, No. 7, 962-966 (2015); translation from Differ. Uravn. 51, No. 7, 965-969 (2015).
MSC:  30G30
PDF BibTeX XML Cite
Full Text: DOI
Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 33-45, electronic only (2014).
MSC:  68N30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 75-86 (2012).
MSC:  68N30 68P05
PDF BibTeX XML Cite
Full Text: DOI
Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 15-23 (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 3-13 (2012).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Midtgaard, Jan (ed.) et al., Proceedings of the 4th international workshop on numerical and symbolic abstract domains, NSAD 2012, Deauville, France, September 10, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 287, 41-52 (2012).
MSC:  68N30 68Q55 68W30
PDF BibTeX XML Cite
Full Text: DOI
Midtgaard, Jan (ed.) et al., Proceedings of the 4th international workshop on numerical and symbolic abstract domains, NSAD 2012, Deauville, France, September 10, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 287, 17-28 (2012).
MSC:  68N30 68Q55 68W30
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 56, No. 3, 26-35 (2012); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2012, No. 3, 31-41 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Francisco, Christopher (ed.) et al., Progress in commutative algebra 2. Closures, finiteness and factorization. Berlin: Walter de Gruyter (ISBN 978-3-11-027859-0/hbk; 978-3-11-027860-6/ebook). De Gruyter Proceedings in Mathematics, 301-315 (2012).
MSC:  13F15 11R04 20D60
PDF BibTeX XML Cite
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 93-104 (2011).
MSC:  68N30 68Q85 68M20
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 85-99 (2011).
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