Book titles in this series

Advances in Cryptology — CRYPTO ’96

16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18–22, 1996, Proceedings

Editors:

• Neal Koblitz

• Copyright: 1996

Available Renditions

• Soft cover
• eBook

Term Indexing

Authors:

• Peter Graf

• Copyright: 1995

This title belongs to the subseries: Lecture Notes in Artificial Intelligence

Available Renditions

• Soft cover

Advances in Cryptology - CRYPTO '89

Proceedings

Editors:

• Gilles Brassard

• Copyright: 1990

Available Renditions

• Soft cover
• eBook

Isabelle

A Generic Theorem Prover

Authors:

• Lawrence C. Paulson

• Copyright: 1994

Available Renditions

• Soft cover

Ray Shooting, Depth Orders and Hidden Surface Removal

Authors:

• Mark de Berg

• Copyright: 1993

Available Renditions

• Soft cover

Parallel Execution of Parlog

Authors:

• Andrew Cheese

• Copyright: 1992

Available Renditions

• Soft cover

Modern Cryptology

A Tutorial

Authors:

• Gilles Brassard

• Copyright: 1988

Available Renditions

• Soft cover

PORTAL Language Description

Authors:

• Arnold Businger

• Copyright: 1985

Available Renditions

• Soft cover

Compiler Specification and Verification

Authors:

• W. Polak

• Copyright: 1981

Available Renditions

• Soft cover