Limit Search Results
Author
Huanye, Sheng. editor.
(2)
Marwedel, Peter. author.
(2)
Resch, Michael. editor.
(2)
Shokin, Yurii. editor.
(2)
Shokina, Nina. editor.
(2)
Language
Subject
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for M-Health Emerging Mobile Health Systems
M-Health Emerging Mobile Health Systems
Author 
Istepanian, Robert S. H. editor. Laxminarayan, Swamy. editor. Pattichis, Constantinos S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137697
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005
Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005
Author 
Hommel, G. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4043-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Information Technologies for Electromagnetics
Advances in Information Technologies for Electromagnetics
Author 
Tarricone, Luciano. Esposito, Alessandra. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4749-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for FPGA Implementations of Neural Networks
FPGA Implementations of Neural Networks
Author 
Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Probability Distributions Involving Gaussian Random Variables A Handbook for Engineers and Scientists
Probability Distributions Involving Gaussian Random Variables A Handbook for Engineers and Scientists
Author 
Simon, Marvin K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Astrophysical disks Collective and Stochastic Phenomena
Astrophysical disks Collective and Stochastic Phenomena
Author 
Fridman, Alexei M. editor. Marov, Mikhail. editor. Kovalenko, Ilya G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4348-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Critical Infrastructures at Risk Securing the European Electric Power System
Critical Infrastructures at Risk Securing the European Electric Power System
Author 
Gheorghe, A.V. editor. Masera, M. editor. Weijnen, M. editor. Vries, De L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4364-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Finite Element Method and Applications in Engineering Using Ansys®
The Finite Element Method and Applications in Engineering Using Ansys®
Author 
Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-28290-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action