×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
Batina, Lejla (ed.) et al., Cryptographic hardware and embedded systems – CHES 2014. 16th international workshop, Busan, South Korea, September 23–26, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44708-6/pbk). Lecture Notes in Computer Science 8731, 298-315 (2014).
MSC:  94A60 14G50
PDF BibTeX XML Cite
Full Text: DOI
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 168-179 (2002).
MSC:  68U99 68N99 68Q60
PDF BibTeX XML Cite
Full Text: Link