選択資料から書架並びで前後20冊ずつを表示します。
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.)
書庫2階
Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
書庫2階
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
書庫2階
Security engineering : a guide to building dependable distributed systems / Ross J. Anderson
: cloth
書庫2階
Application-driven architecture synthesis / edited by Francky Catthoor, Lars Svensson
書庫2階
Advances in cryptology-AUSCRYPT '90 : International Conference on Cryptology, Sydney, Australia, January 8-11, 1990 : proceedings / J. Seberry, J. Pieprzyk (eds.)
書庫2階
Advances in cryptology-AUSCRYPT '92 : Workshop on the Theory and Application of Cryptographic Techniques, Gold Coast, Queensland, Australia, December 13-6, 1992 : proceedings / Jennifer Seberry, Yuliang Zheng, (eds.)
書庫2階
Best truth : intelligence in the information age / Bruce D. Berkowitz and Allan E. Goodman
書庫2階
Differential cryptanalysis of the Data Encryption Standard / Eli Biham, Adi Shamir
書庫2階
Advances in cryptology : proceedings of CRYPTO 84 / edited by G.R. Blakley and David Chaum
書庫2階
Advances in cryptology--CRYPTO '85 : proceedings / edited by Hugh C. Williams
書庫2階
Advances in cryptology : CRYPTO '86 : proceedings / A.M. Odlyzko, ed
書庫2階
Advances in cryptology-CRYPTO '87 : proceedings / ; Carl Pomerance (ed.)
書庫2階
Advances in cryptology--CRYPTO '88, proceedings / S. Goldwasser (ed.)
書庫2階
Advances in cryptology--CRYPTO '89 : proceedings / G. Brassard (ed.)
書庫2階
Advances in cryptology--CRYPTO '90 : proceedings / A.J. Menezes, S.A. Vanstone, (eds.)
書庫2階
Advances in cryptology--CRYPTO '91 : proceedings / J. Feigenbaum (ed.)
書庫2階
Advances in cryptology--CRYPTO '92 : 12th Annual International Cryptology Conference, Santa Barbara, California, USA, August 16-20, 1992 : proceedings / Ernest F. Brickell (ed.)
書庫2階
Advances in cryptology -- CRYPTO '93 : 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993 : proceedings / Douglas R. Stinson (ed.)
書庫2階