Arama Sonuçları Systems analysis. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystems$002banalysis.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2026-02-21T01:57:24ZStochastic Reachability Analysis of Hybrid Systemsent://SD_ILS/0/SD_ILS:1734792026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Bujorianu, Luminita Manuela. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-2795-6">http://dx.doi.org/10.1007/978-1-4471-2795-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multimedia Multiprocessor Systems Analysis, Design and Managementent://SD_ILS/0/SD_ILS:2057422026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Kumar, Akash. author. Corporaal, Henk. author. Mesman, Bart. author. Ha, Yajun. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0083-3">http://dx.doi.org/10.1007/978-94-007-0083-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346822026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Yer Numarası ONLINE(334682.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349132026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334913.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973632026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Periodic Review Inventory Systems Performance Analysis and Optimization of Inventory Systems within Supply Chainsent://SD_ILS/0/SD_ILS:1943862026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Wensing, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20479-1">http://dx.doi.org/10.1007/978-3-642-20479-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955992026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961402026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Chaki, Nabendu. editor. Cortesi, Agostino. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-27245-5">http://dx.doi.org/10.1007/978-3-642-27245-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systemsent://SD_ILS/0/SD_ILS:1999862026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Herde, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-9949-1">http://dx.doi.org/10.1007/978-3-8348-9949-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamicsent://SD_ILS/0/SD_ILS:1926782026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14509-4">http://dx.doi.org/10.1007/978-3-642-14509-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929252026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908982026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909252026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scheduling in Distributed Computing Systems Analysis, Design and Modelsent://SD_ILS/0/SD_ILS:1671682026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-74483-4">http://dx.doi.org/10.1007/978-0-387-74483-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887722026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Design of Information Systems Third Editionent://SD_ILS/0/SD_ILS:1754962026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Langer, Arthur M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-655-1">http://dx.doi.org/10.1007/978-1-84628-655-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:1699392026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systemsent://SD_ILS/0/SD_ILS:1888962026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-87702-8">http://dx.doi.org/10.1007/978-3-540-87702-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874202026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Max-Plus Linear Stochastic Systems and Perturbation Analysisent://SD_ILS/0/SD_ILS:1662562026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Heidergott, Bernd. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-38995-0">http://dx.doi.org/10.1007/978-0-387-38995-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1832002026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11669487">http://dx.doi.org/10.1007/11669487</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848202026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827832026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthdayent://SD_ILS/0/SD_ILS:5278042026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Encyclopedia of Computational Neuroscienceent://SD_ILS/0/SD_ILS:5302842026-02-21T01:57:24Z2026-02-21T01:57:24ZYazar Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4614-6675-8">https://doi.org/10.1007/978-1-4614-6675-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>