Search Results for - Narrowed by: Electronic Resources - Springer E-Book Collection - Algorithm Analysis and Problem Complexity. - Computer science. - Logics and Meanings of Programs. - Mathematical logic. - Programming languages (Electronic computers). - Software engineering. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$002509Algorithm$002bAnalysis$002band$002bProblem$002bComplexity.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-08-11T12:03:52Z Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:17549 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format:&#160;Electronic Resources<br/> Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays ent://SD_ILS/0/SD_ILS:17191 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;Probst, Christian W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27810-0">http://dx.doi.org/10.1007/978-3-319-27810-0</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18689 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;Rival, Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53413-7">http://dx.doi.org/10.1007/978-3-662-53413-7</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23314 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23820-3">http://dx.doi.org/10.1007/978-3-319-23820-3</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24769 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46681-0">http://dx.doi.org/10.1007/978-3-662-46681-0</a><br/>Format:&#160;Electronic Resources<br/> Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21865 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;Ortmeier, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12214-4">http://dx.doi.org/10.1007/978-3-319-12214-4</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21646 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;Bonakdarpour, Borzoo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11164-3">http://dx.doi.org/10.1007/978-3-319-11164-3</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24055 2024-08-11T12:03:52Z 2024-08-11T12:03:52Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>