Search Results for System Robustness. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystem$002bRobustness.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2026-01-24T16:32:35ZComputer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5190282026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:5190902026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Higher Order Fuzzy Setsent://SD_ILS/0/SD_ILS:5298142026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Sadeghian, Alireza. editor. Tahayori, Hooman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-3442-9">https://doi.org/10.1007/978-1-4614-3442-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Calcined Clays for Sustainable Concrete Proceedings of the 1st International Conference on Calcined Clays for Sustainable Concreteent://SD_ILS/0/SD_ILS:5298552026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Scrivener, Karen. editor. Favier, Aurélie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9939-3">https://doi.org/10.1007/978-94-017-9939-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part IIent://SD_ILS/0/SD_ILS:5187832026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15892-1">https://doi.org/10.1007/978-3-319-15892-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2ent://SD_ILS/0/SD_ILS:5294402026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Handa, Hisashi. editor. Ishibuchi, Hisao. editor. Ong, Yew-Soon. editor. Tan, Kay-Chen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13356-0">https://doi.org/10.1007/978-3-319-13356-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014ent://SD_ILS/0/SD_ILS:5297932026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Mandal, Durbadal. editor. Kar, Rajib. editor. Das, Swagatam. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2268-2">https://doi.org/10.1007/978-81-322-2268-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:5189632026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Böck, Ronald. editor. Bonin, Francesca. editor. Campbell, Nick. editor. Poppe, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15557-9">https://doi.org/10.1007/978-3-319-15557-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Modal Analysis, Volume 10 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015ent://SD_ILS/0/SD_ILS:5304442026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Mains, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15251-6">https://doi.org/10.1007/978-3-319-15251-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015ent://SD_ILS/0/SD_ILS:5304882026-01-24T16:32:35Z2026-01-24T16:32:35ZAuthor Atamturktur, H. Sezer. editor. Moaveni, Babak. editor. Papadimitriou, Costas. editor. Schoenherr, Tyler. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15224-0">https://doi.org/10.1007/978-3-319-15224-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>