Limit Search Results
Author
SpringerLink (Online service)
(114)
Finkbeiner, Bernd. editor.
(3)
Kovács, Laura. editor.
(3)
Merayo, Mercedes G. editor.
(3)
Biere, Armin. editor.
(2)
Language
English
(115)
Publication Date
-
Subject
Software engineering.
(84)
Computer Science Logic and Foundations of Programming.
(34)
Artificial intelligence.
(30)
Compilers (Computer programs).
(29)
Compilers and Interpreters.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
115 Results Found Subscribe to search results
0000000DEFAULT
Print
109. 
Cover image for Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Author 
Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39083-3
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
Author 
Aarno, Daniel. Engblom, Jakob.
Preferred Shelf Number 
ONLINE(355554.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Open Learning Cultures A Guide to Quality, Evaluation, and Assessment for Future Learning
Open Learning Cultures A Guide to Quality, Evaluation, and Assessment for Future Learning
Author 
Ehlers, Ulf-Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334550.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38174-4
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Performance Metrics for Haptic Interfaces
Performance Metrics for Haptic Interfaces
Author 
Samur, Evren. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4225-6
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for MATLAB for Psychologists
MATLAB for Psychologists
Author 
Borgo, Mauro. author. Soranzo, Alessandro. author. Grassi, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2197-9
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for R for SAS and SPSS Users
R for SAS and SPSS Users
Author 
Muenchen, Robert A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0685-3
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for R for SAS and SPSS Users
R for SAS and SPSS Users
Author 
Muenchen, Robert A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09418-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action