Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
Author 
Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54490-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Honeypot Frameworks and Their Applications: A New Framework
Honeypot Frameworks and Their Applications: A New Framework
Author 
NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7739-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Nature Inspired Computing Proceedings of CSI 2015
Nature Inspired Computing Proceedings of CSI 2015
Author 
Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6747-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Author 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automatic Tuning of Compilers Using Machine Learning
Automatic Tuning of Compilers Using Machine Learning
Author 
Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71489-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
Author 
Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applied Scientific Computing With Python
Applied Scientific Computing With Python
Author 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
Author 
Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94779-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Author 
de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Probability and Statistics for Computer Science
Probability and Statistics for Computer Science
Author 
Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Availability 
Online Library~1
Available:
Copies: