IndianBookWorms

Here, what we could find on your book search:

Lawrence C. Paulson

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Computational Logic

Computational Logic

Dov M. Gabbay, Jörg H. Siekmann and John Woods

Check Price (4 deals)
Automated Reasoning

Automated Reasoning

Rajeev Gore, Alexander Leitsch and Tobias Nipkow

Check Price (10 deals)
Protocols for Authentication and Key Establishment

Protocols for Authentication and Key Establishment

Colin Boyd and Anish Mathuria

Check Price (6 deals)
Theoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

Kamel Barkaoui and Ana Cavalcanti

Check Price (2 deals)
COLOG-88

COLOG-88

Per Martin-Löf and Grigori Mints

Check Price (8 deals)
DARPA Information Survivability Conference & Exposition

DARPA Information Survivability Conference & Exposition

Check Price (8 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2026 indianbookworms | Part of Diagramz network.