×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Lecture Notes in Computer Science 7371. Berlin: Springer (ISBN 978-3-642-31539-8/pbk). xiii, 331 p. (2012).
MSC:  68-06 68P25 00B25
BibTeX Cite
Full Text: DOI
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 242-251 (2012).
MSC:  68P25 94A60
BibTeX Cite
Full Text: DOI
van der Meyden, Ron (ed.) et al., Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70524-6/pbk). Lecture Notes in Computer Science 5076. Lecture Notes in Artificial Intelligence, 65-80 (2008).
MSC:  03B70 68U35
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication
Classification
Software