×

zbMATH — the first resource for mathematics

Found 214 Documents (Results 1–100)

100
MathJax
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 34, 13 p. (2017).
MSC:  03D32 03E15 68Q30
PDF BibTeX XML Cite
Full Text: DOI
J. Appl. Mech. Tech. Phys. 57, No. 4, 757-767 (2016); translation from Prikl. Mekh. Tekh. Fiz. 57, No. 4, 211-223 (2016).
MSC:  74J05
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 566-577 (2014).
MSC:  03E15 03D32 03D45
PDF BibTeX XML Cite
Full Text: DOI
Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 116-126 (2013).
MSC:  03D78 03D32 68Q30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 145-154 (2012).
MSC:  03D32
PDF BibTeX XML Cite
Full Text: DOI
Freiburg im Breisgau: Univ. Freiburg, Fakultät für Mathematik und Physik (Diss. 2013). vi, 164 p. (2012).
PDF BibTeX XML Cite
Full Text: Link arXiv
Plaskota, Leszek (ed.) et al., Monte Carlo and quasi-Monte Carlo methods 2010. Selected papers based on the presentations at the 9th international conference on Monte Carlo and quasi Monte Carlo in scientific computing (MCQMC 2010), Warsaw, Poland, August 15–20, 2010. Berlin: Springer (ISBN 978-3-642-27439-8/hbk; 978-3-642-27440-4/ebook). Springer Proceedings in Mathematics & Statistics 23, 589-607 (2012).
MSC:  91G60 65C05 91G20
PDF BibTeX XML Cite
Full Text: DOI
Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 128-146 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 567-576, electronic only (2012).
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