選択資料から書架並びで前後20冊ずつを表示します。
Recent tends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 / D. Sannella, A Tarlecki, eds
書庫2階
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.], (eds.)
書庫2階
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy (eds.)
書庫2階
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階