Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor
On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor
Author 
Radwan, Ahmed G. author. Fouda, Mohammed E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17491-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
Author 
Mladenov, Valeri M. editor. Ivanov, Plamen Ch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08672-9
Format: 
Availability 
Online Library~1
Available:
Copies: