Limit Search Results
Author
SpringerLink (Online service)
(98)
Chen, Jianer. editor.
(2)
Governatori, Guido. editor.
(2)
Hofmeister, Christine. editor.
(2)
Palsberg, Jens. editor.
(2)
Language
English
(101)
Subject
Logic design.
(99)
Computer science.
(93)
Software engineering.
(55)
Computer software.
(27)
Artificial intelligence.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
103 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers II
Transactions on High-Performance Embedded Architectures and Compilers II
Author 
Stenström, Per. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Human Machine Interaction Research Results of the MMI Program
Human Machine Interaction Research Results of the MMI Program
Author 
Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00437-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for FPGAs
FPGAs
Author 
Maxfield, Clive, 1957-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=279642
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for More than Moore Creating High Value Micro/Nanoelectronics Systems
More than Moore Creating High Value Micro/Nanoelectronics Systems
Author 
Zhang, Guo Qi. editor. Roosmalen, Alfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75593-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computable Models
Computable Models
Author 
Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-052-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings
High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings
Author 
Seznec, André. editor. Emer, Joel. editor. O’Boyle, Michael. editor. Martonosi, Margaret. editor. Ungerer, Theo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92990-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Author 
Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93799-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Author 
Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93920-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Author 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
Author 
Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00431-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Author 
Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00945-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action