Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540468226 ISBN 13: 9783540468226
Sprache: Deutsch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 10,85
Währung umrechnenAnzahl: 9 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Seiten: 612 | Sprache: Deutsch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 44,99
Gebraucht ab EUR 10,85
Mehr entdecken Softcover
Anbieter: Buchpark, Trebbin, Deutschland
EUR 12,60
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 136,16
Gebraucht ab EUR 12,60
Mehr entdecken Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
EUR 21,00
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbXV, 168 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Computer Architecture and Design Methodologies. Sprache: Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 92,27
Gebraucht ab EUR 24,00
Mehr entdecken Hardcover
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2010, 2010
ISBN 10: 3642053556 ISBN 13: 9783642053559
Sprache: Deutsch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 37,99
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich.Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens.Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 612 pp. Deutsch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 37,99
Gebraucht ab EUR 110,20
Mehr entdecken Softcover
Verlag: Springer International Publishing, Springer International Publishing Mär 2016, 2016
ISBN 10: 3319306944 ISBN 13: 9783319306940
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes theproceedings of the 29th International Conference on Architecture of ComputingSystems, ARCS 2016, held in Nuremberg, Germany, in April 2016.The 29 full papers presented in this volume werecarefully reviewed and selected from 87 submissions. They were organized intopical sections named: configurable and in-memory accelerators;network-on-chip and secure computing architectures; cache architectures andprotocols; mapping of applications on heterogeneous architectures and real-timetasks on multiprocessors; all about time: timing, tracing, and performancemodeling; approximate and energy-efficient computing; allocation: from memoriesto FPGA hardware modules; organic computing systems; and reliability aspects inNoCs, caches, and GPUs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 127,91
Mehr entdecken Softcover
Anbieter: BookOrders, Russell, IA, USA
EUR 33,78
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoft Cover. Zustand: Good. LNCS 2268. Soft cover. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear and has library label on spine. 325 pages. Ex-Library.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 70,03
Mehr entdecken Softcover
EUR 95,89
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,33
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,33
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 132,24
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 188.
Verlag: Springer New York, Springer US, 2012
ISBN 10: 1461427207 ISBN 13: 9781461427209
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 164,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a new set of embedded system design techniques called multidimensional data flow, which combine the various benefits offered by existing methodologies such as block-based system design, high-level simulation, system analysis and polyhedral optimization. It describes a novel architecture for efficient and flexible high-speed communication in hardware that can be used both in manual and automatic system design and that offers various design alternatives, balancing achievable throughput with required hardware size.This book demonstrates multidimensional data flow by showing its potential for modeling, analysis, and synthesis of complex image processing applications. These applications are presented in terms of their fundamental properties and resulting design constraints. Coverage includes a discussion of how far the latter can be met better by multidimensional data flow than alternative approaches. Based on these results, the book explains the principles of fine-grained system level analysis and high-speed communication synthesis. Additionally, an extensive review of related techniques is given in order to show their relation to multidimensional data flow.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 136,16
Gebraucht ab EUR 261,42
Mehr entdecken Softcover
Anbieter: SpringBooks, Berlin, Deutschland
Erstausgabe
EUR 389,93
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. 1. Auflage. 2 volumes - Unread, with a mimimum of shelfwear. Immediately dispatched from Germany.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 801,20
Gebraucht ab EUR 392,93
Mehr entdecken Hardcover Erstausgabe
Anbieter: moluna, Greven, Deutschland
EUR 93,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The first ever to focus on the emerging field of dynamically reconfigurable computingUnique overview on state-of-the-art and recent research resultsCovers all aspects: architectures, design methods and applicationsDynamically Rec.