Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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Как се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

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... Цялото описание
? points 115 b
47.60 €
93.09  лв
Външен склад Изпращаме след 5-8 дни

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

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

Les Chroniques de Fogas, tome 4 : Une fête inoubliable - Tome 4 Julia Chapman / Книга С меки корици
common.buy 25.01 € 48.92 лв
Saint-Claude dessus-dessous Fierobe / Книга С меки корици
common.buy 67.49 € 131.99 лв
Подготвяме Нови
Expertenwissen Nacken Marco Gassen / Книга С меки корици
common.buy 46.40 € 90.76 лв
Le capital au XXIe siecle Thomas Piketty / Книга С меки корици
common.buy 19.52 € 38.18 лв
Einheit Auf Befehl? Sabine Collmer / Книга С меки корици
common.buy 53.14 € 103.93 лв
Dieta a Base de Plantas Chantel Stephens / Книга С меки корици
common.buy 16.10 € 31.50 лв
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Книга С меки корици
common.buy 18.12 € 35.45 лв
Suppenglück Sonja Riker / Книга С твърди корици
common.buy 19.78 € 38.69 лв
Les Bains de Mer de l'Algerie BERNARD-C / Книга С меки корици
common.buy 13.72 € 26.84 лв
Code Manuel de la Presse. Texte de la Nouvelle Loi, Article Par Article, La Legislation Anterieure FAIVRE-A / Книга С меки корици
common.buy 27.29 € 53.38 лв
ESPAÑA Y NAPOLES JOSE LUIS COLOMER / Книга С меки корици
common.buy 87.27 € 170.69 лв

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
В 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 Книгата ще пристигне на адреса на получателя

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

Predicative Arithmetic. (MN-32) Nelson / Книга С твърди корици
common.buy 126.38 € 247.17 лв
Ghosts - Notes from a Field Study Ken Lauter / Книга С меки корици
common.buy 20.77 € 40.61 лв
All Elevations Unknown Sam Lightner / Книга С меки корици
common.buy 16.36 € 32.00 лв
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Книга С меки корици
common.buy 13.62 € 26.63 лв
Same Day Dentistry Revolution Charlie Cole / Книга С меки корици
common.buy 12.06 € 23.59 лв
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Книга С меки корици
common.buy 7.71 € 15.08 лв
The Honor And Integrity Of America David L Sorensen / Книга С меки корици
common.buy 13.10 € 25.62 лв
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Книга С меки корици
common.buy 45.52 € 89.04 лв
The Mystic Scroll: A Book of Revelation Helen Van-Anderson / Книга С меки корици
common.buy 31.64 € 61.89 лв
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Книга С твърди корици
common.buy 39.26 € 76.78 лв
Great Snowball Fight on Icicle Street Dayton Young / Книга С твърди корици
common.buy 25.48 € 49.83 лв
Practical User Research Emmanuelle Savarit / Книга С меки корици
common.buy 52.57 € 102.81 лв
God and the Cosmos: A Critical Analysis of Atheism, Materialism and Evolutionism Theodore Graebner / Книга С меки корици
common.buy 39.26 € 76.78 лв
History of World Egyptology Andrew Bednarski / Книга С твърди корици
common.buy 212.26 € 415.14 лв
Hong Kong Protest Leaders - Sick facts that Western countries do not know Selina Co / Книга С меки корици
common.buy 7.76 € 15.19 лв
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Книга С меки корици
common.buy 42.47 € 83.06 лв
Steam Trains Today Andrew Martin / Книга С меки корици
common.buy 14.86 € 29.06 лв
U.S.-Taiwan Relations Bonnie Glaser / Книга С меки корици
common.buy 32.16 € 62.90 лв
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-книга Adobe ePub DRM
common.buy 5.38 € 10.53 лв
Foundations in Sociolinguistics Dell Hymes / Книга С твърди корици
common.buy 417.01 € 815.60 лв
Aspects of Physical Biology Giancarlo Franzese / Книга С твърди корици
common.buy 61.11 € 119.53 лв
The Archaeology of Political Spaces Dominik Bonatz / Книга С твърди корици
common.buy 99.50 € 194.60 лв
Influenza Virus Yoshihiro Kawaoka / Книга С твърди корици
common.buy 151.24 € 295.80 лв
Philosophy of Religion Michael Palmer / Книга С меки корици
common.buy 41.74 € 81.64 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?