Limit Search Results
Author
SpringerLink (Online service)
(15)
Dassisti, Michele. editor. (orcid)0000-0001-6984-9203
(2)
Madani, Kurosh. editor.
(2)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(2)
Aiken, Alex. author.
(1)
Language
Publication Date
-
Subject
Software engineering.
(8)
Hardware Performance and Reliability.
(5)
Computer Communication Networks.
(4)
Computer networks .
(4)
Application software.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
Print
13. 
Cover image for Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Author 
Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68034-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Instruction Level Parallelism
Instruction Level Parallelism
Author 
Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4899-7797-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Intel Galileo and Intel Galileo Gen 2 API Features and Arduino Projects for Linux Programmers
Intel Galileo and Intel Galileo Gen 2 API Features and Arduino Projects for Linux Programmers
Author 
Ramon, Manoel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6838-3
Format: 
Availability 
Online Library~1
Available:
Copies: