Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519078.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519313.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Introduction to Evolutionary Computing
Introduction to Evolutionary Computing
Author 
Eiben, A.E. author. Smith, J.E. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518638.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-44874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518625.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518783.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15892-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Breast Cancer, Fertility Preservation and Reproduction
Breast Cancer, Fertility Preservation and Reproduction
Author 
Biglia, Nicoletta. editor. Peccatori, Fedro Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519693.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17278-1
Format: 
Availability 
Online Library~1
Available:
Copies: