Limit Search Results
Author
Diniz, Pedro C. editor.
(2)
Abie, Habtamu. editor.
(1)
Agarwal, Sonali. editor.
(1)
Albanese, Massimiliano. editor.
(1)
Angelov, Plamen. editor.
(1)
Language
Publication Date
-
2023
(14)
2015
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
20 Results Found Subscribe to search results
00000000DEFAULT
Print
13. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520854.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings
Author 
Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521144.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42921-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Author 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518763.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Trust Management IX 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Trust Management IX 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Author 
Damsgaard Jensen, Christian. editor. Marsh, Stephen. editor. Dimitrakos, Theo. editor. Murayama, Yuko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518679.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18491-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings
Author 
Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.
Preferred Shelf Number 
XX(518837.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25255-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Serious Games First Joint International Conference, JCSG 2015, Huddersfield, UK, June 3-4, 2015, Proceedings
Serious Games First Joint International Conference, JCSG 2015, Huddersfield, UK, June 3-4, 2015, Proceedings
Author 
Göbel, Stefan. editor. Ma, Minhua. editor. Baalsrud Hauge, Jannicke. editor. Oliveira, Manuel Fradinho. editor. Wiemeyer, Josef. editor.
Preferred Shelf Number 
XX(518999.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19126-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Author 
Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519004.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Author 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519019.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets