Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Emerging Electronic Devices, Circuits and Systems Select Proceedings of EEDCS Workshop Held in Conjunction with ISDCS 2022
Emerging Electronic Devices, Circuits and Systems Select Proceedings of EEDCS Workshop Held in Conjunction with ISDCS 2022
Author 
Giri, Chandan. editor. Iizuka, Takahiro. editor. Rahaman, Hafizur. editor. Bhattacharya, Bhargab B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0055-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Design of CMOS Analog Integrated Fractional-Order Circuits Applications in Medicine and Biology
Design of CMOS Analog Integrated Fractional-Order Circuits Applications in Medicine and Biology
Author 
Tsirimokou, Georgia. author. Psychalinos, Costas. author. Elwakil, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55633-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015
Author 
Drechsler, Rolf. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31723-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Design of Reconfigurable Logic Controllers
Design of Reconfigurable Logic Controllers
Author 
Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26725-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Author 
Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24457-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Weather Hazard Warning Application in Car-to-X Communication Concepts, Implementations, and Evaluations
Weather Hazard Warning Application in Car-to-X Communication Concepts, Implementations, and Evaluations
Author 
Jaeger, Attila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-15316-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Applied formal verification
Applied formal verification
Author 
Perry, Douglas L. Foster, Harry, 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital system verification a combined formal methods and simulation framework
Digital system verification a combined formal methods and simulation framework
Author 
Li, Lun, 1970- Thornton, Mitchell Aaron.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Practical Design Verification
Practical Design Verification
Author 
Pradhan, Dhiraj K.. Harris, Ian G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Verification techniques for system-level design
Verification techniques for system-level design
Author 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Author 
Yoeli, Michael, 1917- Kol, Rakefet.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for EDA for IC system design, verification, and testing
EDA for IC system design, verification, and testing
Author 
Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Louis Kossuth.
Preferred Shelf Number 
TK7874 .E26 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: