Search Results for Functional Analysis. - Narrowed by: 2017 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFunctional$002bAnalysis.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092017$0025092017$0026ps$003d300$0026isd$003dtrue? 2026-05-13T19:00:29Z Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems ent://SD_ILS/0/SD_ILS:459145 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Griffor, Edward R., editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128037737">http://www.sciencedirect.com/science/book/9780128037737</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in GAPDH Protein Analysis: A Functional and Biochemical Approach ent://SD_ILS/0/SD_ILS:611861 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Ganapathy-Kanniappan, Shanmugasundaram. author. (orcid)0000-0001-7176-3804&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7342-7">https://doi.org/10.1007/978-981-10-7342-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONVEX ANALYSIS ent://SD_ILS/0/SD_ILS:538672 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;KRANTZ, STEVEN G.<br/>Preferred Shelf Number&#160;QA639.5<br/>Electronic Access&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429082450">https://www.taylorfrancis.com/books/9780429082450</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assessing Command and Control Effectiveness : Dealing with a Changing World ent://SD_ILS/0/SD_ILS:547516 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Berggren, Peter, author.&#160;N&auml;hlinder, Staffan.&#160;Svensson, Erland.<br/>Preferred Shelf Number&#160;UB212 .B474 2017<br/>Electronic Access&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315568119">Click here to view.</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Growth Curve Analysis and Visualization Using R ent://SD_ILS/0/SD_ILS:545512 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Mirman, Daniel, author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;QH324.2<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315373218">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nutraceutical and functional food components : effects of innovative processing techniques ent://SD_ILS/0/SD_ILS:459287 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Galanakis, Charis M., editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128052570">http://www.sciencedirect.com/science/book/9780128052570</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data Analytics and Knowledge Discovery 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612533 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Bellatreche, Ladjel. editor.&#160;Chakravarthy, Sharma. 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-64283-3">https://doi.org/10.1007/978-3-319-64283-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neuroimaging of Pain ent://SD_ILS/0/SD_ILS:613171 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Saba, Luca. 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-48046-6">https://doi.org/10.1007/978-3-319-48046-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rhizobium Biology and Biotechnology ent://SD_ILS/0/SD_ILS:613236 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Hansen, Alexander P. editor.&#160;Choudhary, Devendra K. editor.&#160;Agrawal, Pawan Kumar. editor.&#160;Varma, Ajit. 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-64982-5">https://doi.org/10.1007/978-3-319-64982-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Health Informatics Data Analysis Methods and Examples ent://SD_ILS/0/SD_ILS:614578 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Xu, Dong. editor.&#160;Wang, May D. editor.&#160;Zhou, Fengfeng. editor. (orcid)0000-0002-8108-6007&#160;Cai, Yunpeng. 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-44981-4">https://doi.org/10.1007/978-3-319-44981-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bitterness : perception, chemistry and food processing ent://SD_ILS/0/SD_ILS:593141 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Aliani, Michel, editor.&#160;Eskin, N. A. M. (Neason Akivah Michael), editor.<br/>Preferred Shelf Number&#160;TX546<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118590263">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118590263</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of neurobehavioral genetics and phenotyping ent://SD_ILS/0/SD_ILS:593157 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Tucci, Valter, editor.<br/>Preferred Shelf Number&#160;QP356.22<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118540770">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118540770</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mechanism of plant hormone signaling under stress ent://SD_ILS/0/SD_ILS:593242 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Pandey, Girdhar K., editor.<br/>Preferred Shelf Number&#160;QK754<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118889022">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118889022</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics in aquaculture : principles and methods ent://SD_ILS/0/SD_ILS:593204 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Liu, Zhanjiang, editor.<br/>Preferred Shelf Number&#160;QH324.2<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118782392">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118782392</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Gas-phase synthesis of nanoparticles ent://SD_ILS/0/SD_ILS:593457 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Huttel, Yves, editor.<br/>Preferred Shelf Number&#160;TA418.9 .N35<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527698417">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527698417</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multivariable predictive control : applications in industry ent://SD_ILS/0/SD_ILS:593517 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Lahiri, Sandip Kumar, 1970- author.<br/>Preferred Shelf Number&#160;TJ217.6 .L34 2017<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119243434">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119243434</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The handbook of linguistics ent://SD_ILS/0/SD_ILS:593506 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Aronoff, Mark, editor.&#160;Rees-Miller, Janie, editor.<br/>Preferred Shelf Number&#160;P121 .H324 2017 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Single Cell Analysis Contemporary Research and Clinical Applications ent://SD_ILS/0/SD_ILS:611008 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Robinson, J. Paul. editor.&#160;Cossarizza, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-4499-1">https://doi.org/10.1007/978-981-10-4499-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human reproduction : updates and new horizons ent://SD_ILS/0/SD_ILS:593250 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Schatten, Heide, editor.<br/>Preferred Shelf Number&#160;QP251 .H845 2017 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118849613">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118849613</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vibration with control ent://SD_ILS/0/SD_ILS:593340 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Inman, D. J., author.<br/>Preferred Shelf Number&#160;TA355 .I523 2017 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119375081">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119375081</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Olives and olive oil as functional foods : bioactivity, chemistry and processing ent://SD_ILS/0/SD_ILS:593383 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Kiritsakis, Apostolos K. (Apostolos Konstantinoy), editor.&#160;Shahidi, Fereidoon, 1951- editor.<br/>Preferred Shelf Number&#160;QP144 .F85<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119135340">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119135340</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sustainability challenges in the agrofood sector ent://SD_ILS/0/SD_ILS:593422 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Bhat, Rajeev, editor.<br/>Preferred Shelf Number&#160;S494.5 .S86 S84 2017 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072737">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072737</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative technologies in beverage processing ent://SD_ILS/0/SD_ILS:593494 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Aguil&oacute;-Aguayo, Ingrid, 1981- editor.&#160;Plaza, Lucia, 1972- editor.<br/>Preferred Shelf Number&#160;HD9348 .A2<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118929346">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118929346</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional software size measurement methodology with effort estimation and performance indication ent://SD_ILS/0/SD_ILS:593623 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Singh, Jasveer, 1955- author.<br/>Preferred Shelf Number&#160;QA76.76 .S65 S56 2017 EB<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119238126">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119238126</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Magnetoelectric polymer-based composites : fundamentals and applications ent://SD_ILS/0/SD_ILS:593794 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Lanceros-M&eacute;ndez, Senentxu, editor.&#160;Martins, Pedro, editor.<br/>Preferred Shelf Number&#160;TA418.9 .C6<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527801336">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527801336</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied probabilistic calculus for financial engineering : an introduction using R ent://SD_ILS/0/SD_ILS:593869 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Chan, B. K. C. (Bertram Kim-Cheong), author.<br/>Preferred Shelf Number&#160;HG176.7 .C43 2017<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388050">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388050</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Materials and thermodynamics : living and economic systems ent://SD_ILS/0/SD_ILS:593884 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Delhaes, Pierre, author.<br/>Preferred Shelf Number&#160;QC311<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119425540">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119425540</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fonksiyonel analiz ent://SD_ILS/0/SD_ILS:515712 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Bayraktar, Mustafa.<br/>Preferred Shelf Number&#160;QA320 B39 2017<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computational Neurology and Psychiatry ent://SD_ILS/0/SD_ILS:616637 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;&Eacute;rdi, P&eacute;ter. editor.&#160;Sen Bhattacharya, Basabdatta. editor.&#160;Cochran, Amy L. 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-49959-8">https://doi.org/10.1007/978-3-319-49959-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Implementation Fidelity in Cyber Physical System Design ent://SD_ILS/0/SD_ILS:616672 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Molnos, Anca. editor.&#160;Fabre, Christian. 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-47307-9">https://doi.org/10.1007/978-3-319-47307-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> RUNX Proteins in Development and Cancer ent://SD_ILS/0/SD_ILS:617203 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Groner, Yoram. editor.&#160;Ito, Yoshiaki. editor.&#160;Liu, Paul. editor.&#160;Neil, James C. editor.&#160;Speck, Nancy A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-3233-2">https://doi.org/10.1007/978-981-10-3233-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer Assisted Intervention &minus; MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:610805 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Descoteaux, Maxime. editor.&#160;Maier-Hein, Lena. editor.&#160;Franz, Alfred. editor.&#160;Jannin, Pierre. editor.&#160;Collins, D. Louis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66182-7">https://doi.org/10.1007/978-3-319-66182-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer Assisted Intervention &minus; MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III ent://SD_ILS/0/SD_ILS:611613 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Descoteaux, Maxime. editor.&#160;Maier-Hein, Lena. editor.&#160;Franz, Alfred. editor.&#160;Jannin, Pierre. editor.&#160;Collins, D. Louis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66179-7">https://doi.org/10.1007/978-3-319-66179-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Medical Image Computing and Computer-Assisted Intervention &minus; MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611908 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Descoteaux, Maxime. editor.&#160;Maier-Hein, Lena. editor.&#160;Franz, Alfred. editor.&#160;Jannin, Pierre. editor.&#160;Collins, D. Louis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66185-8">https://doi.org/10.1007/978-3-319-66185-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optimization and Applicability of Bioprocesses ent://SD_ILS/0/SD_ILS:611959 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Purohit, Hemant J. editor.&#160;Kalia, Vipin Chandra. editor.&#160;Vaidya, Atul N. editor.&#160;Khardenavis, Anshuman A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-6863-8">https://doi.org/10.1007/978-981-10-6863-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Imaging and Modelling of the Heart 9th International Conference, FIMH 2017, Toronto, ON, Canada, June 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616207 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Pop, Mihaela. editor.&#160;Wright, Graham A. 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-59448-4">https://doi.org/10.1007/978-3-319-59448-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:618105 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Mansi, Tommaso. editor.&#160;McLeod, Kristin. editor.&#160;Pop, Mihaela. editor.&#160;Rhode, Kawal. editor.&#160;Sermesant, Maxime. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-52718-5">https://doi.org/10.1007/978-3-319-52718-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Summarizing Biological Networks ent://SD_ILS/0/SD_ILS:616436 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;Bhowmick, Sourav S. author. (orcid)0000-0003-1957-8016&#160;Seah, Boon-Siew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54621-6">https://doi.org/10.1007/978-3-319-54621-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude ent://SD_ILS/0/SD_ILS:617461 2026-05-13T19:00:29Z 2026-05-13T19:00:29Z Author&#160;&Ouml;lveczky, Peter Csaba. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>