Search Results for Science and state. - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002band$002bstate.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?dt=list2026-03-20T23:41:49ZComputing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015ent://SD_ILS/0/SD_ILS:6141562026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2717-8">https://doi.org/10.1007/978-981-10-2717-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Representing Scientific Knowledge The Role of Uncertaintyent://SD_ILS/0/SD_ILS:6117572026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62543-0">https://doi.org/10.1007/978-3-319-62543-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Supportent://SD_ILS/0/SD_ILS:6178512026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Kolesnikov, Andrey. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-19102-3">https://doi.org/10.1007/978-3-658-19102-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontier Computing Theory, Technologies and Applicationsent://SD_ILS/0/SD_ILS:6149312026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015ent://SD_ILS/0/SD_ILS:6136102026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-03-20T23:41:49Z2026-03-20T23:41:49ZAuthor Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>