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.64 €
RRP: 167.54 €
You save 12.89 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Picnic at Hanging Rock
12.76 € -25 % -
Evvie Drake Starts Over
12.15 € -20 % -
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX
18.03 € -6 % -
Solutions Manual to accompany Organic Chemistry
122.11 € -
Matterhorn--The Operational History of the US XX Bomber Command from India and China
49.24 € -25 % -
Kniha o vědě
21.98 € -24 % -
Revolt Of The Cochroach People
12.76 € -24 % -
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine
30.60 € -
The End Times Spiritual Warfare
17.42 € -
Straightforward Upper Intermediate Portfolio International
8.81 € -8 % -
Ms Cupcake
20.16 € -25 % -
The Making Of Global Capitalism
14.48 € -19 % -
Smart Nation
218.80 € -
History of Chemistry
113.50 € -7 % -
Chicken Soup for the Soul: My Very Good, Very Bad Cat
15.80 € -9 % -
Scalable Techniques for Formal Verification
108.63 € -
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte
17.93 € -11 % -
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg
9.31 € -15 % -
Computational Semantics with Functional Programming
136.50 € -
Theory of Logical Calculi
308.99 € -7 % -
John Maitland of Thirlestane and the Foundation of the Stewart Despotism in Scotland
160.62 € -
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete
211.70 € -9 % -
Computational Logic in Multi-Agent Systems
49.65 € -7 % -
Microsoft Visual Studio 2008 Programming
50.16 € -17 % -
Computational Intelligence and Intelligent Systems
103.16 € -7 % -
Galen: On Problematical Movements
56.54 € -
Model for Gene Therapy
15.60 € -
The Sewing Circles of Herat
14.68 € -18 % -
Music, Criticism, and the Challenge of History
94.95 € -
Pioneering and Independent Spirit
23.30 € -
The Mystery of Edwin Drood
11.44 € -7 % -
Human Perception of Visual Information
175.22 € -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.29 € -24 % -
Nature for Sale
112.99 € -4 % -
Hans Richter
77.22 € -
Professorin und Mutter - wie geht das?
20.77 € -
Computational Intelligence in Multimedia Processing: Recent Advances
246.16 € -7 % -
Reviews of Environmental Contamination and Toxicology
103.16 € -7 % -
The Trial Lawyer
15.80 € -7 % -
Choosing and Keeping Pigs
18.13 € -9 % -
Umiliati e offesi
11.95 € -
Trollflöjtens mystik
29.68 € -14 % -
Multi-Agent Programming
154.64 € -7 % -
Proof, Computation and Agency
154.64 € -7 % -
Handbook of Philosophical Logic
154.64 € -7 % -
Lectures and Essays
11.75 € -14 % -
Orchestrating the Nation
31.20 € -
Combinatorial Optimization in Communication Networks
154.64 € -7 % -
50 BEST JOBS FOR YOUR PERSONALITY
37.89 €
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 Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general
154.64 €
- 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++: A Beginner's Guide, Second Edition
35.76 € -18 % -
C++ Concurrency in Action,2E
76.91 € -10 % -
Practical TLA+
32.12 € -24 % -
Programming in Lua, fourth edition
35.06 € -17 % -
C Programming Language
57.86 € -14 % -
C Programming
89.07 € -
C# in Depth, 4E
46.41 € -2 % -
Pro Spring 6
42.45 € -24 % -
Zephyr RTOS Embedded C Programming
38.91 € -25 % -
Agile Principles, Patterns, and Practices in C#
73.47 € -2 % -
Quantitative Trading Strategies Using Python
38.91 € -25 % -
Numerical Python
25.12 € -25 % -
Unit Testing:Principles, Practices and Patterns
46.41 € -2 % -
C++17 - The Complete Guide
55.22 € -2 % -
Go Programming Language, The
41.64 € -12 % -
C++ Templates
73.47 € -2 % -
Functional Programming in C++
43.77 € -14 % -
Test Driven Development for Embedded C
30.90 € -20 % -
Official Scratch Coding Cards, The (scratch 3.0)
14.48 € -29 % -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
44.78 € -
Pro Spring Boot 3
32.12 € -24 % -
Clean C++20
32.12 € -24 % -
TCL/TK Pocket Reference
7.89 € -24 % -
Stochastic Finance with Python
45.90 € -24 % -
Regular Expressions Cookbook 2e
42.45 € -24 % -
Modern C++ for Absolute Beginners
35.56 € -24 % -
Linux System Programming Techniques
42.76 € -2 % -
Structured Programming with COBOL Examples
14.08 € -25 % -
Introducing Erlang, 2e
39.31 € -
Effective C++
43.77 € -14 % -
C Programming Absolute Beginner's Guide
22.39 € -22 % -
Fanuc CNC Custom Macros
78.23 € -7 % -
Beginning C++23
45.90 € -24 % -
Little Schemer
50.05 € -
C: The Complete Reference
50.16 € -17 % -
Implementation Patterns
40.22 € -14 % -
Practical Fraud Prevention
46.51 € -25 % -
D Programming Language
40.22 € -14 % -
Optimized C++
58.26 € -
21st Century C
48.74 € -
Understanding and Using C Pointers
39.31 € -
Lua Programming Gems
32.02 € -25 % -
C++ High Performance
47.32 € -1 % -
C Interfaces and Implementations
43.77 € -14 % -
Art Of R Programming
33.23 € -30 % -
Python in easy steps
12.15 € -23 % -
Seasoned Schemer
55.32 € -
Programming in Ada 2022
105.59 € -
Foundations of Agile Python Development
32.12 € -24 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12839 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)