Search Results for Operating systems (Computers) - Narrowed by: 2018 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating$002bsystems$002b$002528Computers$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T06:54:18Z Transactions on Computational Collective Intelligence XXVIII ent://SD_ILS/0/SD_ILS:398970 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;van den Herik, Jaap. editor.&#160;Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758&#160;Filipe, Joaquim. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78301-7">https://doi.org/10.1007/978-3-319-78301-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398985 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999&#160;McMinn, Phil. editor. (orcid)0000-0001-9137-7433&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399450 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Dinur, Itai. editor.&#160;Dolev, Shlomi. editor.&#160;Lodha, Sachin. 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-94147-9">https://doi.org/10.1007/978-3-319-94147-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:399577 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496&#160;Grosky, William I. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399661 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Bailey, Michael. editor.&#160;Holz, Thorsten. editor. (orcid)0000-0002-2783-1264&#160;Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726&#160;Ioannidis, Sotiris. 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-00470-5">https://doi.org/10.1007/978-3-030-00470-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24&ndash;26, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400452 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Ferguson, Donald. editor.&#160;Mu&ntilde;oz, V&iacute;ctor M&eacute;ndez. editor.&#160;Cardoso, Jorge. editor.&#160;Helfert, Markus. editor.&#160;Pahl, Claus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94959-8">https://doi.org/10.1007/978-3-319-94959-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII ent://SD_ILS/0/SD_ILS:400564 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Hameurlain, Abdelkader. editor.&#160;Wagner, Roland. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-57932-9">https://doi.org/10.1007/978-3-662-57932-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. 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-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Silicon Photonics &amp; High Performance Computing Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:400781 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Mishra, Anurag. editor.&#160;Basu, Anirban. editor.&#160;Tyagi, Vipin. 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-7656-5">https://doi.org/10.1007/978-981-10-7656-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings ent://SD_ILS/0/SD_ILS:401247 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401466 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;van Hoeve, Willem-Jan. 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-93031-2">https://doi.org/10.1007/978-3-319-93031-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Image Analysis and Recognition 15th International Conference, ICIAR 2018, P&oacute;voa de Varzim, Portugal, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401604 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Campilho, Aur&eacute;lio. editor.&#160;Karray, Fakhri. editor. (orcid)0000-0002-4217-1372&#160;ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93000-8">https://doi.org/10.1007/978-3-319-93000-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401639 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Wu, Weigang. editor. (orcid)0000-0002-4714-7021&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69953-0">https://doi.org/10.1007/978-3-319-69953-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401646 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Giuffrida, Cristiano. editor.&#160;Bardin, S&eacute;bastien. editor.&#160;Blanc, Gregory. editor. (orcid)0000-0001-8150-6617&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93411-2">https://doi.org/10.1007/978-3-319-93411-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Maintenance Policies for Shock and Damage Models ent://SD_ILS/0/SD_ILS:399178 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Zhao, Xufeng. author.&#160;Nakagawa, Toshio. 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-70456-2">https://doi.org/10.1007/978-3-319-70456-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399354 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Lotker, Zvi. editor.&#160;Patt-Shamir, Boaz. 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-01325-7">https://doi.org/10.1007/978-3-030-01325-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Science XXXIII ent://SD_ILS/0/SD_ILS:399733 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58039-4">https://doi.org/10.1007/978-3-662-58039-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability ent://SD_ILS/0/SD_ILS:400290 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Jahanshahi, Mohsen. author.&#160;Bistouni, Fathollah. 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-78473-1">https://doi.org/10.1007/978-3-319-78473-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400302 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Vaidya, Jaideep. editor.&#160;Li, Jin. 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-05051-1">https://doi.org/10.1007/978-3-030-05051-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interrupt Handling Schemes in Operating Systems ent://SD_ILS/0/SD_ILS:400213 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Mejia-Alvarez, Pedro. author.&#160;Leyva-del-Foyo, Luis Eduardo. author.&#160;Diaz-Ramirez, Arnaldo. 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-94493-7">https://doi.org/10.1007/978-3-319-94493-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach ent://SD_ILS/0/SD_ILS:400393 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Parkinson, Simon. editor. (orcid)0000-0002-1747-9914&#160;Crampton, Andrew. editor. (orcid)0000-0002-4635-9102&#160;Hill, Richard. editor. (orcid)0000-0003-0105-7730&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92624-7">https://doi.org/10.1007/978-3-319-92624-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Greening Video Distribution Networks Energy-Efficient Internet Video Delivery ent://SD_ILS/0/SD_ILS:400420 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Popescu, Adrian. 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-71718-0">https://doi.org/10.1007/978-3-319-71718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400256 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Pahl, Claus. editor.&#160;Vukovic, Maja. editor.&#160;Yin, Jianwei. editor.&#160;Yu, Qi. 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-03596-9">https://doi.org/10.1007/978-3-030-03596-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Energy Integrated Communication Networks A Brief Introduction ent://SD_ILS/0/SD_ILS:400483 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Hu, Jie. author.&#160;Yang, Kun. 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-0116-2">https://doi.org/10.1007/978-981-13-0116-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400495 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Selic, Bran. 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-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16&ndash;18, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400792 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.&#160;Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation ent://SD_ILS/0/SD_ILS:400844 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;ASC Community. 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-3731-3">https://doi.org/10.1007/978-981-10-3731-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Hardware Trojan War Attacks, Myths, and Defenses ent://SD_ILS/0/SD_ILS:400849 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Bhunia, Swarup. editor.&#160;Tehranipoor, Mark M. 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-68511-3">https://doi.org/10.1007/978-3-319-68511-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safety-Critical Electrical Drives Topologies, Reliability, Performance ent://SD_ILS/0/SD_ILS:401112 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Bolvashenkov, Igor. author.&#160;Herzog, Hans-Georg. author.&#160;Frenkel, Ilia. author.&#160;Khvatskin, Lev. author.&#160;Lisnianski, Anatoly. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89969-5">https://doi.org/10.1007/978-3-319-89969-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses ent://SD_ILS/0/SD_ILS:401188 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Kochs, Hans-Dieter. 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-64991-7">https://doi.org/10.1007/978-3-319-64991-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:401293 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Clarke, Edmund M. editor.&#160;Henzinger, Thomas A. editor.&#160;Veith, Helmut. editor.&#160;Bloem, Roderick. 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-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Operating Systems A Practical Approach ent://SD_ILS/0/SD_ILS:401804 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Holt, Alan. author.&#160;Huang, Chi-Yu. 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-72977-0">https://doi.org/10.1007/978-3-319-72977-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401991 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Rensink, Arend. editor. (orcid)0000-0002-1714-6319&#160;S&aacute;nchez Cuadrado, Jes&uacute;s. editor. (orcid)0000-0001-9755-5616&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power Design and Power-Aware Verification ent://SD_ILS/0/SD_ILS:402053 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Khondkar, Progyna. 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-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Fault Detection and Correction: Modeling and Applications ent://SD_ILS/0/SD_ILS:399124 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Peng, Rui. author.&#160;Li, Yan-Fu. author.&#160;Liu, Yu. 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-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System and Architecture Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:399153 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Muttoo, Sunil Kumar. 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-8533-8">https://doi.org/10.1007/978-981-10-8533-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Li, Chao. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Programming in Unix/Linux ent://SD_ILS/0/SD_ILS:399613 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Wang, K.C. 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-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Petri Nets and Other Models of Concurrency XIII ent://SD_ILS/0/SD_ILS:399637 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Koutny, Maciej. editor.&#160;Kristensen, Lars Michael. editor.&#160;Penczek, Wojciech. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58381-4">https://doi.org/10.1007/978-3-662-58381-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399750 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Fortino, Giancarlo. editor.&#160;Ali, A.B.M. Shawkat. editor.&#160;Pathan, Mukaddim. editor.&#160;Guerrieri, Antonio. editor.&#160;Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. 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-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400714 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Wang, Meng. editor.&#160;Owens, Scott. 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-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:400823 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. 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-74896-2">https://doi.org/10.1007/978-3-319-74896-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2018 31st International Conference, Braunschweig, Germany, April 9&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400833 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Berekovic, Mladen. editor.&#160;Buchty, Rainer. editor.&#160;Hamann, Heiko. editor.&#160;Koch, Dirk. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-77610-1">https://doi.org/10.1007/978-3-319-77610-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance gaps of machines A process oriented approach ent://SD_ILS/0/SD_ILS:401031 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;N&uuml;&szlig;er, Wilhelm. author.&#160;Steckel, Thilo. 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-56446-2">https://doi.org/10.1007/978-3-662-56446-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401312 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Baier, Christel. editor.&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401337 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Bonomi, Silvia. editor.&#160;Rivi&egrave;re, Etienne. 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-93767-0">https://doi.org/10.1007/978-3-319-93767-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 5G Wireless Systems Simulation and Evaluation Techniques ent://SD_ILS/0/SD_ILS:401341 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Yang, Yang. author.&#160;Xu, Jing. author.&#160;Shi, Guang. author.&#160;Wang, Cheng-Xiang. 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-61869-2">https://doi.org/10.1007/978-3-319-61869-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip ent://SD_ILS/0/SD_ILS:401348 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Wang, Zheng. author.&#160;Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-1073-6">https://doi.org/10.1007/978-981-10-1073-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401731 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Yokota, Rio. editor. (orcid)0000-0001-7573-7873&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Keyes, David. editor.&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92040-5">https://doi.org/10.1007/978-3-319-92040-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Services &ndash; SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401733 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Yang, Alvin. editor.&#160;Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898&#160;Li, Ying. editor.&#160;Dico, Awel. editor.&#160;Chen, Xiangang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Closing the Gap Between Practice and Research in Industrial Engineering ent://SD_ILS/0/SD_ILS:402189 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Viles, Elisabeth. editor.&#160;Ormaz&aacute;bal, Marta. editor.&#160;Lle&oacute;, Alvaro. 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-58409-6">https://doi.org/10.1007/978-3-319-58409-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Multicore Architectures at Nanoscale ent://SD_ILS/0/SD_ILS:402190 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Ottavi, Marco. editor.&#160;Gizopoulos, Dimitris. editor.&#160;Pontarelli, Salvatore. 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-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402313 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Jarvis, Stephen. editor.&#160;Wright, Steven. editor.&#160;Hammond, Simon. 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-72971-8">https://doi.org/10.1007/978-3-319-72971-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402686 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Bi, Yuanguo. editor.&#160;Chen, Gang. editor.&#160;Deng, Qingxu. editor.&#160;Wang, Yi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-1026-3">https://doi.org/10.1007/978-981-13-1026-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10&ndash;12, 2016, Revised Papers ent://SD_ILS/0/SD_ILS:402746 2024-12-23T06:54:18Z 2024-12-23T06:54:18Z Author&#160;Sun, Yu. editor.&#160;Falco, Joe. 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-94568-2">https://doi.org/10.1007/978-3-319-94568-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>