All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
North-Holland
Springer International Publishing AG
Springer Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 24 Results in All Departments
Relevance
Handbook of Automated Reasoning, Volume II (Hardcover)
R
5,335
Add to Cart
Ships in 12 - 17 working days
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
R
1,604
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Paperback, 1st ed. 2015)
R
3,533
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Paperback, 2015 ed.)
R
2,839
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings (Paperback, 2013 ed.)
R
1,719
Add to Cart
Ships in 10 - 15 working days
Programming Logics - Essays in Memory of Harald Ganzinger (Paperback, 2013 ed.)
R
1,609
Add to Cart
Ships in 10 - 15 working days
Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers (Paperback, 2012 ed.)
R
1,599
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Paperback, 2012)
R
1,607
Add to Cart
Ships in 10 - 15 working days
Perspectives of Systems Informatics - 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Paperback, Edition.)
R
1,604
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Paperback, 2008 ed.)
R
3,094
Add to Cart
Ships in 10 - 15 working days
Rewriting Techniques and Applications - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Paperback, 2008 ed.)
R
1,613
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings (Paperback, 2007 ed.)
R
1,647
Add to Cart
Ships in 10 - 15 working days
Computer Science - Theory and Applications - Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings (Paperback, 2007 ed.)
R
1,601
Add to Cart
Ships in 10 - 15 working days
Perspectives of Systems Informatics - 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers (Paperback, 2007 ed.)
R
1,796
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings (Paperback, 2006 ed.)
R
3,258
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (Paperback, 2005 ed.)
R
3,353
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Paperback, 2003 ed.)
R
1,757
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Paperback, 2002 ed.)
R
1,777
Add to Cart
Ships in 10 - 15 working days
Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Paperback, 2002 ed.)
R
1,819
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings (Paperback, 2001 ed.)
R
3,351
Add to Cart
Ships in 10 - 15 working days
Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Paperback, 2000 ed.)
R
1,792
Add to Cart
Ships in 10 - 15 working days
Handbook of Automated Reasoning, Volume I (Hardcover)
R
7,287
Add to Cart
Ships in 10 - 15 working days
Logic Programming and Automated Reasoning - 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Paperback, 1999 ed.)
R
1,732
Add to Cart
Ships in 10 - 15 working days
Transactions and Change in Logic Databases - International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso (Paperback, 1998 ed.)
R
1,730
Add to Cart
Ships in 10 - 15 working days
Load More