Code: 01421647
Set Theory for Computing
by Domenico Cantone, Eugenio Omodeo, Alberto Policriti
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and autom ... more
- Language:
English - Binding: Paperback
- Number of pages: 409
Publisher: Springer-Verlag New York Inc., 2011
- More about this
154.16 €
RRP: 167.02 €
You save 12.85 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Picnic at Hanging Rock
12.82 € -27 % -
Evvie Drake Starts Over
13.73 € -19 % -
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX
17.97 € -6 % -
Revolt Of The Cochroach People
12.72 € -24 % -
Matterhorn--The Operational History of the US XX Bomber Command from India and China
49.09 € -25 % -
Kniha o vědě
22.01 € -23 % -
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine
30.50 € -
The End Times Spiritual Warfare
17.37 € -
Straightforward Upper Intermediate Portfolio International
8.78 € -8 % -
Ms Cupcake
20.20 € -24 % -
The Making Of Global Capitalism
14.03 € -19 % -
Smart Nation
218.12 € -
Chicken Soup for the Soul: My Very Good, Very Bad Cat
15.75 € -9 % -
Scalable Techniques for Formal Verification
108.30 € -
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte
17.87 € -11 % -
Theory of Logical Calculi
308.04 € -7 % -
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg
9.29 € -15 % -
Computational Semantics with Functional Programming
136.08 € -
Microsoft Visual Studio 2008 Programming
50 € -17 % -
Computational Intelligence and Intelligent Systems
102.84 € -7 % -
Galen: On Problematical Movements
56.37 € -
John Maitland of Thirlestane and the Foundation of the Stewart Despotism in Scotland
122.14 € -
Pioneering and Independent Spirit
25.05 € -
Computational Logic in Multi-Agent Systems
49.50 € -7 % -
The Mystery of Edwin Drood
11.41 € -7 % -
Human Perception of Visual Information
174.67 € -7 % -
![Vikram and Vampire; Or, Tales of Hindu Devilry. Adapted by Captain Sir Richard F. Burton [From the Baita L-Pachi Si ] ... Edited by His Wife, Isabel B](https://media.libris.to/jacket/08077119t.jpg "Vikram and Vampire; Or, Tales of Hindu Devilry. Adapted by Captain Sir Richard F. Burton [From the Baita L-Pachi Si ] ... Edited by His Wife, Isabel B")
Vikram and Vampire; Or, Tales of Hindu Devilry. Adapted by Captain Sir Richard F. Burton [From the Baita L-Pachi Si ] ... Edited by His Wife, Isabel B
22.22 € -24 % -
Nature for Sale
112.64 € -5 % -
Professorin und Mutter - wie geht das?
20.80 € -4 % -
The Sewing Circles of Herat
14.64 € -18 % -
Computational Intelligence in Multimedia Processing: Recent Advances
245.40 € -7 % -
Reviews of Environmental Contamination and Toxicology
102.84 € -7 % -
The Trial Lawyer
15.75 € -7 % -
Umiliati e offesi
11.91 € -
Choosing and Keeping Pigs
18.07 € -9 % -
Music, Criticism, and the Challenge of History
94.56 € -
Multi-Agent Programming
154.16 € -7 % -
Trollflöjtens mystik
29.59 € -14 % -
Proof, Computation and Agency
154.16 € -7 % -
Handbook of Philosophical Logic
154.16 € -7 % -
Lectures and Essays
11.71 € -14 % -
Combinatorial Optimization in Communication Networks
154.16 € -7 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Set Theory for Computing
You get 373 loyalty points
Book synopsis
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
Book details
Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general
154.16 €
- Full title: Set Theory for Computing
- Subtitle: From Decision Procedures to Declarative Programming with Sets
- Author: Domenico Cantone, Eugenio Omodeo, Alberto Policriti
- Language: English
- Binding: Paperback
- Number of pages: 409
- EAN: 9781441929051
- ISBN: 1441929053
- ID: 01421647
- Publisher: Springer-Verlag New York Inc.
- Weight: 652 g
- Dimensions: 235 × 155 × 24 mm
- Date of publishing: 21. September 2011
Trending among others
-
C Programming Language
57.48 € -14 % -
C++: A Beginner's Guide, Second Edition
35.65 € -18 % -
Programming in Lua, fourth edition
34.95 € -17 % -
Go Programming Language, The
40.20 € -14 % -
C++ Concurrency in Action,2E
76.77 € -9 % -
C# in Depth, 4E
46.26 € -2 % -
C Programming
88.80 € -
Pro Spring Boot 3
32.02 € -24 % -
Functional Programming in C++
43.64 € -14 % -
Test Driven Development for Embedded C
30.80 € -20 % -
Pro Spring 6
42.32 € -24 % -
Beginning C++23
45.76 € -24 % -
Little Schemer
49.90 € -
Regular Expressions Cookbook 2e
42.32 € -24 % -
Linux System Programming Techniques
42.63 € -2 % -
Effective C++
41.11 € -19 % -
21st Century C
48.59 € -
C Interfaces and Implementations
43.64 € -14 % -
Mastering Assembly Programming
39.09 € -1 % -
Unit Testing:Principles, Practices and Patterns
46.26 € -2 % -
C++ Templates
73.24 € -2 % -
C++17 - The Complete Guide
55.05 € -2 % -
Clean C++20
32.02 € -24 % -
Official Scratch Coding Cards, The (scratch 3.0)
14.44 € -29 % -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
44.65 € -
TCL/TK Pocket Reference
7.87 € -24 % -
Zephyr RTOS Embedded C Programming
39.49 € -23 % -
Stochastic Finance with Python
45.76 € -24 % -
Understanding and Using C Pointers
39.19 € -
Modern C++ for Absolute Beginners
35.45 € -24 % -
Structured Programming with COBOL Examples
14.03 € -25 % -
Introducing Erlang, 2e
39.19 € -
Automate The Boring Stuff With Python, 2nd Edition
33.03 € -30 % -
C Programming Absolute Beginner's Guide
21.71 € -24 % -
Fanuc CNC Custom Macros
73.74 € -7 % -
C++: The Complete Reference
58.29 € -18 % -
C: The Complete Reference
50 € -17 % -
Agile Principles, Patterns, and Practices in C#
73.24 € -2 % -
Art of Writing Efficient Programs
38.79 € -7 % -
Implementation Patterns
40.10 € -14 % -
Practical Fraud Prevention
46.36 € -25 % -
D Programming Language
40.10 € -14 % -
Numerical Python
25.05 € -25 % -
Optimized C++
58.08 € -
Lua Programming Gems
31.92 € -25 % -
Jumping Into C++
33.73 € -
C Programming For Dummies
25.05 € -25 % -
C++ High Performance
47.17 € -1 % -
Art Of R Programming
32.42 € -34 %
Shopping guide
Books by language
Collection points Bratislava a 12927 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25858 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)