×

zbMATH — the first resource for mathematics

Found 558 Documents (Results 1–100)

100
MathJax
Bouguila, Nizar (ed.) et al., Mixture models and applications. Cham: Springer. Unsuperv. Semi-Superv. Learn., 155-176 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Steland, Ansgar (ed.) et al., Stochastic models, statistics and their applications. Collected papers based on the presentations at the 14th workshop, Dresden, Germany, March 6–8, 2019. Cham: Springer. Springer Proc. Math. Stat. 294, 177-192 (2019).
MSC:  62G10 62P30
PDF BibTeX XML Cite
Full Text: DOI
Mishna, Marni (ed.) et al., Proceedings of the 16th workshop on analytic algorithmics and combinatorics, ANALCO ’19, San Diego, CA, USA, January 6, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 67-73 (2019).
MSC:  62F07 62P30
PDF BibTeX XML Cite
Full Text: DOI
D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 103, Article 28, 19 p. (2018).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 103, Article 22, 15 p. (2018).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 103, Article 6, 13 p. (2018).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 29, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 19, 15 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 16, 15 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Lokshtanov, Daniel (ed.) et al., 12th international symposium on parameterized and exact computation, IPEC 2017, Vienna, Austria, September 6–8, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 89, Article 29, 13 p. (2018).
MSC:  68W10 68R10
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 155-171 (2018).
MSC:  68N30 03B70 68Q60 68T15 68W40
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 79, No. 8, 1450-1457 (2018); translation from Avtom. Telemekh. 2018, No. 8, 101-110 (2018).
MSC:  62P30 68T05 62M20
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Springer Geophysics. Cham: Springer (ISBN 978-3-319-66531-3/hbk; 978-3-319-66532-0/ebook). xvii, 533 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 11, 16 p. (2017).
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, 385-403 (2017).
MSC:  68Q87 03B70 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 24, 19 p. (2017).
MSC:  68P10 68W40
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 19, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 14, 12 p. (2017).
MSC:  68W32 92-08 92D20
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 13, 22 p. (2017).
MSC:  68W32 68P30
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 12, 16 p. (2017).
MSC:  68P05
PDF BibTeX XML Cite
Full Text: DOI
Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 8, 17 p. (2017).
MSC:  68W25 68R10 90C27
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 145-160 (2017).
MSC:  68N30 68Q60 68Q87
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