Limit Search Results
Author
SpringerLink (Online service)
(30)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Taylor and Francis.
(2)
Zdun, Uwe. editor. (orcid)0000-0002-6233-2591
(2)
Language
Publication Date
-
Subject
Software engineering.
(13)
Compilers (Computer programs).
(9)
Compilers and Interpreters.
(9)
Application software.
(6)
Electronic books.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
51 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
Author 
Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61252-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Shared memory application programming : concepts and strategies in multicore application programming
Shared memory application programming : concepts and strategies in multicore application programming
Author 
Alessandrini, Victor, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128037614
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied univariate, bivariate, and multivariate statistics
Applied univariate, bivariate, and multivariate statistics
Author 
Denis, Daniel J., 1974-
Preferred Shelf Number 
QA279
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for FPGAs for Software Programmers
FPGAs for Software Programmers
Author 
Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26408-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Android Application Security A Semantics and Context-Aware Approach
Android Application Security A Semantics and Context-Aware Approach
Author 
Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47812-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Handbook of Genetic Programming Applications
Handbook of Genetic Programming Applications
Author 
Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20883-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
Author 
Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19662-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers
Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers
Author 
Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. Katz, Marcos. editor. Wang, Chonggang. editor. Nascimento, Alberto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18802-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Pattern Analysis, Intelligent Security and the Internet of Things
Pattern Analysis, Intelligent Security and the Internet of Things
Author 
Abraham, Ajith. editor. Muda, Azah Kamilah. editor. Choo, Yun-Huoy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17398-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action