Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Automated Deduction - CADE-25 Amy P. Felty
Код Либристо: 09366255
Издателство Springer International Publishing AG, юли 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Книга С меки корици
common.buy 17.97 € 35.15 лв
Wild Parkour Serge Petrov / Книга С меки корици
common.buy 11.46 € 22.42 лв
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Книга С меки корици
common.buy 7.64 € 14.94 лв
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Книга С меки корици
common.buy 11.46 € 22.42 лв
RHAPSODY TROMPETTE FISHER TULL Печатни материали Ноти
common.buy 27.01 € 52.83 лв
Ensayos Escogidos Juan Goytisolo / Книга С меки корици
common.buy 31.97 € 62.53 лв
Geometrie – úhel / Книга Лист
common.buy 1.34 € 2.62 лв
Dévoilement du Complot Serge Monast / Книга С меки корици
common.buy 18.80 € 36.77 лв
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Книга С меки корици
common.buy 114.52 € 223.98 лв
La Selva = The Jungle Clive Cussler / Книга С меки корици
common.buy 12.44 € 24.34 лв
Dankbarkeit macht glücklich Ursula Richard / Книга С меки корици
common.buy 9.45 € 18.48 лв
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Книга С твърди корици
common.buy 15.29 € 29.90 лв
Ducasse Desserts Alain Ducasse / Книга С твърди корици
common.buy 25.05 € 48.99 лв
Christliches Familienstellen Paul Imhof / Книга С меки корици
common.buy 26.55 € 51.92 лв
Doerchlauchting Fritz Reuter / Книга С меки корици
common.buy 14.25 € 27.87 лв

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.§

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Automated Deduction - CADE-25
Автор Amy P. Felty, Aart Middeldorp
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 640
Баркод 9783319214009
ISBN 3319214004
Код Либристо 09366255
Издателство Springer International Publishing AG
Тегло 9942
Размери 155 x 235 x 33

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer science > Artificial intelligence > Pattern recognition
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Image processing
Computing & Information Technology > Graphical & digital media applications
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Little Jay Goes Fishing Fay Macaron / Книга С меки корици
common.buy 14.36 € 28.08 лв
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Книга С твърди корици
common.buy 43.85 € 85.77 лв
Sermons for the Use of Families. by William Enfield William Enfield / Книга С твърди корици
common.buy 33.52 € 65.56 лв
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Книга С меки корици
common.buy 16.53 € 32.32 лв
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Книга С меки корици
common.buy 14.87 € 29.09 лв
Medical Assistants Are Fabulous And Magical Like Unicorns Only Better: 120 Pages I 6x9 I Graph Paper 4x4 I Funny Nurse, Doctor & Hospital Gifts I Unic Funny Notebooks / Книга С меки корици
common.buy 8.52 € 16.66 лв
New Edition Basic Survival Student Book Peter Viney / Книга С меки корици
common.buy 24.02 € 46.97 лв
Battles with the Sea Robert Michael Ballantyne / Книга С меки корици
common.buy 19.31 € 37.78 лв
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Книга С меки корици
common.buy 19.42 € 37.98 лв
One Night Out Stealing Alan Duff / E-книга Adobe ePub DRM
common.buy 10.95 € 21.41 лв
Out to Old Aunt Mary's Howard Chandler Christy / Книга С твърди корици
common.buy 29.70 € 58.08 лв
Opcit at Large John Barr / Книга С меки корици
common.buy 14.67 € 28.68 лв
History of Illinois: From Its Commencement as a State in 1814 to 1847: Containing a Full Account of the Black Hawk War, the Rise, Progress, Ford Thomas Ford / Книга С меки корици
common.buy 26.03 € 50.91 лв
The Resilient Culture Silke Rupprecht / Книга С меки корици
common.buy 25.31 € 49.50 лв
Dio C'e Romeo Mannarino / Книга С твърди корици
common.buy 26.96 € 52.73 лв
Bread of Heaven Athena M Hodges / Книга С меки корици
common.buy 15.75 € 30.80 лв
Michael Aaron Piano Course Lessons Michael Aaron / Книга С меки корици
common.buy 10.79 € 21.11 лв
Campside Guide to Dutch Oven Cooking Paul Kautz / Книга С меки корици
common.buy 16.63 € 32.52 лв
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Книга С меки корици
common.buy 11.77 € 23.03 лв
Подготвяме
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Книга С меки корици
common.buy 17.09 € 33.43 лв
Traditional Livestock Production Carlos Palacios Riocerzo / Книга С твърди корици
common.buy 184.10 € 360.07 лв
Top
Like a Power Play / Книга С меки корици
common.buy 19.37 € 37.88 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?