×

zbMATH — the first resource for mathematics

Found 54 Documents (Results 1–54)

100
MathJax
Seo, Jae Hong (ed.), Information security and cryptology – ICISC 2019. 22nd international conference, Seoul, South Korea, December 4–6, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11975, 1-19 (2020).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
Cid, Carlos (ed.) et al., Selected areas in cryptography – SAC 2018. 25th international conference, Calgary, AB, Canada, August 15–17, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11349, 163-190 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 93-109 (2018).
MSC:  68T05 68T20
PDF BibTeX XML Cite
Full Text: DOI
Nešetril, Jaroslav (ed.) et al., Extended abstracts of the eight European conference on combinatorics, graph theory and applications, EuroComb 2015, Bergen, Norway, August 31 – September 4, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 49, 425-431, electronic only (2015).
MSC:  05C55 05D10 52C10
PDF BibTeX XML Cite
Full Text: DOI
Leander, Gregor (ed.), Fast software encryption. 22nd international workshop, FSE 2015, Istanbul, Turkey, March 8–11, 2015. Revised selected papers. Berlin: Springer (ISBN 978-3-662-48115-8/pbk; 978-3-662-48116-5/ebook). Lecture Notes in Computer Science 9054, 190-216 (2015).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Meier, Willi (ed.) et al., Progress in cryptology – INDOCRYPT 2014. 15th international conference on cryptology in India, New Delhi, India, December 14–17, 2014. Proceedings. Cham: Springer (ISBN 978-3-319-13038-5/pbk; 978-3-319-13039-2/ebook). Lecture Notes in Computer Science 8885, 37-52 (2014).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Sinz, Carsten (ed.) et al., Theory and applications of satisfiability testing – SAT 2014. 17th international conference, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8561, 188-196 (2014).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 11th annual conference, TAMC 2014, Chennai, India, April 11–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06088-0/pbk). Lecture Notes in Computer Science 8402, 158-167 (2014).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Braberman, Víctor (ed.) et al., Formal modeling and analysis of timed systems. 11th international conference, FORMATS 2013, Buenos Aires, Argentina, August 29–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40228-9/pbk). Lecture Notes in Computer Science 8053, 228-242 (2013).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 3-17 (2011).
MSC:  68T15 68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 181-200 (2010).
MSC:  68N19 03B25 03D15
PDF BibTeX XML Cite
Full Text: DOI
Kullmann, Oliver (ed.), Theory and applications of satisfiability testing – SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02776-5/pbk). Lecture Notes in Computer Science 5584, 147-160 (2009).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Nyberg, Kaisa (ed.), Fast software encryption. 15th international workshop, FSE 2008, Lausanne, Switzerland, February 10–13, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71038-7/pbk). Lecture Notes in Computer Science 5086, 235-252 (2008).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
Kleine Büning, Hans (ed.) et al., Theory and applications of satisfiability testing – SAT 2008. 11th international conference, SAT 2008, Guangzhou, China, May 12–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79718-0/pbk). Lecture Notes in Computer Science 4996, 63-76 (2008).
MSC:  68T20 94A60
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Mathematik. Aachen: Shaker; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Dissertation 2006) (ISBN 978-3-8322-6108-5/pbk). 100 p. (2007).
PDF BibTeX XML Cite
Cambridge: Cambridge University Press (ISBN 0-521-54310-X/pbk; 978-0-521-83536-7/hbk). xiv, 427 p. (2004).
MSC:  68-01 03-01 03B70 68Q60 68T27 68Q55 94C10
PDF BibTeX XML Cite
Full Text: DOI
Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
MSC:  90C27
PDF BibTeX XML Cite

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