Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Set Theory for Computing Domenico Cantone
Libristo kód: 01421647
Nakladatelství Springer-Verlag New York Inc., září 2011
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin... Celý popis
? points 353 b
3 532 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Dictionnaire Raisonne de l'Architecture Francaise du XIe au XVIe siecle Tome IX Eugene Viollet-Le-Duc / Kniha Brožovaná
common.buy 410 Kč
Trollflöjtens mystik Eddie Persson / Kniha Brožovaná
common.buy 675 Kč
Kniha o vědě Pickover Clifford A. / Kniha Pevná
common.buy 559 Kč
Avengers Khonshuova éra Jason Aaron / Kniha Brožovaná
common.buy 369 Kč
Professorin und Mutter - wie geht das? Birgit Piechulla / Kniha Pevná
common.buy 497 Kč
Umiliati e offesi Fëdor Dostoevskij / Kniha Brožovaná
common.buy 283 Kč
Doktor Barthel Karte Wander- und Radwanderkarte Sächsischer Weinwanderweg Verlag Dr. Barthel / Tiskovina Mapa
common.buy 212 Kč
Untersuchungen zur mittelenglischen Sprach- und Literaturgeschichte Theodor Wissmann / Kniha Brožovaná
common.buy 408 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Set Theory for Computing
Autor Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 409
EAN 9781441929051
ISBN 1441929053
Libristo kód 01421647
Nakladatelství Springer-Verlag New York Inc.
Váha 652
Rozměry 155 x 235 x 24

Kategorie

Matematika a věda > Matematika > Matematické základy > Teorie množin
Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

History of Chemistry John Hudson / Kniha Brožovaná
common.buy 2 592 Kč
Quality Management in ART Clinics Fabíola Bento / Kniha Pevná
common.buy 3 451 Kč
Multi-Agent Programming Rafael H. Bordini / Kniha Pevná
common.buy 3 532 Kč
Probabilistic Logic Networks Ben Goertzel / Kniha Pevná
common.buy 3 532 Kč
Reviews of Environmental Contamination and Toxicology George W. Ware / Kniha Brožovaná
common.buy 2 357 Kč
Scalable Techniques for Formal Verification SANDIP RAY / Kniha Brožovaná
common.buy 2 492 Kč
Symplectic Methods for the Symplectic Eigenproblem Heike Fassbender / Kniha Brožovaná
common.buy 2 357 Kč
Combinatorial Optimization in Communication Networks Maggie Xiaoyan Cheng / Kniha Brožovaná
common.buy 3 532 Kč
The Sewing Circles of Herat Christina Lamb / Kniha Brožovaná
common.buy 355 Kč
The Mystery of Edwin Drood DICKENS / Kniha Brožovaná
common.buy 277 Kč
Chicken Soup for the Soul: My Very Good, Very Bad Cat Amy Newmark / Kniha Brožovaná
common.buy 335 Kč
Galen: On Problematical Movements Vivian Nutton / Kniha Brožovaná
common.buy 1 298 Kč
Acoustic Emission and Related Non-destructive Evaluation Techniques in the Fracture Mechanics of Concrete Masayasu Ohtsu / Kniha Pevná
common.buy 5 045 Kč
Pioneering and Independent Spirit Debra Gold Hansen / Kniha Brožovaná
common.buy 536 Kč
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 Anonymous / Kniha Brožovaná
common.buy 538 Kč
50 BEST JOBS FOR YOUR PERSONALITY LAURENCE SHATKIN / Kniha Brožovaná
common.buy 875 Kč
Proof, Computation and Agency Johan Van Benthem / Kniha Brožovaná
common.buy 3 532 Kč
Computational Logic in Multi-Agent Systems Nils Bulling / Kniha Brožovaná
common.buy 1 135 Kč
The Harvest of Sorrow: Soviet Collectivization and the Terror-Famine Robert Conquest / Kniha Brožovaná
common.buy 707 Kč
Music, Criticism, and the Challenge of History Kevin C. Karnes / Kniha Pevná
common.buy 2 784 Kč
Top
Picnic at Hanging Rock Joan Lindsay / Kniha Brožovaná
common.buy 308 Kč
Orchestrating the Nation Douglas Shadle / Kniha Brožovaná
common.buy 1 017 Kč
The Trial Lawyer John Ellsworth / Kniha Brožovaná
common.buy 382 Kč
Evvie Drake Starts Over Linda Holmes / Kniha Brožovaná
common.buy 251 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?