All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
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 of 29 Results in All Departments
Relevance
Handbook of Automated Reasoning, Volume I (Hardcover)
R
5,799
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,627
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,556
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,862
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,742
Add to Cart
Ships in 10 - 15 working days
Programming Logics - Essays in Memory of Harald Ganzinger (Paperback, 2013 ed.)
R
1,632
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,622
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,630
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,627
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,140
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,636
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,670
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,625
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,819
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,304
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,400
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,781
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,800
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,842
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,398
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,815
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,755
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,753
Add to Cart
Ships in 10 - 15 working days
Logic Programming and Automated Reasoning - 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Paperback, 1993 ed.)
R
1,753
Add to Cart
Ships in 10 - 15 working days
Load More