Limit Search Results
Author
SpringerLink (Online service)
(178)
Göbel, Holger. author.
(6)
Vassiliadis, Stamatis. editor.
(5)
Cagnoni, Stefano. editor.
(4)
Diniz, Pedro C. editor.
(4)
Language
Publication Date
-
2007
(23)
2018
(20)
2005
(19)
2006
(19)
2019
(19)
Subject
Computer science.
(88)
Engineering.
(62)
Software engineering.
(48)
Systems engineering.
(46)
Computer network architectures.
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
179 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings
Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings
Author 
Joux, Antoine. editor. Nitaj, Abderrahmane. editor. Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89339-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Author 
Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91470-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Author 
Goehringer, Diana. editor. Santambrogio, Marco Domenico. editor. Cardoso, João M.P. editor. Bertels, Koen. editor. (orcid)0000-0001-9310-4885 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05960-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
Author 
Mladenov, Valeri M. editor. Ivanov, Plamen Ch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08672-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
Author 
Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43722-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Memristor Networks
Memristor Networks
Author 
Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Trustworthy Reconfigurable Systems Enhancing the Security Capabilities of Reconfigurable Hardware Architectures
Trustworthy Reconfigurable Systems Enhancing the Security Capabilities of Reconfigurable Hardware Architectures
Author 
Feller, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-07005-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
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:
48. 
Cover image for Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing
Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing
Author 
Das, Vinu V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331338.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3363-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action