Search Results for -- ANSİKLOPEDİLER. - Narrowed by: Ait Ameur, Yamine. editor. - E-Book - 2014SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dAUTHOR$002509Author$002509Ait$002bAmeur$00252C$002bYamine.$002beditor.$002509Ait$002bAmeur$00252C$002bYamine.$002beditor.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-11T06:06:25ZModel and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857152024-09-11T06:06:25Z2024-09-11T06:06:25ZAuthor Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11587-0">https://doi.org/10.1007/978-3-319-11587-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889662024-09-11T06:06:25Z2024-09-11T06:06:25ZAuthor Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4878882024-09-11T06:06:25Z2024-09-11T06:06:25ZAuthor Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>