Limit Search Results
Author
SpringerLink (Online service)
(32)
Angelov, Plamen. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Iliadis, Lazaros. editor. (orcid)
(2)
Language
Publication Date
-
2023
(22)
2015
(10)
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
00000000DEFAULT
Print
25. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15892-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers
Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers
Author 
Böck, Ronald. editor. Bonin, Francesca. editor. Campbell, Nick. editor. Poppe, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15557-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
Author 
Mandal, Durbadal. editor. Kar, Rajib. editor. Das, Swagatam. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2268-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Topics in Modal Analysis, Volume 10 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Topics in Modal Analysis, Volume 10 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Author 
Mains, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15251-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015
Author 
Atamturktur, H. Sezer. editor. Moaveni, Babak. editor. Papadimitriou, Costas. editor. Schoenherr, Tyler. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15224-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Calcined Clays for Sustainable Concrete Proceedings of the 1st International Conference on Calcined Clays for Sustainable Concrete
Calcined Clays for Sustainable Concrete Proceedings of the 1st International Conference on Calcined Clays for Sustainable Concrete
Author 
Scrivener, Karen. editor. Favier, Aurélie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9939-3
Format: 
Availability 
Online Library~1
Available:
Copies: