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
Springer-Verlag
Filter Results
Showing 5 Results in All Departments
Relevance
Finite Model Theory and Its Applications (Hardcover, 2007 ed.)
Erich Gradel
,
Phokion G. Kolaitis
,
Leonid Libkin
,
Maarten Marx
,
Joel Spencer
,
Moshe Y. Vardi
,
Yde Venema
,
Scott Weinstein
R
2,786
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Networked and Distributed Systems - FORTE 2002 - 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Paperback, XI, 371p.)
R
1,715
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Paperback, 1998 ed.)
R
3,230
Add to Cart
Ships in 10 - 15 working days
Database Theory - ICDT '95 - 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings (Paperback, 1995 ed.)
R
1,770
Add to Cart
Ships in 10 - 15 working days
SAVE
R
139
Finite Model Theory and Its Applications (Paperback, 2007 ed.)
Erich Gradel
,
Phokion G. Kolaitis
,
Leonid Libkin
,
Maarten Marx
,
Joel Spencer
,
Moshe Y. Vardi
,
Yde Venema
,
Scott Weinstein
List Price
R
2,639
R
2,500
Out of Stock
Out of stock