選択資料から書架並びで前後20冊ずつを表示します。
The implementation of procedurally reflective languages / by Jim des Rivières and Brian Cantwell Smith
書庫2階
The situated processing of situated languages. / Susan U. Stucky
書庫2階
One, none, a hundred thousand specification languages / Joseph A. Goguen
書庫2階
Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts
書庫2階
A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid
: gw
書庫2階
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階