29 results
Skip to content
Toggle navigation
VuFind
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
0
items
(Full)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
Author
Drechsler, Rolf,
Showing
1
-
20
of
29
for search:
'Drechsler, Rolf,'
, query time: 0.17s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
1
High quality test pattern generation and boolean satisfiability
by
Eggersglüss, Stephan.
Published: Springer, 2012
Description: 1 online resource (xviii, 193 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
2
Reversible and quantum circuits : optimization and complexity analysis
by
Abdessaied, Nabila,
Published: Springer, 2016
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
3
Formal specification level : concepts, methods, and algorithms
by
Soeken, Mathias,
Published: Springer, 2015
Description: 1 online resource : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
4
Towards a design flow for reversible logic
by
Wille, Robert.
Published: Springer, 2010
Description: 1 online resource (xiii, 184 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
5
Design for testability, debug and reliability : next generation measures using formal techniques
by
Huhn, Sebastian, 1974-
Published: Springer, 2021
Description: 1 online resource (177 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
6
Formal system verification : state-of the-art and future trends
Published: Springer, 2018
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
7
In-memory computing : synthesis and optimization
by
Shirinzadeh, Saeideh,
Published: Springer Nature, 2020
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
8
Robustness and usability in modern design flows
by
Fey, Görschwin.
Published: Springer, 2008
Description: 1 online resource (xiii, 166 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
9
Quality-driven SystemC design
by
Grosse, Daniel.
Published: Springer, 2010
Description: 1 online resource (xix, 170 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
10
Test pattern generation using boolean proof engines
Published: Springer, 2009
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
11
Debugging at the electronic system level
by
Rogin, Frank.
Published: Springer, 2010
Description: 1 online resource (xix, 199 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
12
Automated analysis of virtual prototypes at the electronic system level : design understanding and applications
by
Goli, Mehran,
Published: Springer, 2020
Description: 1 online resource (xxi, 166 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
13
Automatic methods for the refinement of system models : from the specification to the implementation
by
Seiter, Julia,
Published: Springer, 2016
Description: 1 online resource (viii, 94 pages) : illustrations (some color).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
14
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015
Published: Springer, 2016
Description: 1 online resource (viii, 193 pages) : illustrations (some color).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
15
Automated validation & verification of UML/OCL models using satisfiability solvers
by
Przigoda, Nils,
Published: Springer, 2018
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
16
Advanced logic synthesis
Published: Springer, 2018
Description: 1 online resource (236 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
17
Design automation techniques for approximation circuits : verification, synthesis and test
by
Chandrasekharan, Arun,
Published: Springer, 2019
Description: 1 online resource (140 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
18
Information Storage : a Multidisciplinary Perspective
Published: Springer, 2020
Description: 1 online resource (XV, 238 pages) : illustrations (some color)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
19
Exact design of digital microfluidic biochips
by
Keszocze, Oliver,
Published: Springer, 2019
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
20
Advanced BDD optimization
by
Ebendt, Rüdiger.
Published: Springer, 2005
Description: 1 online resource (x, 222 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
Select Page | with selected:
1
2
Next »
[2]
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
Algebra, Boolean
Computer software Verification
Computer programs Verification
Embedded computer systems
Integrated circuits Testing
Integrated circuits Verification
System design
Computer hardware description languages
Debugging in computer science
Electronics
Formal methods (Computer science)
Information theory
Integrated circuits Design and construction
Natural language processing (Computer science)
Prototypes, Engineering
Systems engineering
Algebra Data processing
Approximation algorithms
Biochips
C (Computer program language)
Computer architecture
Computer logic
Computer programs Validation
Computer simulation
Computer software Validation
Computer storage devices
Computer systems Verification
Computer-aided design
Computer-aided engineering
Decision making Mathematical models
×
Loading...