Arama Sonuçları Smolka, Scott A.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSmolka$00252C$002bScott$002bA.$0026ic$003dtrue$0026ps$003d300?2026-05-10T18:14:03ZFrom 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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-05-10T18:14:03Z2026-05-10T18:14:03ZYazar 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/>