×

zbMATH — the first resource for mathematics

Found 37 Documents (Results 1–37)

100
MathJax
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 634-648 (2016).
MSC:  68N15 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 51, No. 1, 142-149 (2015); translation from Kibern. Sist. Anal. 2015, No. 1, 162-170 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Tantar, Alexandru-Adrian (ed.) et al., EVOLVE – a bridge between probability, set oriented numerics, and evolutionary computation V. Selected papers based on the presentations at the international conference, Beijing, China, July 1–4, 2014. Cham: Springer (ISBN 978-3-319-07493-1/pbk; 978-3-319-07494-8/ebook). Advances in Intelligent Systems and Computing 288, 133-146 (2014).
MSC:  90C29 65D18
PDF BibTeX XML Cite
Full Text: DOI
Gollmann, Dieter (ed.) et al., Information security. 15th international conference, ISC 2012, Passau, Germany, September 19–21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33382-8/pbk). Lecture Notes in Computer Science 7483, 338-353 (2012).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 34-45 (2010).
MSC:  68M99 68M15 68U10
PDF BibTeX XML Cite
Full Text: DOI
Gong, Guang (ed.) et al., Progress in cryptology – INDOCRYPT 2010. 11th international conference on cryptology in India, Hyderabad, India, December 12–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17400-1/pbk). Lecture Notes in Computer Science 6498, 328-346 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software