Kód: 01421647

Set Theory for Computing

Name: Set Theory for Computing
Brand: Springer-Verlag New York Inc.
SKU: 01421647
Price: 4059.00 CZK
Availability: InStock
Author: Domenico Cantone
ISBN: 9781441929051

Autor 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 ... celý popis

Jazyk: Angličtina
Vazba: Brožovaná
Počet stran: 409
Nakladatelství: Springer-Verlag New York Inc., 2011
Více informací o knize

4059 Kč

Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Přidat mezi přání

Mohlo by se vám také líbit

Picnic at Hanging Rock
308 Kč
Koupit
Evvie Drake Starts Over
294 Kč
Koupit
Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX
436 Kč
Koupit
Solutions Manual to accompany Organic Chemistry
2949 Kč
Koupit
Matterhorn--The Operational History of the US XX Bomber Command from India and China
1109 Kč
Koupit
Kniha o vědě
493 Kč
Koupit
Revolt Of The Cochroach People
287 Kč
Koupit
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine
707 Kč
Koupit
The End Times Spiritual Warfare
420 Kč
Koupit
Straightforward Upper Intermediate Portfolio International
213 Kč
Koupit
Ms Cupcake
456 Kč
Koupit
The Making Of Global Capitalism
319 Kč
Předobjednat
Smart Nation
5283 Kč
Koupit
History of Chemistry
2881 Kč
Koupit
Chicken Soup for the Soul: My Very Good, Very Bad Cat
361 Kč
Koupit
Scalable Techniques for Formal Verification
2492 Kč
Koupit
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte
409 Kč
Koupit
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg
212 Kč
Koupit
Computational Semantics with Functional Programming
3131 Kč
Koupit
Theory of Logical Calculi
7057 Kč
Koupit
John Maitland of Thirlestane and the Foundation of the Stewart Despotism in Scotland
3879 Kč
Koupit
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete
5112 Kč
Koupit
Galen: On Problematical Movements
1298 Kč
Koupit
Microsoft Visual Studio 2008 Programming
1211 Kč
Koupit
Computational Intelligence and Intelligent Systems
2357 Kč
Koupit
Model for Gene Therapy
377 Kč
Koupit
The Sewing Circles of Herat
355 Kč
Koupit
Music, Criticism, and the Challenge of History
2293 Kč
Koupit
Pioneering and Independent Spirit
536 Kč
Koupit
Computational Logic in Multi-Agent Systems
1135 Kč
Koupit
Human Perception of Visual Information
4002 Kč
Koupit
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
538 Kč
Koupit
The Mystery of Edwin Drood
277 Kč
Koupit
Nature for Sale
2586 Kč
Koupit
Hans Richter
1865 Kč
Koupit
Computational Intelligence in Multimedia Processing: Recent Advances
5624 Kč
Koupit
Professorin und Mutter - wie geht das?
503 Kč
Koupit
Reviews of Environmental Contamination and Toxicology
2622 Kč
Koupit
The Trial Lawyer
382 Kč
Koupit
Choosing and Keeping Pigs
415 Kč
Koupit
Umiliati e offesi
288 Kč
Koupit
Trollflöjtens mystik
675 Kč
Koupit
Proof, Computation and Agency
3532 Kč
Koupit
Multi-Agent Programming
4059 Kč
Koupit
Handbook of Philosophical Logic
3532 Kč
Koupit
Lectures and Essays
267 Kč
Koupit
Combinatorial Optimization in Communication Networks
4059 Kč
Koupit
Orchestrating the Nation
717 Kč
Koupit
50 BEST JOBS FOR YOUR PERSONALITY
875 Kč
Koupit

Darujte tuto knihu ještě dnes

Objednejte knihu a zvolte Zaslat jako dárek.
Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací