Ebooks de Rolf Drechsler en PDF et EPUB

32 Livre(s)


Ajouter à ma liste d'envies Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Rolf Drechsler , Nils Przigoda , Judith Przigoda , Robert Wille This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods... Editeur : Springer Parution : 2018-01-22 PDF, ePub 147,69 € PDF ePub
Ajouter à ma liste d'envies Advanced Logic Synthesis Rolf Drechsler , André Inácio Reis This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic... Editeur : Springer Parution : 2017-11-15 PDF, ePub 94,94 € PDF ePub
Ajouter à ma liste d'envies Formal System Verification Rolf Drechsler This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down... Editeur : Springer Parution : 2017-06-21 PDF, ePub 116,04 € PDF ePub
Ajouter à ma liste d'envies Computer Rolf Drechsler , Andrea Fink , Jannis Stoppe Computer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC oder Laptop die Arbeit, sondern sind auch eingebettet in zahlreiche Objekte unseres täglichen Lebens – vom Auto bis zur Waschmaschine. Doch wie funktionieren moderne Rechner... Editeur : Springer Parution : 2017-02-23 Collection : Technik im Fokus PDF, ePub 14,78 € PDF ePub
Ajouter à ma liste d'envies Automatic Methods for the Refinement of System Models Rolf Drechsler , Julia Seiter , Robert Wille This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two “directions” for refinement: Vertical refinement,... Editeur : Springer Parution : 2016-07-04 Collection : SpringerBriefs in Electrical and Computer Engineering ePub 52,74 €
Ajouter à ma liste d'envies Reversible and Quantum Circuits Nabila Abdessaied , Rolf Drechsler This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches to decompose reversible circuits to quantum circuits using different... Editeur : Springer Parution : 2016-06-06 ePub 52,74 €
Ajouter à ma liste d'envies Languages, Design Methods, and Tools for Electronic System Design Rolf Drechsler , Robert Wille This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international... Editeur : Springer Parution : 2016-05-30 Collection : Lecture Notes in Electrical Engineering ePub 52,74 €
Ajouter à ma liste d'envies Formal Modeling and Verification of Cyber-Physical Systems Rolf Drechsler , Ulrich Kühne This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems.This covers several... Editeur : Springer Vieweg Parution : 2015-06-05 PDF 52,74 €
Ajouter à ma liste d'envies Formal Specification Level Rolf Drechsler , Mathias Soeken This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL),... Editeur : Springer Parution : 2014-11-12 ePub 94,94 €
Ajouter à ma liste d'envies Towards a Design Flow for Reversible Logic Rolf Drechsler , Robert Wille The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes and power dissipation are the major barriers in the development of... Editeur : Springer Parution : 2010-07-28 ePub 94,94 €
Ajouter à ma liste d'envies Debugging at the Electronic System Level Rolf Drechsler , Frank Rogin Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, debugging is still an unsystematic and lengthy process. Here, a simple... Editeur : Springer Parution : 2010-06-17 ePub 94,94 €
Ajouter à ma liste d'envies Advanced BDD Optimization Rolf Drechsler , Rudiger Ebendt , Görschwin Fey VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications,... Editeur : Springer Parution : 2005-12-05 PDF 147,69 €
<< < 12

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Compatible lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.