Search Results for Systems analysis. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002banalysis.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300?2026-02-26T08:19:55ZReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838672026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools 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-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Randomized Algorithms for Analysis and Control of Uncertain Systems With Applicationsent://SD_ILS/0/SD_ILS:3310242026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331024.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Randomized Algorithms for Analysis and Control of Uncertain Systemsent://SD_ILS/0/SD_ILS:1751892026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137802">http://dx.doi.org/10.1007/b137802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Signals and Systemsent://SD_ILS/0/SD_ILS:5271112026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Gazi, Orhan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17789-7">https://doi.org/10.1007/978-3-031-17789-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cultural algorithms : tools to model complex dynamic social systemsent://SD_ILS/0/SD_ILS:5959362026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Reynolds, Robert G., author.<br/>Preferred Shelf Number H61.25 .R49 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design and optimization for 5G wireless communicationsent://SD_ILS/0/SD_ILS:5959342026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Kim, Haesik, author.<br/>Preferred Shelf Number TK5103.25 .K56 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Role of edge analytics in sustainable smart city development : challenges and solutionsent://SD_ILS/0/SD_ILS:5961852026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Kanagachidambaresan, G. R., 1988- editor.<br/>Preferred Shelf Number TD159.4 .R65 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analog automation and digital feedback control techniquesent://SD_ILS/0/SD_ILS:5944332026-02-26T08:19:55Z2026-02-26T08:19:55ZAuthor Mbihi, Jean.<br/>Preferred Shelf Number TJ213<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>