Search Results for Software. - Narrowed by: SpringerLink (Online service) - English - 2018 - Computer simulation. - Information theory. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-23T09:23:00Z
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2024-08-23T09:23:00Z
2024-08-23T09:23:00Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2024-08-23T09:23:00Z
2024-08-23T09:23:00Z
Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2024-08-23T09:23:00Z
2024-08-23T09:23:00Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400333
2024-08-23T09:23:00Z
2024-08-23T09:23:00Z
Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>