Над 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 €

phone

phone

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

Помощ

Моят акаунт

▸ Празна :-(

0

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

Книга Logic-Based Program Synthesis and Transformation Elvira Albert

Logic-Based Program Synthesis and Transformation

Език

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

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

Книга Logic-Based Program Synthesis and Transformation Elvira Albert

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

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

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Цялото описание

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

?

points

121 b

50.06 €

97.91 лв

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

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

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

Expertenwissen Nacken Marco Gassen

/

С меки корици

48.82 € 95.49 лв

Einheit Auf Befehl? Sabine Collmer

/

С меки корици

55.85 € 109.23 лв

Dieta a Base de Plantas Chantel Stephens

/

С меки корици

16.06 € 31.42 лв

Les Bains de Mer de l'Algerie BERNARD-C

/

С меки корици

13.69 € 26.77 лв

Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai

/

С меки корици

18.08 € 35.36 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Героиня & Полиглот

EWA KASP за

Пусни видеото

Ewa Kasp

Ewa Kasp

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Logic-Based Program Synthesis and Transformation

Автор Elvira Albert

Език

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

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

Дата на издаване 2013

Брой страници 245

Баркод 9783642381966

ISBN 3642381960

Код Либристо 01663644

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

Тегло 454

Размери 155 x 235 x 15

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists

Mathematics & Science > Mathematics > Discrete mathematics

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Подарете тази книга днес

Лесно е

1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Fading Light Chris Steele-Perkins

/

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

34.15 € 66.79 лв

What Makes Cannabis Recipes Work? Ronald E. Hudkins

/

Adobe ePub DRM

5.42 € 10.60 лв

U.S.-Taiwan Relations Bonnie Glaser

/

С меки корици

35.44 € 69.31 лв

Steam Trains Today Andrew Martin

/

С меки корици

14.82 € 28.99 лв

OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN

/

С меки корици

42.57 € 83.26 лв

History of World Egyptology Andrew Bednarski

/

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

211.73 € 414.11 лв

Practical User Research Emmanuelle Savarit

/

С меки корици

52.44 € 102.56 лв

SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN

/

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

39.16 € 76.59 лв

Top 25 Property Management KPIs of 2011-2012 The Kpi Institute

/

С меки корици

45.41 € 88.82 лв

Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo

/

С меки корици

7.69 € 15.05 лв

Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki

/

С меки корици

13.58 € 26.57 лв

Ghosts - Notes from a Field Study Ken Lauter

/

С меки корици

21.28 € 41.62 лв

High Point of Persistence Hilary White

/

С меки корици

26.19 € 51.22 лв

Foundations in Sociolinguistics Dell Hymes

/

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

376.09 € 735.56 лв

Guide to Magistrates Mayo

/

С меки корици

48.72 € 95.28 лв

In the Museum of Man Alice L Conklin

/

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

165.33 € 323.36 лв

Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa

/

С меки корици

54.35 € 106.30 лв

Transactions in Bionic Patents, Vol. 8 Michael Dienst

/

С меки корици

17.10 € 33.44 лв

Clinical CT Suzanne Henwood

/

С меки корици

74.76 € 146.21 лв

Autonomy in Jewish Philosophy Kenneth Seeskin

/

С меки корици

45.10 € 88.21 лв

All Elevations Unknown Sam Lightner

/

С меки корици

16.32 € 31.92 лв

Influenza Virus Yoshihiro Kawaoka

/

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

159.18 € 311.34 лв

The Archaeology of Political Spaces Dominik Bonatz

/

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

104.52 € 204.42 лв

Aspects of Physical Biology Giancarlo Franzese

/

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

61.07 € 119.44 лв