Search Results for Systems analysis. - Narrowed by: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002banalysis.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-09T09:22:28ZMechatronic Systems Analysis, Design and Implementationent://SD_ILS/0/SD_ILS:1949882026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Boukas, El-Kébir. author. AL-Sunni, Fouad M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22324-2">http://dx.doi.org/10.1007/978-3-642-22324-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Manufacturing Systems Modeling and Analysisent://SD_ILS/0/SD_ILS:1933562026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16618-1">http://dx.doi.org/10.1007/978-3-642-16618-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Manufacturing Systems Modeling and Analysisent://SD_ILS/0/SD_ILS:1891192026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Curry, Guy L. author. Feldman, Richard M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88763-8">http://dx.doi.org/10.1007/978-3-540-88763-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Analysis Approach for Complex Global Challengesent://SD_ILS/0/SD_ILS:4000492026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71486-8">https://doi.org/10.1007/978-3-319-71486-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852822026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</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-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor 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/>Reliability, 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-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor 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 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis and Simulation of Electrical and Computer Systemsent://SD_ILS/0/SD_ILS:5296982026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11248-0">https://doi.org/10.1007/978-3-319-11248-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Parallel and distributed simulation systems : Analysis and applicationsent://SD_ILS/0/SD_ILS:3551842026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Takahashi N. W.<br/>Preferred Shelf Number QA76.9.C65 F84 2014 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Methods of Optimization and Systems Analysis for Problems of Transcomputational Complexityent://SD_ILS/0/SD_ILS:1743842026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Sergienko, Ivan V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4211-0">http://dx.doi.org/10.1007/978-1-4614-4211-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systemsent://SD_ILS/0/SD_ILS:1973372026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Leitner, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33209-8">http://dx.doi.org/10.1007/978-3-642-33209-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systemsent://SD_ILS/0/SD_ILS:1888962026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11669487">http://dx.doi.org/10.1007/11669487</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-time simulation technologies : principles, methodologies, and applicationsent://SD_ILS/0/SD_ILS:5424662026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Popovici, Katalin. Mosterman, Pieter J.<br/>Preferred Shelf Number QA76.9 .C65 R385 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315217505">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Fundamentals of the Theory of Mechanical Vibrationsent://SD_ILS/0/SD_ILS:6079182026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Gonçalves Salsa Junior, Rubens. author. (orcid)0000-0003-3067-1705 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83995-5">https://doi.org/10.1007/978-3-031-83995-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Antifragility in Natural Systems From Principles to Applicationsent://SD_ILS/0/SD_ILS:6091522026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90391-5">https://doi.org/10.1007/978-3-031-90391-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Modeling and Simulation Conceptualizations, Methods and Applicationsent://SD_ILS/0/SD_ILS:6048162026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59999-6">https://doi.org/10.1007/978-3-031-59999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6036112026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1417-9">https://doi.org/10.1007/978-981-97-1417-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete-event simulation : concepts and production in arenaent://SD_ILS/0/SD_ILS:5994862026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Jerbi, Abdessalem, author.<br/>Preferred Shelf Number T57.62 .J47 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Mechatronics An Integrated Approachent://SD_ILS/0/SD_ILS:5270472026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Samanta, Biswanath. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29320-7">https://doi.org/10.1007/978-3-031-29320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods for Biological Modelsent://SD_ILS/0/SD_ILS:5285502026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5001-0">https://doi.org/10.1007/978-981-99-5001-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer models of process dynamics : from Newton to energy fieldsent://SD_ILS/0/SD_ILS:5978342026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Rubin, Olis, author.<br/>Preferred Shelf Number QC52 .R83 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model-based system architectureent://SD_ILS/0/SD_ILS:5975012026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.<br/>Preferred Shelf Number TA168 .W45 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6117902026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6373-2">https://doi.org/10.1007/978-981-10-6373-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6123562026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Neurology and Psychiatryent://SD_ILS/0/SD_ILS:6166372026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6181142026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59105-6">https://doi.org/10.1007/978-3-319-59105-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Computational Social Science Principles and Applicationsent://SD_ILS/0/SD_ILS:6115402026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Cioffi-Revilla, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50131-4">https://doi.org/10.1007/978-3-319-50131-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferencesent://SD_ILS/0/SD_ILS:6115902026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64182-9">https://doi.org/10.1007/978-3-319-64182-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6126182026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161902026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6170342026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Analyzing Emotion in Spontaneous Speechent://SD_ILS/0/SD_ILS:6178602026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7674-9">https://doi.org/10.1007/978-981-10-7674-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6179132026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6364-0">https://doi.org/10.1007/978-981-10-6364-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Computational Methods in Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6182642026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6370-1">https://doi.org/10.1007/978-981-10-6370-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6145562026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2158-9">https://doi.org/10.1007/978-981-10-2158-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162572026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistical Analysis of Noise in MRI Modeling, Filtering and Estimationent://SD_ILS/0/SD_ILS:6130262026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Aja-Fernández, Santiago. author. Vegas-Sánchez-Ferrero, Gonzalo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39934-8">https://doi.org/10.1007/978-3-319-39934-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160532026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162312026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Modeling and Simulation in Business System Designent://SD_ILS/0/SD_ILS:6111682026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniquesent://SD_ILS/0/SD_ILS:6113952026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44881-7">https://doi.org/10.1007/978-3-319-44881-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineeringent://SD_ILS/0/SD_ILS:6128132026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Geiser, Juergen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15117-5">https://doi.org/10.1007/978-3-319-15117-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Isochronous Wireless Network for Real-time Communication in Industrial Automationent://SD_ILS/0/SD_ILS:6129352026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Trsek, Henning. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49158-4">https://doi.org/10.1007/978-3-662-49158-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130832026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real Time Modeling, Simulation and Control of Dynamical Systemsent://SD_ILS/0/SD_ILS:6163452026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Mughal, Asif Mahmood. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33906-1">https://doi.org/10.1007/978-3-319-33906-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledgeent://SD_ILS/0/SD_ILS:6166622026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28971-7">https://doi.org/10.1007/978-3-319-28971-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6170702026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0356-1">https://doi.org/10.1007/978-981-10-0356-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6179042026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1019-4">https://doi.org/10.1007/978-981-10-1019-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6179352026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:6178182026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papersent://SD_ILS/0/SD_ILS:5299162026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11457-6">https://doi.org/10.1007/978-3-319-11457-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete and continuous simulation : theory and practiceent://SD_ILS/0/SD_ILS:5396372026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.<br/>Preferred Shelf Number QA76.9 .C65 B36 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466596405">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Scientific data management : challenges, technology, and deploymentent://SD_ILS/0/SD_ILS:5471772026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Shoshani, Arie. Rotem, Doron.<br/>Preferred Shelf Number Q183.9 .S33 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420069815">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of dynamic system modelingent://SD_ILS/0/SD_ILS:5449992026-04-09T09:22:28Z2026-04-09T09:22:28ZAuthor Fishwick, Paul A.<br/>Preferred Shelf Number QA76.9 .C65 H345 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010855">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>