Sign up for an exclusive voucher good on your next order.
By signing up you enjoy subscriber-only access to the latest news, personalised book picks and special offers, delivered right to your inbox.
We never share your information and you can unsubscribe at any time.
Save your back and your bank with eBooks! We have a wide variety of textbooks, tradebooks, and fiction titles, as well as courseware for college students.
See how much other students are saving on textbooks today.
As one of the premier rare book sites on the Internet, Alibris has thousands of rare books, first editions, and signed books available.
With one of the largest book inventories in the world, find the book you are looking for. To help, we provided some of our favorites.
With an active marketplace of over 270 million items, use the Alibris Advanced Search Page to find any item you are looking for.
Through the Advanced Search Page, you can find items by searching specific terms such as Title, Author, Subject, ISBN, etc or you can narrow your focus using our amazing set of criteria parameters.
Use the Alibris Advanced Search Page to narrow your search criteria and find your item!
From new releases to oldies, discover your next favorite album and artist!
Like Classical Music? So does Alibris. See one of the largest collections of Classical Music around.
Through the Advanced Search, you can find items by searching specific terms such as Title, Artist, Song Title, Genre, etc or you can narrow your focus using our amazing set of criteria parameters.
Thousands of movies and TV shows to satisfy any movie buff.
Through the Advanced Search, you can find items by searching specific terms such as Title, Director, Actor, Genre, etc or you can narrow your focus using our amazing set of criteria parameters.
Millions of books available with some of the lowest prices you will find online.
Get exclusive access to all of our latest deals and vouchers. Changes daily.
Bargain hunters rejoice! Alibris has millions of books at amazingly low prices.
Come back each month to discover new genres and titles through the Alibris seasonal guide.
Love shopping on Alibris? Share your stories and reviews with other customers!
Can't get enough about books, music, and movies? Check out these wonderful and insightful posts from our editors
Search for your favorite author and through the power of IBM Watson
Browse All Subjects
Herbert Kuchen (Editor), Kazunori Ueda (Editor) Buy new from $60.65
Michel Parigot (Editor), Andrei Voronkov (Editor) Buy new from $60.57
Kokichi Futatsugi, A T Nakagawa (Editor) Buy new from $25.50 eBook from $117.00
Arlindo L Oliveira (Editor) Buy new from $60.57
Rina Dechter (Editor) Buy new from $112.32
Walid Taha (Editor) Buy new from $60.57 eBook from $16.50
Klaus Havelund (Editor), John Penix (Editor) Buy new from $60.03 eBook from $16.50
Yuri Gurevich (Editor), Philipp W Kutter (Editor) Buy new from $59.12 eBook from $16.50
Krzysztof R Apt (Editor), Antonis Kakas (Editor) Buy new from $60.57 eBook from $16.50
Prof. Jonathan P Bowen (Editor), Steve Dunne (Editor) Buy new from $60.57 eBook from $16.50
Mark D Aagaard (Editor), John Harrison (Editor) Buy new from $60.57 eBook from $16.50
Berthe Y Choueiry (Editor), Toby Walsh (Editor) Buy new from $60.37 eBook from $16.50
John Lloyd, CBE (Editor), Veronica Dahl (Editor) Buy new from $64.35 eBook from $16.50
James Cussens (Editor), Alan Frisch (Editor) Buy new from $60.57
Manfred Nagl (Editor), Andreas Schürr (Editor) Buy new from $112.32 eBook from $29.70
Roland Backhouse (Editor), Jose Nuno Oliveira (Editor) Buy new from $60.65 eBook from $16.50
Leo Bachmair (Editor) Buy new from $60.57
Jens Palsberg (Editor) Buy new from $58.64
Annalisa Bossi (Editor) Buy new from $60.57 eBook from $16.50
E Allen Emerson (Editor), A Prasad Sistla (Editor) Buy new from $112.32 eBook from $29.70
Teodor Rus (Editor) Buy new from $112.32 eBook from $29.70
David A Watt (Editor) Buy new from $60.65 eBook from $16.50
Julian F Miller (Editor), Adrian Thompson (Editor) Buy new from $60.57 eBook from $16.50
Gert Smolka (Editor) Buy new from $60.57 eBook from $16.50
String Processing and Information Retrieval: 9th International Symposium, Spire 2002, Lisbon, Portugal, September 11-13, 2002 Proceedings
Starting at $47.24
Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Starting at $31.23
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Starting at $40.83
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and RV 2006, Seattle, Wa, USA, August 15-16, 2006, Revised Selected Papers
Starting at $46.29
Principles and Practice of Constraint Programming - Cp97: Third International Conference, Cp97, Linz, Austria, October 29 - November 1, 1997
Starting at $35.99
