Search Results for - Narrowed by: SpringerLink (Online service) - Electronic Book - Computer logic. - Data Structures. - Logics and Meanings of Programs. - Software engineering. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Data$002bStructures.$002509Data$002bStructures.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue? 2024-08-16T01:41:19Z Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428489 2024-08-16T01:41:19Z 2024-08-16T01:41:19Z Yazar&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457<br/><a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18102 2024-08-16T01:41:19Z 2024-08-16T01:41:19Z Yazar&#160;Echahed, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40530-8">http://dx.doi.org/10.1007/978-3-319-40530-8</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23111 2024-08-16T01:41:19Z 2024-08-16T01:41:19Z Yazar&#160;Parisi-Presicce, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21145-9">http://dx.doi.org/10.1007/978-3-319-21145-9</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21287 2024-08-16T01:41:19Z 2024-08-16T01:41:19Z Yazar&#160;Giese, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09108-2">http://dx.doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/>