Sign up for an exclusive coupon good on your next order.
By signing up you enjoy subscriber-only access to the latest news, personalized 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.
Get cash back by selling your textbooks through Alibris. Our program is as easy as 1-2-3 and offers super competitive prices.
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.
Find the items displaying the free shipping icon. Add $39+ into your cart and your items ship for free!
Get exclusive access to all of our latest deals and coupons. 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
Wei Dong (Editor), Jean-Pierre Talpin (Editor) Buy from $65.75 eBook from $21.00
Einar Broch Johnsen (Editor), Luigia Petre (Editor) Buy from $51.65 eBook from $16.50
Lars Lindemann, Dimos V Dimarogonas Buy from $75.88
Shaoying Liu (Editor), Zhenhua Duan (Editor) Buy from $42.26 eBook from $13.50
Andreas Ulrich (Editor) Buy from $51.41 eBook from $16.50
John Derrick (Editor), Stefania Gnesi (Editor) Buy from $51.65 eBook from $16.50
Paula Herber (Editor), Anton Wijs (Editor) Buy from $99.91 eBook from $35.70
Jeannette M Wing (Editor), Jim Woodcook (Editor) Buy from $103.32 eBook from $29.70
D Bjorner, M Broy Buy from $46.93
Pierpaolo Degano (Editor), Joshua D Guttman (Editor) Buy from $51.65
Aaron Dutle (Editor), Laura Humphrey (Editor) Buy from $131.50 eBook from $38.70
Susanne Graf (Editor), Paul Pettersson (Editor) Buy from $48.73 eBook from $16.50
S?rgio Campos (Editor), Marius Minea (Editor) Buy from $56.35 eBook from $18.00
Kristin Yvonne Rozier (Editor), Swarat Chaudhuri (Editor) Buy from $103.32 eBook from $29.70
Radu Calinescu (Editor), Corina S. Pasareanu (Editor) Buy from $84.53 eBook from $27.00
Jan Friso Groote (Editor), Marieke Huisman (Editor) Buy from $75.14 eBook from $24.00
Masahiro Fujita, Indradeep Ghosh Buy from $98.42 eBook from $96.95
Paul Boca (Editor), Jonathan P Bowen (Editor) Buy from $37.29 eBook from $44.70
Antonio Cerone (Editor), Marco Autili (Editor) Buy from $51.65 eBook from $16.50
Yo-Sub Han (Editor), Sang-Ki Ko (Editor) Buy from $61.05 eBook from $19.50
Dieter Hutter (Editor), Werner Stephan (Editor) Buy from $35.88 eBook from $16.50
Marsha Chechik (Editor), Joost-Pieter Katoen (Editor) Buy from $103.32 eBook from $29.70
Implementation and Application of Automata: 21st International Conference, Ciaa 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Starting at $51.65
NASA Formal Methods: 6th International Symposium, Nfm 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
A Framework for Automated Hw/SW Co-Verification of Systemc Designs Using Timed Automata
Starting at $68.00
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Starting at $6.43
FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Starting at $103.32
