Arama Sonuçları Smolka, Scott A.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSmolka$00252C$002bScott$002bA.$0026ps$003d300?dt=list2026-06-14T16:16:40ZFrom 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-14T16:16:40Z2026-06-14T16:16:40ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282026-06-14T16:16:40Z2026-06-14T16:16:40ZYazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-14T16:16:40Z2026-06-14T16:16:40ZYazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Operating System Design and Implementation The OSP 2 Approachent://SD_ILS/0/SD_ILS:1755922026-06-14T16:16:40Z2026-06-14T16:16:40ZYazar Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of process algebraent://SD_ILS/0/SD_ILS:2537522026-06-14T16:16:40Z2026-06-14T16:16:40ZYazar Bergstra, J. A. Ponse, A. (Alban), 1955- Smolka, Scott A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444828309">http://www.sciencedirect.com/science/book/9780444828309</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interactive Computation The New Paradigment://SD_ILS/0/SD_ILS:1841812026-06-14T16:16:40Z2026-06-14T16:16:40ZYazar Goldin, Dina. editor. Smolka, Scott A. editor. Wegner, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Microgrids : theory and practiceent://SD_ILS/0/SD_ILS:5990142026-06-14T16:16:40Z2026-06-14T16:16:40ZYazar Zhang, Peng, Dr., editor.<br/>Yer Numarası TK3105 .M557 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119890881">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119890881</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>