10 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
Grosse, Daniel.
Showing
1
-
10
of
10
for search:
'Grosse, Daniel.'
, query time: 0.07s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
1
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:
2
Species profiles : life histories and environmental requirements of coastal fishes and invertebrates (Pacific Southwest) : amphipods
by
Grosse
,
Daniel
Joseph.
Published: The Group ; The Service, 1989
Description: vii, 17 pages, 1 unnumbered page : illustrations, 1 map ; 28 cm.
Located:
Loading...
Call Number:
Loading...
Book
Loading...
Place Hold
Save to List
Saved in:
3
Species profiles : life histories and environmental requirements of coastal fishes and invertebrates (Pacific Northwest) : amphipods
by
Grosse
,
Daniel
Joseph.
Published: The Service ; The Group, 1986
Description: vi, 15 pages : illustrations, 1 map ; 28 cm.
Located:
Loading...
Call Number:
Loading...
Microfilm
Loading...
Place Hold
Save to List
Saved in:
4
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:
5
Enhanced virtual prototyping : featuring RISC-V case studies
by
Herdt, Vladimir,
Published: Springer, 2021
Description: 1 online resource (257 pages)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
6
Enhanced virtual prototyping for heterogeneous systems
by
Hassan, Muhammad,
Published: Springer, 2023
Description: 1 online resource (xx, 166 pages) : illustrations (chiefly color)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
7
Formal verification of structurally complex multipliers
by
Mahzoon, Alireza,
Published: Springer, 2023
Description: 1 online resource (xiii, 130 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
8
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2017
Published: Springer, 2019
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
9
Recent findings in Boolean techniques : selected papers from the 14th International Workshop on Boolean Problems
Published: Springer, 2021
Description: 1 online resource (vii, 197 pages) : illustrations (some color)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
10
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018
Published: Springer, 2020
Description: 1 online resource (197 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
Select Page | with selected:
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
Amphipoda
Coastal ecology
System design
Algebra Data processing
Algebra, Boolean
Approximation algorithms
C (Computer program language)
Computer hardware description languages
Computer software Verification
Computer-aided design
Electronic circuit design Data processing
Formal methods (Computer science)
Multipliers (Mathematical analysis)
Numerical calculations Verification Data processing
Prototypes, Engineering
Software architecture
Software engineering
Software prototyping
Systems engineering
Systems on a chip
×
Loading...