Limit Search Results
Author
SpringerLink (Online service)
(63)
Chen, Hsinchun. author.
(3)
Rattz, Joseph C. author.
(3)
Ayala, José L. editor.
(2)
Hooker, John N. author.
(2)
Language
Publication Date
-
Subject
Software engineering.
(17)
Logic design.
(14)
Systems engineering.
(14)
Management information systems.
(12)
Information systems.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
64 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Integrated Methods for Optimization
Integrated Methods for Optimization
Author 
Hooker, John N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1900-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Integrated Methods for Optimization
Integrated Methods for Optimization
Author 
Hooker, John N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-38274-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Secure Integrated Circuits and Systems
Secure Integrated Circuits and Systems
Author 
Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71829-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Integrated Graphic and Computer Modelling
Integrated Graphic and Computer Modelling
Author 
Thomas, Adrian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-179-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Fundamentals of Electromigration-Aware Integrated Circuit Design
Fundamentals of Electromigration-Aware Integrated Circuit Design
Author 
Lienig, Jens. author. Thiele, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73558-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Designing TSVs for 3D Integrated Circuits
Designing TSVs for 3D Integrated Circuits
Author 
Khan, Nauman. author. Hassoun, Soha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331791.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5508-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Author 
Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Integrated Uncertainty in Knowledge Modelling and Decision Making 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings
Integrated Uncertainty in Knowledge Modelling and Decision Making 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings
Author 
Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Inuiguchi, Masahiro. editor. Tran, Dang Hung. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75429-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Author 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Author 
Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33693-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Author 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action