[email protected]
LIBRISTO 0
Безплатна доставка със Speedy над 129 лв
Box Now 9 лв Speedy office 11 лв Speedy 13 лв ЕКОНТ 6 лв Еконтомат/Офис на Еконт 6 лв
phone Контакт phoneКак се пазарува?

Frontiers of Combining Systems

Език Английски езикАнглийски език
Книга С меки корици
Книга Frontiers of Combining Systems Clare Dixon
Код Либристо: 16771870
Издателство Springer International Publishing AG, август 2017
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining... Цялото описание
? points 208 b
160 лв
Външен склад в ограничено количество Изпращаме след 10-14 дни

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

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

Cambridge Checkpoint Science Workbook 7 Mary Jones / С меки корици
common.buy 29 лв
Joy of Music Bernstein Leonard / С меки корици
common.buy 75 лв
Coleccion Tiempo / С меки корици
common.buy 27 лв
Original Sin: Hulk Vs. Iron Man Kieron Gillen / С меки корици
common.buy 37 лв
ПОДГОТВЯМЕ
Guide to the Beaches and Battlefields of Normandy David Evans / С меки корици
common.buy 33 лв
Fatal Fire Marla Bradeen / С меки корици
common.buy 41 лв
Atlantis Encyclopedia Frank Joseph / С меки корици
common.buy 51 лв
Leben im Gleichgewicht von Gnade und Glaube Andrew Wommack / С меки корици
common.buy 27 лв
CFAST Consolidated Model of Fire Growth and Smoke Transport (Version 5): User s Guide Nist / С меки корици
common.buy 33 лв
Universal Anthology; A Collection of the Best Literature, Ancient, Mediaeval and Modern, with Biographical and Explanatory Notes Volume 2 Garnett / С твърди корици
common.buy 84 лв
Normalarbeitsverhaltnis oder Prekariat Siegfried Schwab / С меки корици
common.buy 165 лв
Revenge of the Middle-Aged Woman Elizabeth Buchanová / С меки корици
common.buy 25 лв
Hayri Potur Muzaffer Izgü / С меки корици
common.buy 34 лв
Ruby on Rails For Dummies Barry Burd / С меки корици
common.buy 60 лв
Always Coming Home: A Short Story Denise Longrie / С меки корици
common.buy 14 лв
DESIGN AND APPLICATION OF THE WORM GEAR (801780) William P. Crosher / С твърди корици
common.buy 216 лв

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.

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

Пълно заглавие Frontiers of Combining Systems
Автор Clare Dixon, Marcelo Finger
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 351
Баркод 9783319661667
ISBN 3319661663
Код Либристо 16771870
Издателство Springer International Publishing AG
Тегло 5504
Размери 155 x 235 x 20

Категории

Society & Social Sciences > Politics & government > Public administration
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Вход

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

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

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

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

Създаване на акаунт за Libristo