Search Results for Smolka, Scott A. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSmolka$00252C$002bScott$002bA.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?2025-01-10T20:33:05ZTools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782025-01-10T20:33:05Z2025-01-10T20:33:05ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Operating System Design and Implementation The OSP 2 Approachent://SD_ILS/0/SD_ILS:1755922025-01-10T20:33:05Z2025-01-10T20:33:05ZAuthor Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-843-6">http://dx.doi.org/10.1007/1-84628-843-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Computation The New Paradigment://SD_ILS/0/SD_ILS:1841812025-01-10T20:33:05Z2025-01-10T20:33:05ZAuthor Goldin, Dina. editor. Smolka, Scott A. editor. Wegner, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34874-3">http://dx.doi.org/10.1007/3-540-34874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>