Limit Search Results
Author
SpringerLink (Online service)
(73)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(5)
Reed, Rick. editor.
(4)
Fu, Haohuan. editor.
(3)
Hartman, Alan. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(54)
Logic design.
(47)
Software engineering.
(42)
Artificial intelligence.
(17)
Operating systems (Computers).
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
78 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04265-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings
SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings
Author 
Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date
Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date
Author 
Lauwereins, Rudy. editor. Madsen, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6488-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Distributed Embedded Control Systems Improving Dependability with Coherent Design
Distributed Embedded Control Systems Improving Dependability with Coherent Design
Author 
Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-052-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Author 
Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Resource Management in Satellite Networks Optimization and Cross-Layer Design
Resource Management in Satellite Networks Optimization and Cross-Layer Design
Author 
Giambene, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-53991-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Processor Design System-on-Chip Computing for ASICs and FPGAs
Processor Design System-on-Chip Computing for ASICs and FPGAs
Author 
Nurmi, Jari. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Co-design for System Acceleration A Quantitative Approach
Co-design for System Acceleration A Quantitative Approach
Author 
Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
Author 
Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for High Availability and Disaster Recovery Concepts, Design, Implementation
High Availability and Disaster Recovery Concepts, Design, Implementation
Author 
Schmidt, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal
Author 
Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Machado, Ricardo J. editor. Pereira, Carlos E. editor. Thiagarajan, P. S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-39362-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action