Search Results for Systems theory. - Narrowed by: Algorithms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026te$003dILS$0026ps$003d300?dt=list 2025-01-03T17:20:53Z 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, Proceedings ent://SD_ILS/0/SD_ILS:483100 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Abraham, Erika. editor.&#160;Havelund, Klaus. editor. (orcid)0000-0001-7079-0472&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift ent://SD_ILS/0/SD_ILS:332822 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Paule, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332822.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications ent://SD_ILS/0/SD_ILS:331024 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Tempo, Roberto. author.&#160;Calafiore, Giuseppe. author.&#160;Dabbene, Fabrizio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331024.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numerical Approximation of Exact Controls for Waves ent://SD_ILS/0/SD_ILS:331869 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Ervedoza, Sylvain. author.&#160;Zuazua, Enrique. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331869.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The BOXES Methodology Black Box Dynamic Control ent://SD_ILS/0/SD_ILS:176276 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Russell, David W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Theory for Control of Optical Networks ent://SD_ILS/0/SD_ILS:168382 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Pavel, Lacra. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms ent://SD_ILS/0/SD_ILS:167002 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Fomichov A., Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Identification with Quantized Observations ent://SD_ILS/0/SD_ILS:168330 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Wang, Le Yi. author.&#160;Yin, G. George. author.&#160;Zhang, Ji-Feng. author.&#160;Zhao, Yanlong. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Randomized Algorithms for Analysis and Control of Uncertain Systems ent://SD_ILS/0/SD_ILS:175189 2025-01-03T17:20:53Z 2025-01-03T17:20:53Z Author&#160;Tempo, Roberto. author.&#160;Dabbene, Fabrizio. author.&#160;Calafiore, Giuseppe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137802">http://dx.doi.org/10.1007/b137802</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>