Search Results for Software - Narrowed by: Microprogramming&nbsp;. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$0026qf$003dSUBJECT$002509Subject$002509Microprogramming$0025C2$0025A0.$002509Microprogramming$0025C2$0025A0.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-28T19:54:33Z Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483548 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Guan, Nan. editor.&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483736 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;Troubitsyna, Elena. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26601-1">https://doi.org/10.1007/978-3-030-26601-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486230 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153&#160;Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177&#160;Katsaros, Panagiotis. editor.&#160;Bozzano, Marco. editor. (orcid)0000-0002-4135-103X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484678 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Kadera, Petr. editor.&#160;Rzevski, George. editor.&#160;Zoitl, Alois. editor.&#160;Anderst-Kotsis, Gabriele. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27878-6">https://doi.org/10.1007/978-3-030-27878-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485090 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Mu&ntilde;oz, V&iacute;ctor M&eacute;ndez. editor.&#160;Ferguson, Donald. editor.&#160;Helfert, Markus. editor.&#160;Pahl, Claus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29193-8">https://doi.org/10.1007/978-3-030-29193-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9&ndash;11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485241 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Podelski, Andreas. editor.&#160;Ta&iuml;ani, Fran&ccedil;ois. editor. (orcid)0000-0002-9692-5678&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05529-5">https://doi.org/10.1007/978-3-030-05529-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8&ndash;10, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486593 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670&#160;Oliveira, Jos&eacute;. editor. (orcid)0000-0002-9398-8841&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17771-3">https://doi.org/10.1007/978-3-030-17771-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23&ndash;25, 2017, Revised and Extended Selected Papers ent://SD_ILS/0/SD_ILS:486867 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651&#160;Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987&#160;Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669&#160;Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850&#160;Monteiro, Jos&eacute;. editor. (orcid)0000-0003-0603-2268<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15663-3">https://doi.org/10.1007/978-3-030-15663-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486626 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106&#160;Taha, Walid. editor. (orcid)0000-0003-3160-9188&#160;T&ouml;rngren, Martin. editor. (orcid)0000-0002-4300-885X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Test Generation of Crosstalk Delay Faults in VLSI Circuits ent://SD_ILS/0/SD_ILS:484415 2024-12-28T19:54:33Z 2024-12-28T19:54:33Z Author&#160;Jayanthy, S. author.&#160;Bhuvaneswari, M.C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2493-2">https://doi.org/10.1007/978-981-13-2493-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>