Search Results for Stochastic systems. - Narrowed by: Algorithms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dStochastic$002bsystems.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2026-03-24T16:38:20Z Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:609411 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98679-6">https://doi.org/10.1007/978-3-031-98679-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:609418 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98668-0">https://doi.org/10.1007/978-3-031-98668-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III ent://SD_ILS/0/SD_ILS:609419 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98682-6">https://doi.org/10.1007/978-3-031-98682-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:609420 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776&#160;Rakamari&#263;, Zvonimir. editor. (orcid)0000-0001-7946-0162&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98685-7">https://doi.org/10.1007/978-3-031-98685-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog automation and digital feedback control techniques ent://SD_ILS/0/SD_ILS:594433 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Mbihi, Jean.<br/>Preferred Shelf Number&#160;TJ213<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced techniques and technology of computer-aided feedback control ent://SD_ILS/0/SD_ILS:594551 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Mbihi, Jean, author.<br/>Preferred Shelf Number&#160;TJ216<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principal Component Analysis Networks and Algorithms ent://SD_ILS/0/SD_ILS:614190 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Kong, Xiangyu. author.&#160;Hu, Changhua. author.&#160;Duan, Zhansheng. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-2915-8">https://doi.org/10.1007/978-981-10-2915-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616016 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Squillero, Giovanni. editor.&#160;Sim, Kevin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616071 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Squillero, Giovanni. editor.&#160;Sim, Kevin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611985 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Squillero, Giovanni. editor.&#160;Burelli, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31204-0">https://doi.org/10.1007/978-3-319-31204-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:615922 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Squillero, Giovanni. editor.&#160;Burelli, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-31153-1">https://doi.org/10.1007/978-3-319-31153-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616001 2026-03-24T16:38:20Z 2026-03-24T16:38:20Z Author&#160;Wittevrongel, Sabine. editor.&#160;Phung-Duc, Tuan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-43904-4">https://doi.org/10.1007/978-3-319-43904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>