Limit Search Results
Author
SpringerLink (Online service)
(114)
Göbel, Holger. author.
(6)
Das, Vinu V. editor.
(3)
Spear, Chris. author.
(3)
Bertacco, Valeria. author.
(2)
Language
Publication Date
-
Subject
Engineering.
(62)
Software engineering.
(48)
Systems engineering.
(46)
Computer science.
(42)
Electronics.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
114 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Author 
Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
Author 
H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
Author 
Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Author 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
Author 
Biedermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-08047-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Embedded Multimedia Security Systems Algorithms and Architectures
Embedded Multimedia Security Systems Algorithms and Architectures
Author 
Pande, Amit. author. Zambreno, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330984.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4459-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
Author 
Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333514.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32027-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
Author 
Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number 
ONLINE(334328.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Inside Solid State Drives (SSDs)
Inside Solid State Drives (SSDs)
Author 
Micheloni, Rino. author. Marelli, Alessia. author. Eshghi, Kam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335898.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5146-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Nanoelektronik Kleiner — schneller — besser
Nanoelektronik Kleiner — schneller — besser
Author 
Russer, Peter. editor. Lugli, Paolo. editor. Weitze, Marc-Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337193.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35791-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Onboard Computers, Onboard Software and Satellite Operations An Introduction
Onboard Computers, Onboard Software and Satellite Operations An Introduction
Author 
Eickhoff, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25170-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action