Search Results for Smolka, Scott A.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSmolka$00252C$002bScott$002bA.$0026te$003dILS$0026ps$003d300?dt=list2026-06-05T14:19:48ZFrom Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4856992026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools 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:3342782026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor 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:1755922026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor 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/>Handbook of process algebraent://SD_ILS/0/SD_ILS:2537522026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor Bergstra, J. A. Ponse, A. (Alban), 1955- Smolka, Scott A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444828309">http://www.sciencedirect.com/science/book/9780444828309</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Computation The New Paradigment://SD_ILS/0/SD_ILS:1841812026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor 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/>Microgrids : theory and practiceent://SD_ILS/0/SD_ILS:5990142026-06-05T14:19:48Z2026-06-05T14:19:48ZAuthor Zhang, Peng, Dr., editor.<br/>Preferred Shelf Number TK3105 .M557 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119890881">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119890881</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>