Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
20 Results Found Subscribe to search results
00000000DEFAULT
Print
13. 
Cover image for Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Author 
Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Author 
Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4826-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Author 
Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11589976
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for 3D Integration for NoC-based SoC Architectures
3D Integration for NoC-based SoC Architectures
Author 
Sheibanyrad, Abbas. editor. Pétrot, Frédéric. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7618-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Design for Manufacturability and Yield for Nano-Scale CMOS
Design for Manufacturability and Yield for Nano-Scale CMOS
Author 
Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for ITNG 2023 20th International Conference on Information Technology-New Generations
ITNG 2023 20th International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Systems engineering of software-enabled systems
Systems engineering of software-enabled systems
Author 
Fairley, R. E. (Richard E.), 1937- author.
Preferred Shelf Number 
QA76.758
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets