2007 - Longterm and Dynamical Aspects of Information Security (Hardcover) ISBN-13: 9781600219122 ISBN-10: 1600219128 ? 2005 - Rippling Metalevel Guidance for Mathematical Reasoning [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521834490 ISBN-10: 052183449X Genre: Computers & Technology ? |