7th International Conference on Automated Deduction: Proceedings

VLSI Engineering: Beyond Software Engineering

VLSI Algorithms and Architectures: 3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings

Modern Cryptology: A Tutorial

Software Engineering Education: SEI Conference 1988 Fairfax, Virginia, USA, April 28-29, 1988. Proceedings

Error Detection and Recovery in Robotics

The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing

Software Engineering Education: SEI Conference 1989, Pittsburgh, Pennsylvania, USA, July 18-21, 1989. Proceedings

Advances in Cryptology - CRYPTO '88: Proceedings

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings

Software Engineering Education: SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings

Advances in Cryptology - CRYPTO '89: Proceedings

Mathematical Foundations of Programming Semantics: 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings

Fault-Tolerant Distributed Computing

Computing in the 90's: The First Great Lakes Computer Science Conference, Kalamazoo Michigan, USA, October 18-20, 1989. Proceedings

Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)

Smart Graphics: 13th International Symposium, SG 2015, Chengdu, China, August 26-28, 2015, Revised Selected Papers

Computational Linguistics and Intelligent Text Processing: 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part I