Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automated Deduction - CADE-25

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Deduction - CADE-25 Amy P. Felty
Libristo-code: 09366255
Uitgeverij Springer International Publishing AG, juli 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Volledige beschrijving
? points 125 b
51.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Boek Gebonden (paperback)
common.buy 16.96 €
Wild Parkour Serge Petrov / Boek Gebonden (paperback)
common.buy 11.51 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Boek Gebonden (paperback)
common.buy 7.26 €
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Boek Gebonden (paperback)
common.buy 10.80 €
RHAPSODY TROMPETTE FISHER TULL Drukwerk Bladmuziek
common.buy 25.85 €
Ensayos Escogidos Juan Goytisolo / Boek Gebonden (paperback)
common.buy 30.50 €
Geometrie – úhel / Boek Blad
common.buy 1.30 €
Dévoilement du Complot Serge Monast / Boek Gebonden (paperback)
common.buy 17.97 €
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Boek Gebonden (paperback)
common.buy 114.46 €
La Selva = The Jungle Clive Cussler / Boek Gebonden (paperback)
common.buy 11.91 €
Dankbarkeit macht glücklich Ursula Richard / Boek Gebonden (paperback)
common.buy 8.98 €
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Boek Gebonden (harde band)
common.buy 14.64 €
Ducasse Desserts Alain Ducasse / Boek Gebonden (harde band)
common.buy 23.63 €
Christliches Familienstellen Paul Imhof / Boek Gebonden (paperback)
common.buy 25.05 €
Doerchlauchting Fritz Reuter / Boek Gebonden (paperback)
common.buy 13.53 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Deduction - CADE-25
Auteur Amy P. Felty, Aart Middeldorp
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 640
EAN 9783319214009
ISBN 3319214004
Libristo-code 09366255
Uitgeverij Springer International Publishing AG
Gewicht 9942
Afmetingen 155 x 235 x 33

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Digitale levensstijl en online wereld: gebruikersgidsen > Internetgidsen en online diensten > Internetzoeken
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Patroonherkenning
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Computervisie
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Databanken > Informatieopslag en -naslag
Informatica en informatietechnologie > Informatica > Beeldverwerking / image processing
Informatica en informatietechnologie > Grafische en digitale media-applicaties
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Little Jay Goes Fishing Fay Macaron / Boek Gebonden (paperback)
common.buy 14.34 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Boek Gebonden (harde band)
common.buy 41.51 €
Sermons for the Use of Families. by William Enfield William Enfield / Boek Gebonden (harde band)
common.buy 33.53 €
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Boek Gebonden (paperback)
common.buy 16.56 €
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Boek Gebonden (paperback)
common.buy 14.84 €
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 / Boek Gebonden (paperback)
common.buy 8.58 €
New Edition Basic Survival Student Book Peter Viney / Boek Gebonden (paperback)
common.buy 24.04 €
Battles with the Sea Robert Michael Ballantyne / Boek Gebonden (paperback)
common.buy 19.29 €
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Boek Gebonden (paperback)
common.buy 19.39 €
One Night Out Stealing Alan Duff / E-book Adobe ePub DRM
common.buy 10.40 €
Out to Old Aunt Mary's Howard Chandler Christy / Boek Gebonden (harde band)
common.buy 29.69 €
Opcit at Large John Barr / Boek Gebonden (paperback)
common.buy 13.93 €
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 / Boek Gebonden (paperback)
common.buy 24.84 €
The Resilient Culture Silke Rupprecht / Boek Gebonden (paperback)
common.buy 25.25 €
Dio C'e Romeo Mannarino / Boek Gebonden (harde band)
common.buy 26.97 €
Bread of Heaven Athena M Hodges / Boek Gebonden (paperback)
common.buy 15.75 €
Michael Aaron Piano Course Lessons Michael Aaron / Boek Gebonden (paperback)
common.buy 10.80 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Boek Gebonden (paperback)
common.buy 15.75 €
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Boek Gebonden (paperback)
common.buy 11.71 €
Wordt verwacht
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Boek Gebonden (paperback)
common.buy 17.06 €
Traditional Livestock Production Carlos Palacios Riocerzo / Boek Gebonden (harde band)
common.buy 174.67 €
TOP
Like a Power Play / Boek Gebonden (paperback)
common.buy 19.39 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?