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

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Separation Logic for High-level Synthesis

Name: Separation Logic for High-level Synthesis
Brand: Springer International Publishing AG
SKU: 20119398
Price: 108.51 EUR
Availability: InStock
Author: Felix Winterstein
ISBN: 9783319850948

Felix Winterstein

Език

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

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

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

Издателство Springer International Publishing AG, юли 2018

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel... Цялото описание

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

263 b

108.51 €

212.23 лв

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

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

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

Stele du reve de Thoutmosis IV Institut de recherche scripturale

Adobe ePub DRM

2.79 € 5.45 лв

Hluboko ve vášni Sharon Page

С меки корици

16.90 € 33.05 лв

Le Roman Des Trois Ennemis de l'Homme Meyer-P

С меки корици

15.50 € 30.32 лв

Die Bibliothek der Wahren Lügen Jesús Cañadas

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

16.59 € 32.45 лв

First for Schools Trainer 2

С меки корици

46.94 € 91.80 лв

CAPRICCIO DIABOLICO (OMAGGIO A PAGANINI) GUITARE MARIO CASTELNUOVO-TE Книга

binding.

15.92 € 31.13 лв

Jean-Louis Florentz et l’orgue. Essai analytique et exégétique BOURCIER

С меки корици

50.51 € 98.78 лв

L'Empire Turquoise: Un roman de l'Iran ancien Nikhil Chandavarkar

С меки корици

13.07 € 25.57 лв

Denkmaler alter Sprache und Kunst Wilhelm Dorow

С меки корици

24.50 € 47.92 лв

Summa daemoniaca. Trattato di demonologia e manuale dell'esorcista Josè A. Fortea

С меки корици

22.69 € 44.38 лв

Querido Salvador, querido Lorquito, 1925-1936 : epistolario Salvador Dalí

С меки корици

17.31 € 33.86 лв

Collection Complete Des Oeuvres de Monsieur de Voltaire.Tome 13 Voltaire

С меки корици

28.22 € 55.20 лв

Das Märchenbriefbuch der heiligen Nächte im Javanerland Max Dauthendey

С меки корици

17.93 € 35.08 лв

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial 'state of the art'. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance computing. Field-programmable gate arrays (FPGAs) gain efficiency by encoding the computing task into the chip's physical circuitry and are gaining rapidly increasing importance in the processor market, especially after recent announcements of large-scale deployments in the data centre. This is driving, more than ever, the demand for higher design entry abstraction levels, such as the automatic circuit synthesis from high-level languages (high-level synthesis). The techniques in this book apply formal reasoning to high-level synthesis in the context of demonstrably practical applications.<

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

EWA KASP за

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

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

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

Пълно заглавие Separation Logic for High-level Synthesis

Автор Felix Winterstein

Език

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

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

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

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

Баркод 9783319850948

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

Издателство Springer International Publishing AG

Тегло 2409

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

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

The Bald Soprano and Other Plays Eugene Ionesco

С меки корици

14.26 € 27.90 лв

Gaining Momentum in a Downturn Christopher Holmes

С меки корици

12.14 € 23.75 лв

The North American Species Of Drosophila (1921) A. H. Sturtevant

С меки корици

17.99 € 35.18 лв

Integral Inequalities and Generalized Convexity Shashi Kant Mishra

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

146.77 € 287.06 лв

Nowness Files: 2012-2018 Iit Architecture Chicago Vedran Mimica

С меки корици

19.43 € 38.01 лв

Laurel Hill Cemetery Carol Yaster

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

24.55 € 48.02 лв

Destinata Miss Nicole L Daffurn

С меки корици

11.21 € 21.93 лв

Sarchedon: A Legend of the Great Queen G J Whyte-Melville

С меки корици

10.33 € 20.21 лв

The End Of The Rainbow: These Are Some Of The Colors That I Saw Mario D Gonzalez

С меки корици

11.21 € 21.93 лв

Analytic and Algebraic Dependence of Meromorphic Functions Aldo Andreotti

С меки корици

38.15 € 74.61 лв

My Name is Monika - Part 3 / Moje ime je Monika - 3. dio Ana Bilic

С меки корици

13.85 € 27.09 лв

Climbing a Few of Japan's 100 Famous Mountains - Volume 1 Daniel H. Wieczorek

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

25.95 € 50.75 лв

Mysteries of the Komodo Dragon Marty Crump

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

18.61 € 36.39 лв

George Washington's Rules of Civility & Decent Behavior George Washington

С меки корици

7.08 € 13.84 лв

Coming to Know God, Yourself and Others Franklyn Rolle

С меки корици

15.71 € 30.73 лв

Self-Efficacy, Adaptation, and Adjustment James E. Maddux

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

162.64 € 318.10 лв

Great Boer War Arthur Conan Doyle

С меки корици

23.26 € 45.49 лв

Agrarian History of England and Wales: Volume 3, 1348-1500 Edward Miller

С меки корици

121.39 € 237.41 лв

Sumerian Mythology Samuel Noah Kramer

С меки корици

22.59 € 44.18 лв

Price Behaviour of Major Crops in Bangladesh: An Empirical Analysis Shakila Salam

С меки корици

64.10 € 125.37 лв

Den Nordiske Kriigs Kronicke Utgifwen AF Martin Weibull. Martin Johan Julius Weibull

С меки корици

28.43 € 55.60 лв

Addisoni Epistola missa ex Italiâ ad illustrem Dominum Halifax, anno 1701. [A translation into Latin hexameter verse.] Auctore A. Murphy. (Addis Arthur Murphy

С меки корици

14.11 € 27.59 лв