Search Results for Integrated. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIntegrated.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300? 2026-05-18T06:32:08Z Secure Integrated Circuits and Systems ent://SD_ILS/0/SD_ILS:166890 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Verbauwhede, Ingrid M.R. editor.&#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-71829-3">http://dx.doi.org/10.1007/978-0-387-71829-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> An Integrated Approach to Software Engineering ent://SD_ILS/0/SD_ILS:165473 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Jalote, Pankaj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606006 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Kosmatov, Nikolai. editor.&#160;Kov&aacute;cs, Laura. editor. (orcid)0000-0002-8299-2714&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-76554-4">https://doi.org/10.1007/978-3-031-76554-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601952 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Herber, Paula. editor.&#160;Wijs, Anton. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47705-8">https://doi.org/10.1007/978-3-031-47705-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399782 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Furia, Carlo A. editor.&#160;Winter, Kirsten. 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-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:614260 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Polikarpova, Nadia. editor.&#160;Schneider, Steve. 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-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611091 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Huisman, Marieke. editor. (orcid)0000-0003-4467-072X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485668 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Albert, Elvira. editor.&#160;Sekerinski, Emil. 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-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334634 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Johnsen, Einar Broch. editor.&#160;Petre, Luigia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334634.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196948 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Derrick, John. editor.&#160;Gnesi, Stefania. editor.&#160;Latella, Diego. editor.&#160;Treharne, Helen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193240 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;M&eacute;ry, Dominique. editor.&#160;Merz, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Verification and Analysis An Integrated, Hands-On Approach ent://SD_ILS/0/SD_ILS:175929 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Stanley, William. author.&#160;Laski, Janusz. 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-84882-240-5">http://dx.doi.org/10.1007/978-1-84882-240-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 7th International Conference, IFM 2009, D&uuml;sseldorf, Germany, February 16-19, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189626 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Leuschel, Michael. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00255-7">http://dx.doi.org/10.1007/978-3-642-00255-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186776 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Davies, Jim. editor.&#160;Gibbons, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms ent://SD_ILS/0/SD_ILS:169289 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Kogel, Tim. author.&#160;Leupers, Rainer. author.&#160;Meyr, Heinrich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4826-2">http://dx.doi.org/10.1007/1-4020-4826-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183227 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Romijn, Judi. editor.&#160;Smith, Graeme. editor.&#160;Pol, Jaco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D Integration for NoC-based SoC Architectures ent://SD_ILS/0/SD_ILS:172930 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Sheibanyrad, Abbas. editor.&#160;P&eacute;trot, Fr&eacute;d&eacute;ric. editor.&#160;Jantsch, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7618-5">http://dx.doi.org/10.1007/978-1-4419-7618-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-World Decision Support Systems Case Studies ent://SD_ILS/0/SD_ILS:614627 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Papathanasiou, Jason. editor.&#160;Ploskas, Nikolaos. editor.&#160;Linden, Isabelle. 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-43916-7">https://doi.org/10.1007/978-3-319-43916-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Yield for Nano-Scale CMOS ent://SD_ILS/0/SD_ILS:169402 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Chiang, Charles C. author.&#160;Kawa, Jamil. 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-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2 ent://SD_ILS/0/SD_ILS:607837 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Hu, Jiangping. editor. (orcid)0000-0002-7559-8604&#160;Zhang, Jin. editor. (orcid)0000-0002-7464-2247&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-3161-2">https://doi.org/10.1007/978-981-96-3161-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Managing Software Supply Chains Theory and Practice ent://SD_ILS/0/SD_ILS:607427 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Wang, Ying. author.&#160;Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172&#160;Yu, Hai. author. (orcid)0000-0002-8024-1781&#160;Zhu, Zhiliang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1 ent://SD_ILS/0/SD_ILS:607585 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Hu, Jiangping. editor. (orcid)0000-0002-7559-8604&#160;Zhang, Jin. editor. (orcid)0000-0002-7464-2247&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-3013-4">https://doi.org/10.1007/978-981-96-3013-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IT Crisisology Patterns and Practices Smart Agility for Digital Future ent://SD_ILS/0/SD_ILS:601612 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Zykov, Sergey V. author. (orcid)0000-0002-2115-5461&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-95-1260-7">https://doi.org/10.1007/978-981-95-1260-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The AI Act and The Agile Safety Plan ent://SD_ILS/0/SD_ILS:607067 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Myklebust, Thor. author. (orcid)0000-0002-9283-092X&#160;St&aring;lhane, Tor. author.&#160;Vatn, Dorthea Mathilde Kristin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-80504-2">https://doi.org/10.1007/978-3-031-80504-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing ent://SD_ILS/0/SD_ILS:608484 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Langer, Arthur M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-76212-3">https://doi.org/10.1007/978-3-031-76212-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding the Digital World Modeling with HERAKLIT ent://SD_ILS/0/SD_ILS:604947 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Fettke, Peter. author.&#160;Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61898-7">https://doi.org/10.1007/978-3-031-61898-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ITNG 2023 20th International Conference on Information Technology-New Generations ent://SD_ILS/0/SD_ILS:526966 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Latifi, Shahram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems engineering of software-enabled systems ent://SD_ILS/0/SD_ILS:595142 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number&#160;QA76.758<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering for Service and Cloud Computing ent://SD_ILS/0/SD_ILS:613919 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Ramachandran, Muthu. editor.&#160;Mahmood, Zaigham. 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-51310-2">https://doi.org/10.1007/978-3-319-51310-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architectural Coordination of Enterprise Transformation ent://SD_ILS/0/SD_ILS:611660 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;Winter, Robert. editor. (orcid)0000-0001-9383-2276&#160;Aier, Stephan. editor.&#160;de Kinderen, Sybren. 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-69584-6">https://doi.org/10.1007/978-3-319-69584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612404 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Zhu, Huibiao. 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-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Broker and Cloudlet for Workflow Scheduling ent://SD_ILS/0/SD_ILS:617265 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Youn, Chan-Hyun. author.&#160;Chen, Min. author.&#160;Dazzi, Patrizio. 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-5071-8">https://doi.org/10.1007/978-981-10-5071-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:614629 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Secure System Modelling ent://SD_ILS/0/SD_ILS:617827 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Matulevi&#269;ius, Raimundas. author. (orcid)0000-0002-1829-4794&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61717-6">https://doi.org/10.1007/978-3-319-61717-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods Transportation by Road and Rail ent://SD_ILS/0/SD_ILS:612068 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Vamanu, Bogdan I. author.&#160;Gheorghe, Adrian V. author.&#160;Katina, Polinpapilinho F. 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-30931-6">https://doi.org/10.1007/978-3-319-30931-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology ent://SD_ILS/0/SD_ILS:612633 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Pohl, Klaus. editor.&#160;Broy, Manfred. editor.&#160;Daembkes, Heinrich. editor.&#160;H&ouml;nninger, Harald. 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-48003-9">https://doi.org/10.1007/978-3-319-48003-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers, Software Engineering, and Digital Devices ent://SD_ILS/0/SD_ILS:542493 2026-05-18T06:32:08Z 2026-05-18T06:32:08Z Author&#160;Dorf, Richard C., author.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;TK7885<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>