Central Library Search for 'au:"Drechsler, Rolf."'

Formal Specification Level

By Soeken, Mathias.. . VIII, 138 p. 87 illus. 9783319086996

Place Hold on Formal Specification Level

Languages, Design Methods, and Tools for Electronic System Design

. VIII, 193 p. 109 illus., 90 illus. in color. 9783319317236

Place Hold on Languages, Design Methods, and Tools for Electronic System Design

Formal Modeling and Verification of Cyber-Physical Systems

. X, 313 p. 106 illus., 5 illus. in color. 9783658099947

Place Hold on Formal Modeling and Verification of Cyber-Physical Systems

Reversible and Quantum Circuits

By Abdessaied, Nabila.. . XXII, 186 p. 105 illus., 3 illus. in color. 9783319319377

Place Hold on Reversible and Quantum Circuits

Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems

By Drechsler, Rolf . | Soeken, Mathias. Switzerland Springer 2020 . p.265 9783030203252

Place Hold on Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems

Advanced Boolean Techniques

. VIII, 265 p. 53 illus., 34 illus. in color. 9783030203238

Place Hold on Advanced Boolean Techniques

Automated Analysis of Virtual Prototypes at the Electronic System Level

By Goli, Mehran.. . XXI, 166 p. 53 illus. 9783030442828

Place Hold on Automated Analysis of Virtual Prototypes at the Electronic System Level

Exact Design of Digital Microfluidic Biochips

By Keszocze, Oliver.. . IX, 134 p. 66 illus., 45 illus. in color. 9783319909363

Place Hold on Exact Design of Digital Microfluidic Biochips

In-Memory Computing

By Shirinzadeh, Saeideh.. . XI, 115 p. 29 illus., 12 illus. in color. 9783030180263

Place Hold on In-Memory Computing

Languages, Design Methods, and Tools for Electronic System Design

. VIII, 193 p. 109 illus., 90 illus. in color. 9783319317236

Place Hold on Languages, Design Methods, and Tools for Electronic System Design

Design Automation Techniques for Approximation Circuits

By Chandrasekharan, Arun.. . XIX, 130 p. 24 illus., 19 illus. in color. 9783319989655

Place Hold on Design Automation Techniques for Approximation Circuits

Enhanced Virtual Prototyping

By Herdt, Vladimir.. . XXI, 247 p. 90 illus., 75 illus. in color. 9783030548285

Place Hold on Enhanced Virtual Prototyping

Design for Testability, Debug and Reliability

By Huhn, Sebastian.. . XXI, 164 p. 47 illus., 25 illus. in color. 9783030692094

Place Hold on Design for Testability, Debug and Reliability

Recent Findings in Boolean Techniques

. VII, 197 p. 68 illus., 36 illus. in color. 9783030680718

Place Hold on Recent Findings in Boolean Techniques

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

By Przigoda, Nils.. . XII, 255 p. 16 illus., 5 illus. in color. 9783319728148

Place Hold on Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Formal System Verification

. XVI, 182 p. 71 illus., 49 illus. in color. 9783319576855

Place Hold on Formal System Verification

Advanced Logic Synthesis

. X, 232 p. 118 illus., 48 illus. in color. 9783319672953

Place Hold on Advanced Logic Synthesis

Reversible and Quantum Circuits

By Abdessaied, Nabila.. . XXII, 186 p. 105 illus., 3 illus. in color. 9783319319377

Place Hold on Reversible and Quantum Circuits

Automatic Methods for the Refinement of System Models

By Seiter, Julia.. . VIII, 94 p. 30 illus., 5 illus. in color. 9783319414805

Place Hold on Automatic Methods for the Refinement of System Models

Applications of Evolutionary Computing

. XXIV, 816 p. 9783540332381

Place Hold on Applications of Evolutionary Computing

Applications of Evolutionary Computing

. XX, 631 p. 9783540320036

Place Hold on Applications of Evolutionary Computing

Applications of Evolutionary Computing

. XXV, 704 p. 9783540787617

Place Hold on Applications of Evolutionary Computing

Applications of Evolutionary Computing

. XXIII, 755 p. 9783540718055

Place Hold on Applications of Evolutionary Computing

Applications of Evolutionary Computation

. XXV, 542 p. 174 illus. 9783642291784

Place Hold on Applications of Evolutionary Computation