Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Deduction - CADE-25

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

Język AngielskiAngielski
Książka Miękka
Książka Automated Deduction - CADE-25 Amy P. Felty
Kod Libristo: 09366255
Wydawnictwo Springer International Publishing AG, lipiec 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Cały opis
? points 125 b
220.54 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Książka Miękka
common.buy 72.66 zł
Wild Parkour Serge Petrov / Książka Miękka
common.buy 49.01 zł
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Książka Miękka
common.buy 31.22 zł
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Książka Miękka
common.buy 46.38 zł
RHAPSODY TROMPETTE FISHER TULL Prasa Nuty
common.buy 110.97 zł
Ensayos Escogidos Juan Goytisolo / Książka Miękka
common.buy 129.97 zł
Geometrie – úhel / Książka Karta
common.buy 5.45 zł
Dévoilement du Complot Serge Monast / Książka Miękka
common.buy 77.11 zł
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Książka Miękka
common.buy 489.40 zł
La Selva = The Jungle Clive Cussler / Książka Miękka
common.buy 50.63 zł
Dankbarkeit macht glücklich Ursula Richard / Książka Miękka
common.buy 38.30 zł
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Książka Twarda
common.buy 54.37 zł
Ducasse Desserts Alain Ducasse / Książka Twarda
common.buy 100.86 zł
Christliches Familienstellen Paul Imhof / Książka Miękka
common.buy 107.13 zł
Doerchlauchting Fritz Reuter / Książka Miękka
common.buy 57.70 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Deduction - CADE-25
Autor Amy P. Felty, Aart Middeldorp
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 640
EAN 9783319214009
ISBN 3319214004
Kod Libristo 09366255
Wydawnictwo Springer International Publishing AG
Waga 9942
Wymiary 155 x 235 x 33

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Komputery i IT: przewodniki dla konsumentów i użytkowników > Poradniki internetowe i usługi online > Przeszukiwanie Internetu
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Rozpoznawanie wzorców
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Rozpoznawanie obrazów
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Bazy danych > Wyszukiwanie informacji
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Przetwarzanie obrazów
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Little Jay Goes Fishing Fay Macaron / Książka Miękka
common.buy 61.34 zł
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Książka Twarda
common.buy 177.68 zł
Sermons for the Use of Families. by William Enfield William Enfield / Książka Twarda
common.buy 143.21 zł
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Książka Miękka
common.buy 70.74 zł
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Książka Miękka
common.buy 63.47 zł
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 / Książka Miękka
common.buy 36.48 zł
New Edition Basic Survival Student Book Peter Viney / Książka Miękka
common.buy 102.68 zł
Battles with the Sea Robert Michael Ballantyne / Książka Miękka
common.buy 82.57 zł
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Książka Miękka
common.buy 83.08 zł
One Night Out Stealing Alan Duff / E-book Adobe ePub DRM
common.buy 44.66 zł
Out to Old Aunt Mary's Howard Chandler Christy / Książka Twarda
common.buy 127.04 zł
Opcit at Large John Barr / Książka Miękka
common.buy 59.42 zł
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 / Książka Miękka
common.buy 106.02 zł
The Resilient Culture Silke Rupprecht / Książka Miękka
common.buy 108.14 zł
Dio C'e Romeo Mannarino / Książka Twarda
common.buy 115.22 zł
Bread of Heaven Athena M Hodges / Książka Miękka
common.buy 67.41 zł
Michael Aaron Piano Course Lessons Michael Aaron / Książka Miękka
common.buy 43.55 zł
Campside Guide to Dutch Oven Cooking Paul Kautz / Książka Miękka
common.buy 67.41 zł
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Książka Miękka
common.buy 50.22 zł
Zapowiedź
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Książka Miękka
common.buy 68.42 zł
Traditional Livestock Production Carlos Palacios Riocerzo / Książka Twarda
common.buy 746.44 zł
TOP
Like a Power Play / Książka Miękka
common.buy 82.77 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?