Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 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 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Programming Logics

Name: Programming Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281565
Price: 54.35 EUR
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783642376504

Essays in Memory of Harald Ganzinger

Andrei Voronkov

Christoph Weidenbach

Език

Английски език

Книга С меки корици

Код Либристо: 05281565

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues... Цялото описание

Код Либристо: 05281565

132 b

54.35 €

106.30 лв

Външен склад Изпращаме след 5-8 дни

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

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

Cría de pollos (Gallus domesticus) en Kivu del Sur, este de la RDC

С меки корици

37.71 € 73.76 лв

Conni rettet die Tiere (Meine Freundin Conni - ab 6 17), Audio-CD Julia Boehme

Аудио компактдиск

8.93 € 17.47 лв

RTA194 SUZUKI-SANTANA GRAND VITARA II fase1(05-09) ETAI Книга

binding.

36.58 € 71.54 лв

Deutsch in 15 Minuten - Texte schreiben 5./6. Klasse Friederike Ablang

С меки корици

7.07 € 13.83 лв

Prašina 3 - Biela komnata Vojtěch Matocha

С меки корици

14.93 € 29.19 лв

Rechtliche Risiken des Arbeitnehmers bei der Nichtbefolgung unbilliger Weisungen des Arbeitgebers einerseits und bei Nichtbefolgung ordnungsgemäßer We Sirko Archut

С меки корици

40.55 € 79.32 лв

Gottesbewusstsein - Die Hohe Kunst der Magie Ursula W Ziegler

С меки корици

19.01 € 37.18 лв

Pippa Pepperkorn Hörbuch-Box Charlotte Habersack

Аудио компактдиск

17.92 € 35.06 лв

Die verfassunggebende Gewalt nach dem Grundgesetz für die Bundesrepublik Deutschland. Dietrich Murswiek

С меки корици

59.62 € 116.61 лв

Bewegungsorientierte Sprachfoerderung aus neurolinguistischer Perspektive Ninon Nasseri

С меки корици

15.24 € 29.80 лв

Fornication APTER

С твърди корици

10.07 € 19.70 лв

Vergleich der privaten E-Mail und SMS Kommunikation aus linguistischer und medienwahltheoretischer Perspektive Anja Bürger

С меки корици

40.55 € 79.32 лв

Notice Biographique Sur La Vie de M. Le Comte de Peyronnet Sans Auteur

С меки корици

12.71 € 24.85 лв

Militar-Flugzeugindustrie im Dritten Reich Christian Matenaar

С меки корици

35.90 € 70.22 лв

Wenn die Liebe schmerzt Claudia Amherd

С меки корици

24.28 € 47.49 лв

Dr. Joseph Salzmanns Leben Und Wirken Joseph Rainer

С меки корици

28.31 € 55.37 лв

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.§The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.