Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Separation Logic for High-level Synthesis

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

Felix Winterstein

Sprache

Englisch

Buch Broschur

Libristo-Code: 20119398

Verlag Springer International Publishing AG, Juli 2018

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel... Vollständige Beschreibung

Libristo-Code: 20119398

249 b

101.79 € inkl. MwSt.

Externes Lager Wir versenden in 8-11 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Vanha suola janottaa Polva

MP3

7.89 €

Stele du reve de Thoutmosis IV Institut de recherche scripturale

Adobe ePub DRM

2.29 €

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

Hardcover

18.00 €

Hluboko ve vášni Sharon Page

Broschur

15.29 €

BIBLIA BILINGUE - I / 1 DESCONOCIDO

Hardcover

81.39 €

First for Schools Trainer 2

Broschur

42.09 €

Заблудлi дiти. Книга 3. Пiд цукровим небом Seanan McGuire

Broschur

31.79 €

Biblisches Realwörterbuch zum Handgebrauch für Studirende, Kandidaten, Gymnasiallehrer und Prediger Georg Benedikt Winer

Broschur

28.50 €

Blues delle risaie d'autunno. Il nuovo caso dell'agenzia Sambuco & Dell'Oro Alessandro Reali

Buch

13.19 €

CAPRICCIO DIABOLICO (OMAGGIO A PAGANINI) GUITARE MARIO CASTELNUOVO-TE Buch

binding.

12.59 €

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

Broschur

42.49 €

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

Broschur

11.59 €

Denkmaler alter Sprache und Kunst Wilhelm Dorow

Broschur

23.50 €

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

Broschur

14.59 €

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

Broschur

11.89 €

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

Broschur

25.09 €

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

Broschur

18.80 €

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.<

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Separation Logic for High-level Synthesis

Autor Felix Winterstein

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 132

EAN 9783319850948

Libristo-Code 20119398

Verlag Springer International Publishing AG

Gewicht 2409

Abmessungen 155 x 235 x 9

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

EDV und Informationstechnologie > Computerhardware > Speichermedien und Peripheriegeräte

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Analytic and Algebraic Dependence of Meromorphic Functions Aldo Andreotti

Broschur

35.79 €

Gaining Momentum in a Downturn Christopher Holmes

Broschur

11.39 €

Integral Inequalities and Generalized Convexity Shashi Kant Mishra

Hardcover

165.09 €

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

Broschur

15.19 €

Best Grandson Ever: Personalized Dinosaur Sketchbook Notebook for Writing Drawing Doodling Sketching with Dinosaur Colouring Pages Veropa Press

Broschur

10.09 €

Nowness Files: 2012-2018 Iit Architecture Chicago Vedran Mimica

Broschur

17.99 €

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

Broschur

12.99 €

Laurel Hill Cemetery Carol Yaster

Hardcover

22.79 €

Ebola: The History of the Virus and Its Outbreaks Charles River Editors

Broschur

8.99 €

Destinata Miss Nicole L Daffurn

Broschur

9.39 €

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

Broschur

8.69 €

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

Broschur

9.99 €

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

Hardcover

24.39 €

The Bald Soprano and Other Plays Eugene Ionesco

Broschur

13.29 €

From Scientist to Stroke Survivor Elly Katz

Adobe ePub DRM

25.29 €

Coming to Know God, Yourself and Others Franklyn Rolle

Broschur

14.79 €

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

Hardcover

152.59 €

Great Boer War Arthur Conan Doyle

Broschur

23.59 €

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

Broschur

114.29 €

Sumerian Mythology Samuel Noah Kramer

Broschur

25.19 €

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

Broschur

238.79 €

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

Broschur

26.59 €

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

Broschur

13.09 €