Search Results for Tillmann, Nikolai. - Narrowed by: SpringerLink (Online service)SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTillmann$00252C$002bNikolai.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?2024-09-13T10:45:48ZTests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242024-09-13T10:45:48Z2024-09-13T10:45:48ZAuthor Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>TouchDevelop: Programming on the Goent://SD_ILS/0/SD_ILS:3307572024-09-13T10:45:48Z2024-09-13T10:45:48ZAuthor Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330757.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-6137-7">http://dx.doi.org/10.1007/978-1-4302-6137-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1933542024-09-13T10:45:48Z2024-09-13T10:45:48ZAuthor Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16612-9">http://dx.doi.org/10.1007/978-3-642-16612-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>