Rolf Drechsler - Tous les articles

• Rolf Drechsler
• Stephan Eggersglüss

• en
• Couverture rigide
• 9789048123599
• 30 avril 2009
• 192 pages

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters...

Disponible en plusieurs variantes :

Broché

109,00

• Rolf Drechsler
• Andrea Fink

• de
• Broché
• 9783662530597
• 03 mars 2017
• 126 pages

Und wie werden diese hochkomplexen, aus Milliarden Komponenten bestehenden Geräte entworfen? Das Buch...

Disponible en plusieurs variantes :

livre numérique

14,99

• Springer Nature Switzerland AG

• en
• Broché
• 9783030192648
• 27 novembre 2020
• 238 pages

This book examines some of the underlying processes behind different forms of information management,...

• Springer International Publishing Ag

• en
• Couverture rigide
• 9783319576831
• 03 juillet 2017
• 182 pages

This book provides readers with a comprehensive introduction to the formal verification of hardware and...

• Springer Nature Switzerland AG

• en
• Broché
• 9783030203252
• 14 août 2020
• 265 pages

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application...

• Springer-Verlag New York Inc.

• en
• Couverture rigide
• 9781402077210
• 31 janvier 2004
• 260 pages

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives...

• Springer Nature Switzerland AG

• en
• Broché
• 9783030680732
• 30 avril 2022
• 197 pages

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application...

• Springer

• en
• Broché
• 9783540213789
• 25 mars 2004
• 588 pages

Evolutionary Computation (EC) deals with problem solving, optimization, and machine learning techniques...

• Sebastian Huhn
• Rolf Drechsler

• de
• livre numérique
• 9783031453199
• 02 janvier 2024
• EPUB3

In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter...

Disponible en plusieurs variantes :

Couverture rigide

105,00

• Vladimir Herdt
• Daniel Grosse

• en
• Broché
• 9783030548308
• 16 octobre 2021
• 247 pages

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual...

Disponible en plusieurs variantes :

Couverture rigide

125,00

livre numérique

83,99

• Arun Chandrasekharan
• Daniel Grosse

• en
• livre numérique
• 9783319989655
• 10 octobre 2018
• Adobe ePub

This book describes reliable and efficient design automation techniques for the design and implementation...

Disponible en plusieurs variantes :

Couverture rigide

50,99

Broché

50,99

• Onbekend

• en
• Broché
• 9781461353621
• 23 octobre 2012
• 206 pages

Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts...

• Sebastian Huhn
• Rolf Drechsler

• en
• Broché
• 9783030692117
• 20 avril 2022
• 164 pages

This book introduces several novel approaches to pave the way for the next generation of integrated circuits,...

Disponible en plusieurs variantes :

livre numérique

98,99

Couverture rigide

99,99

• Pascal Pieper
• Rolf Drechsler

• en
• Broché
• 9783031516948
• 26 mars 2025
• 170 pages

This book deals with formal and practical approaches for early fast modeling and verification of complex...

Disponible en plusieurs variantes :

Couverture rigide

129,00

livre numérique

107,99

• Rolf Drechsler, Robert Wille

• en
• Couverture rigide
• 9783319317229
• 31 mai 2016
• 170 pages

FDL is a well-established international forumdevoted to dissemination of research results, practical...

• Rolf Drechsler, Nicole Drechsler
• Nicole Drechsler

• en
• Couverture rigide
• 9781402072765
• 30 novembre 2002
• 210 pages

Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts...

• Rolf Drechsler

• en
• Broché
• 9781441954206
• 07 décembre 2010
• 276 pages

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives...

• Mathias Soeken
• Rolf Drechsler

• en
• Broché
• 9783319378824
• 23 août 2016
• 138 pages

This book introduces a new level of abstraction that closes the gap between the textual specification...

Disponible en plusieurs variantes :

livre numérique

88,99

Couverture rigide

109,00

• Mehran Goli
• Rolf Drechsler

• de
• livre numérique
• 9783031369971
• 19 septembre 2023
• EPUB3

Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden für virtuelle Prototypen, einschließlich...

Disponible en plusieurs variantes :

Couverture rigide

119,00

• Rolf Drechsler
• Nabila Abdessaied

• en
• livre numérique
• 9783319319377
• 06 juin 2016
• Adobe ePub

This book presents a new optimization flow for quantum circuits realization. At the reversible level,...

• Mitchell Aaron Thornton
• Rolf Drechsler

• en
• Couverture rigide
• 9780792374336
• 31 juillet 2001
• 268 pages

Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community....

Disponible en plusieurs variantes :

Broché

145,00

• Springer

• en
• Broché
• 9783540253969
• 23 mars 2005
• 631 pages

In contrast to other large conferences in the EC ?eld, the EvoWorkshops focus solely on application aspects...

• Mehran Goli
• Rolf Drechsler

• en
• Broché
• 9783030442842
• 05 mai 2021
• 166 pages

This book describes a set of SystemC‐based virtual prototype analysis methodologies, including design...

Disponible en plusieurs variantes :

Couverture rigide

90,99

livre numérique

78,99