Search Results for Smolka, Scott A.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSmolka$00252C$002bScott$002bA.$0026ps$003d300?dt=list2026-06-13T06:57:00ZFrom 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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-13T06:57:00Z2026-06-13T06:57:00ZAuthor 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/>