Limit Search Results
Author
SpringerLink (Online service)
(22)
Adeli, Hojjat. editor.
(1)
Agapito, Lourdes. editor.
(1)
Aldo, Faisal. editor.
(1)
Alexander, Daniel C. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
13. 
Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Author 
Falaschi, Moreno. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518861.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27436-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
Author 
Harris, Don. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518935.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20373-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519146.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519299.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Sports Injuries and Prevention
Sports Injuries and Prevention
Author 
Kanosue, Kazuyuki. editor. Ogawa, Tetsuya. editor. Fukano, Mako. editor. Fukubayashi, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519549.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-55318-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518840.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
Author 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.
Preferred Shelf Number 
XX(519255.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18914-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Data Integration in the Life Sciences 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings
Data Integration in the Life Sciences 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings
Author 
Ashish, Naveen. editor. Ambite, Jose-Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519100.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Branched Chain Amino Acids in Clinical Nutrition Volume 2
Branched Chain Amino Acids in Clinical Nutrition Volume 2
Author 
Rajendram, Rajkumar. editor. Preedy, Victor R. editor. Patel, Vinood B. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520022.1)
Electronic Access 
https://doi.org/10.1007/978-1-4939-1914-7
Format: 
Availability 
Online Library~1
Available:
Copies: