Search Results for -- UYGARLIK, ORTA&Ccedil;A&#286;, EDEB&#304;YATTA. - Narrowed by: E-Book - English - Electronic Library - Computer logic. - Computer simulation. - Programming languages (Electronic computers). - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bUYGARLIK$00252C$002bORTA$0025C3$002587A$0025C4$00259E$00252C$002bEDEB$0025C4$0025B0YATTA.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-08-28T18:02:17Z Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2024-08-28T18:02:17Z 2024-08-28T18:02:17Z Author&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485624 2024-08-28T18:02:17Z 2024-08-28T18:02:17Z Author&#160;Seidl, Martina. editor.&#160;Tillmann, Nikolai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-08-28T18:02:17Z 2024-08-28T18:02:17Z Author&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>