×

zbMATH — the first resource for mathematics

Found 43 Documents (Results 1–43)

100
MathJax
Aranha, F. (ed.) et al., Progress in cryptology – LATINCRYPT 2014. Third international conference on cryptology and information security in Latin America, Florianópolis, Brazil, September 17–19, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-16294-2/pbk; 978-3-319-16295-9/ebook). Lecture Notes in Computer Science 8895, 31-47 (2015).
MSC:  94A60
PDF BibTeX Cite
Full Text: DOI
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 938-941 (2008).
MSC:  68P25
PDF BibTeX Cite
Full Text: DOI
Rhee, Min Surp (ed.) et al., Information security and cryptology – ICISC 2006. 9th international conference, Busan, Korea, November 30–December 1, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49112-5/pbk). Lecture Notes in Computer Science 4296, 81-93 (2006).
MSC:  94A60 68M07
PDF BibTeX Cite
Full Text: DOI
Bošnački, Dragan (ed.) et al., Model checking software. 9th international SPIN workshop, Grenoble, France, April 11–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43477-1). Lect. Notes Comput. Sci. 2318, 79-94 (2002).
MSC:  68Q60 68N99
PDF BibTeX Cite
Full Text: Link
Boolean function complexity, Sel. Pap. Symp., Durham/UK 1990, Lond. Math. Lect. Note Ser. 169, 174-201 (1992).
MSC:  94C10 68Q25
PDF BibTeX Cite
Mathematical Concepts and Methods in Science and Engineering, 40. New York etc.: Plenum Press. ix, 398 p. $ 75.00 (1990).
PDF BibTeX 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