Search Results for Software. - Narrowed by: English - Online Library - Artificial intelligence. - Computer simulation. - Information theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026te$003dILS$0026ps$003d300?
2024-09-09T07:56:29Z
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-09-09T07:56:29Z
2024-09-09T07:56:29Z
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/>
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-09-09T07:56:29Z
2024-09-09T07:56:29Z
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/>
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-09-09T07:56:29Z
2024-09-09T07:56:29Z
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/>
Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197627
2024-09-09T07:56:29Z
2024-09-09T07:56:29Z
Author Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35659-9">http://dx.doi.org/10.1007/978-3-642-35659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2024-09-09T07:56:29Z
2024-09-09T07:56:29Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>