Matches in Library of Congress for { <http://lccn.loc.gov/2010936301> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2010936301 contributor B12095102.
- 2010936301 contributor B12095103.
- 2010936301 created "2010.".
- 2010936301 date "2010".
- 2010936301 date "2010.".
- 2010936301 dateCopyrighted "2010.".
- 2010936301 description "Includes bibliographical references and index.".
- 2010936301 extent "viii, 184 p. :".
- 2010936301 hasFormat "Also issued online.".
- 2010936301 identifier "3642160735 (pbk. : alk. paper)".
- 2010936301 identifier "9783642160738 (pbk. : alk. paper)".
- 2010936301 isFormatOf "Also issued online.".
- 2010936301 isPartOf "LNCS sublibrary: SL 4-security and cryptology".
- 2010936301 isPartOf "Lecture notes in computer science, 0302-9743 ; 6186".
- 2010936301 issued "2010".
- 2010936301 issued "2010.".
- 2010936301 language "eng".
- 2010936301 publisher "Berlin ; New York : Springer,".
- 2010936301 relation "Also issued online.".
- 2010936301 subject "005.8 22".
- 2010936301 subject "ARSPA".
- 2010936301 subject "Automated reasoning".
- 2010936301 subject "Computer security Congresses.".
- 2010936301 subject "Cryptography Congresses.".
- 2010936301 subject "Formal methods (Computer science) Congresses.".
- 2010936301 subject "QA76.9.A25 J65 2010".
- 2010936301 subject "Security protocol analysis".
- 2010936301 title "Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.).".
- 2010936301 type "text".