Arama Sonuçları Systems theory. - Daraltılmış: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystems$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300?2026-03-06T22:12:01ZTools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problemsent://SD_ILS/0/SD_ILS:5268692026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Jongeneel, Wouter. author. Moulay, Emmanuel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30133-9">https://doi.org/10.1007/978-3-031-30133-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cultural algorithms : tools to model complex dynamic social systemsent://SD_ILS/0/SD_ILS:5959362026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Reynolds, Robert G., author.<br/>Yer Numarası H61.25 .R49 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Randomized Algorithms for Analysis and Control of Uncertain Systems With Applicationsent://SD_ILS/0/SD_ILS:3310242026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331024.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4610-0">http://dx.doi.org/10.1007/978-1-4471-4610-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Numerical Approximation of Exact Controls for Wavesent://SD_ILS/0/SD_ILS:3318692026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Ervedoza, Sylvain. author. Zuazua, Enrique. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331869.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-5808-1">http://dx.doi.org/10.1007/978-1-4614-5808-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Game Theory for Control of Optical Networksent://SD_ILS/0/SD_ILS:1683822026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Pavel, Lacra. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8322-1">http://dx.doi.org/10.1007/978-0-8176-8322-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The BOXES Methodology Black Box Dynamic Controlent://SD_ILS/0/SD_ILS:1762762026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Russell, David W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84996-528-6">http://dx.doi.org/10.1007/978-1-84996-528-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics-Oriented Natural Language Processing Mathematical Models and Algorithmsent://SD_ILS/0/SD_ILS:1670022026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Fomichov A., Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-72926-8">http://dx.doi.org/10.1007/978-0-387-72926-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Identification with Quantized Observationsent://SD_ILS/0/SD_ILS:1683302026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Wang, Le Yi. author. Yin, G. George. author. Zhang, Ji-Feng. author. Zhao, Yanlong. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-4956-2">http://dx.doi.org/10.1007/978-0-8176-4956-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Randomized Algorithms for Analysis and Control of Uncertain Systemsent://SD_ILS/0/SD_ILS:1751892026-03-06T22:12:01Z2026-03-06T22:12:01ZYazar Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137802">http://dx.doi.org/10.1007/b137802</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>