Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Deduction - CADE-25

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Deduction - CADE-25 Amy P. Felty
Libristo kod: 09366255
Nakladnici Springer International Publishing AG, srpanj 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Cijeli opis
? points 125 b
51.68 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Knjiga Meki uvez
common.buy 16.98 €
Wild Parkour Serge Petrov / Knjiga Meki uvez
common.buy 11.52 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Knjiga Meki uvez
common.buy 7.27 €
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Knjiga Meki uvez
common.buy 10.81 €
RHAPSODY TROMPETTE FISHER TULL Tiskanica Note
common.buy 24.87 €
Ensayos Escogidos Juan Goytisolo / Knjiga Meki uvez
common.buy 29.02 €
Geometrie – úhel / Knjiga List
common.buy 1.30 €
Dévoilement du Complot Serge Monast / Knjiga Meki uvez
common.buy 17.29 €
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Knjiga Meki uvez
common.buy 114.60 €
La Selva = The Jungle Clive Cussler / Knjiga Meki uvez
common.buy 11.32 €
Dankbarkeit macht glücklich Ursula Richard / Knjiga Meki uvez
common.buy 8.99 €
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Knjiga Tvrdi uvez
common.buy 14.05 €
Ducasse Desserts Alain Ducasse / Knjiga Tvrdi uvez
common.buy 23.66 €
Christliches Familienstellen Paul Imhof / Knjiga Meki uvez
common.buy 25.08 €
Doerchlauchting Fritz Reuter / Knjiga Meki uvez
common.buy 13.54 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Deduction - CADE-25
Autor Amy P. Felty, Aart Middeldorp
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 640
EAN 9783319214009
ISBN 3319214004
Libristo kod 09366255
Nakladnici Springer International Publishing AG
Težina 9942
Dimenzije 155 x 235 x 33

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Little Jay Goes Fishing Fay Macaron / Knjiga Meki uvez
common.buy 14.35 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Knjiga Tvrdi uvez
common.buy 41.57 €
Sermons for the Use of Families. by William Enfield William Enfield / Knjiga Tvrdi uvez
common.buy 33.57 €
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Knjiga Meki uvez
common.buy 16.58 €
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Knjiga Meki uvez
common.buy 14.86 €
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 / Knjiga Meki uvez
common.buy 8.59 €
New Edition Basic Survival Student Book Peter Viney / Knjiga Meki uvez
common.buy 21.54 €
Battles with the Sea Robert Michael Ballantyne / Knjiga Meki uvez
common.buy 19.31 €
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Knjiga Meki uvez
common.buy 19.41 €
One Night Out Stealing Alan Duff / E-knjiga Adobe ePub DRM
common.buy 9.90 €
Out to Old Aunt Mary's Howard Chandler Christy / Knjiga Tvrdi uvez
common.buy 29.73 €
Opcit at Large John Barr / Knjiga Meki uvez
common.buy 13.95 €
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 / Knjiga Meki uvez
common.buy 24.87 €
The Resilient Culture Silke Rupprecht / Knjiga Meki uvez
common.buy 25.28 €
Dio C'e Romeo Mannarino / Knjiga Tvrdi uvez
common.buy 27.00 €
Bread of Heaven Athena M Hodges / Knjiga Meki uvez
common.buy 15.77 €
Michael Aaron Piano Course Lessons Michael Aaron / Knjiga Meki uvez
common.buy 9.60 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Knjiga Meki uvez
common.buy 15.77 €
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Knjiga Meki uvez
common.buy 11.72 €
Pripremamo
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Knjiga Meki uvez
common.buy 16.07 €
Traditional Livestock Production Carlos Palacios Riocerzo / Knjiga Tvrdi uvez
common.buy 174.89 €
Top
Like a Power Play / Knjiga Meki uvez
common.buy 19.41 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?