phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Automated Deduction - CADE-25

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Deduction - CADE-25 Amy P. Felty
Libristo kód: 09366255
Nakladatelství Springer International Publishing AG, července 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Celý popis
? points 154 b
1 542 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Michael Aaron Piano Course Lessons Michael Aaron / Brožovaná
common.buy 268 Kč
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Brožovaná
common.buy 437 Kč
Bread of Heaven Athena M Hodges / Brožovaná
common.buy 479 Kč
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Pevná
common.buy 1 166 Kč
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Brožovaná
common.buy 189 Kč
Campside Guide to Dutch Oven Cooking Paul Kautz / Brožovaná
common.buy 322 Kč
Christliches Familienstellen Paul Imhof / Brožovaná
common.buy 563 Kč
Doerchlauchting Fritz Reuter / Brožovaná
common.buy 765 Kč
Dankbarkeit macht glücklich Ursula Richard / Brožovaná
common.buy 232 Kč
Dio C'e Romeo Mannarino / Pevná
common.buy 787 Kč
Připravujeme
Opcit at Large John Barr / Brožovaná
common.buy 356 Kč

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

Informace o knize

Plný název Automated Deduction - CADE-25
Autor Amy P. Felty, Aart Middeldorp
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 640
EAN 9783319214009
ISBN 3319214004
Libristo kód 09366255
Nakladatelství Springer International Publishing AG
Váha 9942
Rozměry 155 x 235 x 33

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Digitální životní styl > Internetové příručky a online služby > Internetové vyhledávání
Výpočetní a informační technologie > Informatika > Umělá inteligence > Rozpoznávání vzorů
Výpočetní a informační technologie > Informatika > Umělá inteligence > Počítačové vidění
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Databáze > Vyhledávání informací
Výpočetní a informační technologie > Informatika > Zpracování obrazu
Výpočetní a informační technologie > Grafické a digitální mediální aplikace
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

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