Search
Author Profiles
Browse Author Profiles
Submit
Library Home
Contact Us
login
login
Home
> Search Results: ( (author:"Drechsler, Rolf."))
Search 842,261 records for:
Reset
Search
Search Tips
::
Simple Search
::
Browse Resources (beta)
Options
Sort by
relevance
latest first
title
author
year
ascending
descending
Display
10 results
25 results
50 results
100 results
Collections
Select collection
all collections
All DA
All Resources
Articles & Manuscripts
Authorities
Books
Books and Periodicals
Capstones & Projects
CDs
Celebration of Teaching and Le...
Cheryl Herrmann Collection
Communal Studies Collection
Communal Studies Finding Aids
Course Reserves
Datasets
Dissertations
Doctor of Nursing Practice (DN...
DVDs
Ebooks
Electronic Journals
Endeavor Symposium
Evansville African American Co...
Faculty Scholarship
Flood of 1937 Collection
Government E-Resources
Government Resources
Historic New Harmony Slide Col...
Holdings
Honors Student Symposium
Indiana English
Instructor Copies
Journals & Proceedings
Local Newspapers & Newspaper P...
Mater Dei High School Yearbook...
New Popular Reading
No 980
On-Campus Resources
Online Resources
Oral History Collection
Oral History Finding Aids
Order API Import
Other Materials
Posters & Presentations
Print Periodicals
Regional History Finding Aids
Repository
Scholarly Open Access Reposito...
Senior Engineering Projects
Special & Regional History Col...
Special Collections Finding Ai...
Streaming Video
Theses
Theses, Capstones, Projects, &...
TIND DA QA
UASC Finding Aids Collection
Undergraduate Psychology Resea...
University Archives & Special ...
University Archives Collection
University Archives Finding Ai...
University of Southern Indiana
University Publications
USI Conferences & Events
USI Scholarly and Creative Wor...
USI Graduate Student Colloquiu...
Format
Select output format
BibTeX
Dublin Core
EndNote
EndNote (8-X)
HTML brief
MARCXML
MODS
NLM
RefWorks
TextMarc (embedded)
TextMarc (plain)
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (21)
Book (1)
Location
Online (21)
General Collection (1)
Date
2023 (3)
2022 (1)
2021 (3)
2020 (3)
2019 (2)
2018 (4)
2016 (3)
2015 (2)
2003 (1)
Show more
Fulltext Search
Off
Fulltext search toggle
On
Publication Type
Ebook (21)
Book (1)
Location
Online (21)
General Collection (1)
Date
2023 (3)
2022 (1)
2021 (3)
2020 (3)
2019 (2)
2018 (4)
2016 (3)
2015 (2)
2003 (1)
Show more
University of Southern Indiana
22
records found
1 - 10
Search took 0.14 seconds.
1.
Advanced Boolean techniques : selected papers from the 15th International Workshop on Boolean Problems / Rolf Drechsler, Sebastian Huhn, editors.
International Workshop on Boolean Problems (15th : 2022 : Bremen, Germany)
;
Drechs[...]
Cham : Springer, 2023.
QA10.3
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
2.
Advanced Boolean techniques : selected papers from the 13th International Workshop on Boolean Problems / editors, Rolf Drechsler and Mathias Soek[...]
International Workshop on Boolean Problems (13th : 2018 : Bremen, Germany)
;
Drechs[...]
Cham : Springer, [2020]
©2020
QA10.3 .I58 2018eb
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
3.
Advanced logic synthesis / André Inácio Reis, Rolf Drechsler, editors.
Reis, André Inácio.
;
Drechsler, Rolf.
Cham : Springer, ©2018.
TK7874
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
4.
Automated analysis of virtual prototypes at the electronic system level : design understanding and applications / Mehran Goli, Rolf Drechsler.
Goli, Mehran.
;
Drechsler, Rolf.
Cham : Springer, 2020.
TS171.8
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
5.
Automated validation & verification of UML/OCL models using satisfiability solvers / Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drech[...]
Przigoda, Nils, author.
;
Wille, Robert, author.
;
Przigoda, Judith, author.
;
Drechsler,[...]
Cham : Springer, [2018]
©2018
QA76.9.O35
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
6.
Automatic methods for the refinement of system models : from the specification to the implementation / Julia Seiter, Robert Wille, Rolf Drechsler[...]
Seiter, Julia, author.
;
Wille, Robert, author.
;
Drechsler, Rolf, author.
Switzerland : Springer, [2016]
©2017
QA76.9.S88
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
7.
Design automation for field-coupled nanotechnologies / by Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler.
Walter, Marcel, author
;
Wille, Robert, author
;
Sill Torres, Frank., author
;
Drechsler,[...]
Cham : Springer International Publishing : Imprint : Springer, 2022.
QA76 .W35 2022
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
8.
Design automation techniques for approximation circuits : verification, synthesis and test / Arun Chandrasekharan, Daniel Gro€e, Rolf Drechsler[...]
Chandrasekharan, Arun, author.
;
Gro€e, Daniel, author.
;
Drechsler, Rolf, author.
Cham : Springer, [2019]
View e-resource
|
Available Online
|
Detailed record
-
Similar records
9.
Design for testability, debug and reliability : next generation measures using formal techniques / Sebastian Huhn, Rolf Drechsler.
Huhn, Sebastian.
;
Drechsler, Rolf.
Cham : Springer, 2021.
TK7874
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
10.
Enhanced virtual prototyping : featuring RISC-V case studies / Vladimir Herdt, Daniel Grosse, Rolf Drechsler.
Herdt, Vladimir, author.
;
Grosse, Daniel, author.
;
Drechsler, Rolf, author.
Cham, Switzerland : Springer, [2021]
QA76.76.P77 H47 2021
|
View e-resource
|
Available Online
|
Detailed record
-
Similar records
University of Southern Indiana :
22
records found
1 - 10
Interested in being notified about new results for this query?
Set up a personal
email alert
or subscribe to the
RSS feed
.