Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
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:
2. 
Cover image for Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Author 
Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79707-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings
Author 
Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.
Preferred Shelf Number 
XX(521121.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Open Learning and Teaching in Educational Communities 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings
Open Learning and Teaching in Educational Communities 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings
Author 
Rensing, Christoph. editor. de Freitas, Sara. editor. Ley, Tobias. editor. Munoz-Merino, Pedro J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11200-8
Format: 
Availability 
Online Library~1
Available:
Copies: