×

zbMATH — the first resource for mathematics

Found 125 Documents (Results 1–100)

100
MathJax
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 47, 15 p. (2016).
MSC:  68W15 68R10 68W40
PDF BibTeX XML Cite
Full Text: DOI
Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 250-263 (2016).
MSC:  65F30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Cheon, Jung Hee (ed.) et al., Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4–8, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-53886-9/pbk; 978-3-662-53887-6/ebook). Lecture Notes in Computer Science 10031, 277-306 (2016).
MSC:  94A60 94A62
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 91-100 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 47th annual ACM symposium on theory of computing, STOC ’15, Portland, OR, USA, June 14–17, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3536-2). 479-488 (2015).
MSC:  68U05
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 46th annual ACM symposium on theory of computing, STOC ’14, New York, NY, USA, May 31 – June 3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2710-7). 174-183 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Texts in Computer Science. Cham: Springer (ISBN 978-3-319-04155-1/hbk; 978-3-319-04156-8/ebook). xx, 516 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 121-130 (2013).
MSC:  68U05
PDF BibTeX XML Cite
Full Text: DOI
Sako, Kazue (ed.) et al., Advances in cryptology – ASIACRYPT 2013. 19th international conference on the theory and application of cryptology and information security, Bengaluru, India, December 1–5, 2013. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-42032-0/pbk). Lecture Notes in Computer Science 8269, 174-193 (2013).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Raghavendra, Prasad (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 16th international workshop, APPROX 2013, and 17th international workshop, RANDOM 2013, Berkeley, CA, USA, August 21–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40327-9/pbk). Lecture Notes in Computer Science 8096, 58-70 (2013).
MSC:  68Q25 68Q87 68W27
PDF BibTeX XML Cite
Full Text: DOI
Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 119-130, electronic only (2010).
PDF BibTeX XML Cite
Full Text: DOI Link
Vaudenay, Serge (ed.), Progress in cryptology – AFRICACRYPT 2008. First international conference on cryptology in Africa, Casablanca, Morocco, June 11–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68159-5/pbk). Lecture Notes in Computer Science 5023, 109-124 (2008).
MSC:  94A62 94A60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 225-234 (2007).
MSC:  68M14 68M10 68P05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 82-91 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Berghammer, Rudolf (ed.) et al., Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22145-X/pbk). Lecture Notes in Computer Science 3051, 124-136 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Radford, David E. (ed.) et al., Diagrammatic morphisms and applications. AMS special session on diagrammatic morphisms in algebra, category theory, and topology, San Francisco, CA, USA, October 21-22, 2000. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 318, 175-197 (2003).
MSC:  18C10 18C30 18D50 16W30 18A10 18D10 18D05
PDF BibTeX XML Cite
Gottlob, Georg (ed.) et al., Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1289, 264-277 (1997).
MSC:  03F05 03B30 51A05
PDF BibTeX XML Cite
Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 191-212 (1997).
MSC:  18C15 68Q65
PDF BibTeX XML Cite
MSC:  92B05 92B99 18B99 18B15 93A13 93A30
PDF BibTeX XML Cite
Full Text: Numdam EuDML

Filter Results by …

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