by
Nipkow, Tobias
Author
Nipkow, Tobias, Grumberg, Orna, Hauptmann, Benedikt
Format:
Call Number
QA76.76.V47 S64 2012
Publisher
IOS Press,
Publication Date
2012
ISBN
9781614990277
Holds:
Copies:
by
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Author
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany), Broy, M., 1949- editor, Peled, Doron A., 1962- editor, Kalus, Georg editor, NATO Emerging Security Challenges Division
Format:
Call Number
QA76.76.V47 N38 2013
Publisher
IOS Press : published in cooperation with NATO Emerging Security Challenges Division,
Publication Date
2013
ISBN
9781614992066
Holds:
Copies:
by
NATO Advanced Research Workshop on Enhancing Cryptographic Primitives with Techniques from Error Correcting Codes (2008 : Veliko Tŭrnovo, Bulgaria)
Author
NATO Advanced Research Workshop on Enhancing Cryptographic Primitives with Techniques from Error Correcting Codes (2008 : Veliko Tŭrnovo, Bulgaria), Preneel, Bart, 1963-, North Atlantic Treaty Organization. Public Diplomacy Division
Format:
Call Number
QA76.9.A25 N384 2009
Publisher
IOS Press,
Publication Date
2009
ISBN
9781607500025
Holds:
Copies:
Select an Action