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.$0026ps$003d300?2026-03-10T01:35:06ZTools 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222026-03-10T01:35:06Z2026-03-10T01:35:06ZYazar 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/>Randomized Algorithms for Analysis and Control of Uncertain Systems With Applicationsent://SD_ILS/0/SD_ILS:3310242026-03-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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/>Game Theory for Control of Optical Networksent://SD_ILS/0/SD_ILS:1683822026-03-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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-10T01:35:06Z2026-03-10T01:35:06ZYazar 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/>