Skip to content
Menu
Search
My Wordery
Your Wishlist
My Wordery
Basket
Your Basket is Currently Empty
Sale
Bestsellers
Fiction
Fiction Bestsellers
Contemporary Fiction
Classic Fiction
Romance
Crime, Mystery & Thrillers
Bestselling Crime, Mystery & Thrillers
Cosy Crime
Classic Crime
Mysteries & Thrillers
Science Fiction
Fantasy
Historical Fiction
Horror
Graphic Novels & Manga
Non-Fiction
Non-Fiction Bestsellers
Art & Design
Art & Design Bestsellers
Art
Music
Photography
Biography & Memoirs
Health & Lifestyle
Food & Drink
Home & Garden
Science & Nature
History
Travel
Humour
Education
Children's & Young Adult
Bestselling Children's & Young Adult
Picture Books
Ages 5-8
Ages 9-12
Activity Books
Young Adult
Stationery & Gifts
Sort by:
Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
Sort by:
Relevance
Sort by:
Relevance
Relevance
Price (low to high)
Price (high to low)
Publication (old to new)
Publication (new to old)
Filters
6 Products
6 Products
Page
of 1
Theorem Proving With Analytic Tableaux and Related Methods Lecture Notes in Artificial Intelligence
Peter Baumgartner
Paperback
Price:
£44.99
Print on demand - Usually dispatched within 7-10 days
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Reiner Hähnle
Paperback
Price:
£44.99
Print on demand - Usually dispatched within 7-10 days
Automated Reasoning Lecture Notes in Artificial Intelligence
Jürgen Giesl
Paperback
Price:
£89.99
Print on demand - Usually dispatched within 7-10 days
Automated Deduction in Multiple-Valued Logics
Reiner Hähnle
Hardback
Price:
£107.50
Usually dispatched within 21 days
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Reiner Hähnle
Paperback
Price:
£44.99
Print on demand - Usually dispatched within 7-10 days
Active Object Languages: Current Research Trends
Frank de Boer
Paperback
Price:
£64.99
Print on demand - Usually dispatched within 7-10 days