Search Results for - Narrowed by: Springer E-Book Collection - TEDU library - Computer science. - Operating Systems.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ATEDU$002509TEDU$002blibrary$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Operating$002bSystems.$002509Operating$002bSystems.$0026ps$003d300?2024-05-31T00:30:09ZSystems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:2211292024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Wang, K.C. author.<br/><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: Electronic Resources<br/>System and Architecture Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:2213002024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Muttoo, Sunil Kumar. editor.<br/><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: Electronic Resources<br/>Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2213012024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Li, Chao. editor.<br/><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: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:2218042024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Hameurlain, Abdelkader. editor.<br/><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: Electronic Resources<br/>Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2248032024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Campilho, Aurélio. editor.<br/><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: Electronic Resources<br/>Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227482024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Pires, Luís Ferreira. editor.<br/><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: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:2232482024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428<br/><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: Electronic Resources<br/>High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2249862024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873<br/><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: Electronic Resources<br/>Transactions on Computational Science XXXIIIent://SD_ILS/0/SD_ILS:2219032024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Gavrilova, Marina L. editor.<br/><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: Electronic Resources<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. Proceedingsent://SD_ILS/0/SD_ILS:2241462024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251<br/><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: Electronic Resources<br/>Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2248532024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Giuffrida, Cristiano. editor.<br/><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: Electronic Resources<br/>Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2255542024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319<br/><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: Electronic Resources<br/>Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2248772024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Heras, Dora B. editor.<br/><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: Electronic Resources<br/>Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2219092024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Fortino, Giancarlo. editor.<br/><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: Electronic Resources<br/>Interrupt Handling Schemes in Operating Systemsent://SD_ILS/0/SD_ILS:2224742024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Mejia-Alvarez, Pedro. author.<br/><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: Electronic Resources<br/>Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2216632024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Dinur, Itai. editor.<br/><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: Electronic Resources<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, Proceedingsent://SD_ILS/0/SD_ILS:2242332024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Baier, Christel. editor.<br/><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: Electronic Resources<br/>Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2218512024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Bailey, Michael. editor.<br/><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: Electronic Resources<br/>Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2225432024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Vaidya, Jaideep. editor.<br/><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: Electronic Resources<br/>Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2230202024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Wang, Meng. editor.<br/><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: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2232672024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Berekovic, Mladen. editor.<br/><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: Electronic Resources<br/>Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2219672024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><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: Electronic Resources<br/>Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2227082024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Itsykson, Vladimir. editor.<br/><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: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2222462024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Spirakis, Paul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format: Electronic Resources<br/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253472024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448<br/><a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectivesent://SD_ILS/0/SD_ILS:2261202024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Chen, Quan. author.<br/><a href="https://doi.org/10.1007/978-981-10-6238-4">https://doi.org/10.1007/978-981-10-6238-4</a><br/>Format: Electronic Resources<br/>Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2232572024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278<br/><a href="https://doi.org/10.1007/978-3-319-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applicationsent://SD_ILS/0/SD_ILS:2240122024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Hameurlain, Abdelkader. editor.<br/><a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papersent://SD_ILS/0/SD_ILS:2237902024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Ding, Chen. editor.<br/><a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Detection of Intrusions and Malware, and Vulnerability Assessment 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2245082024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Polychronakis, Michalis. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60876-1">https://doi.org/10.1007/978-3-319-60876-1</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2214212024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Dou, Yong. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2217292024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Blieberger, Johann. editor.<br/><a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</a><br/>Format: Electronic Resources<br/>Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238732024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196<br/><a href="https://doi.org/10.1007/978-3-319-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format: Electronic Resources<br/>High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2237322024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format: Electronic Resources<br/>Brain Informatics International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2259332024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Zeng, Yi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70772-3">https://doi.org/10.1007/978-3-319-70772-3</a><br/>Format: Electronic Resources<br/>HCNA Networking Study Guideent://SD_ILS/0/SD_ILS:191422024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Huawei Technologies Co., Ltd. editor.<br/><a href="http://dx.doi.org/10.1007/978-981-10-1554-0">http://dx.doi.org/10.1007/978-981-10-1554-0</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181172024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182532024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Wittevrongel, Sabine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43904-4">http://dx.doi.org/10.1007/978-3-319-43904-4</a><br/>Format: Electronic Resources<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:184102024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Chiba, Shigeru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46969-0">http://dx.doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174092024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Shen, Xipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29778-1">http://dx.doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:227032024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format: Electronic Resources<br/>In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:221662024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Jagatheesan, Arun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13960-9">http://dx.doi.org/10.1007/978-3-319-13960-9</a><br/>Format: Electronic Resources<br/>Design and Implementation of the MTX Operating Systement://SD_ILS/0/SD_ILS:227102024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Wang, K. C. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17575-1">http://dx.doi.org/10.1007/978-3-319-17575-1</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:224902024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Pinho, Luís Miguel Pinho. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16086-3">http://dx.doi.org/10.1007/978-3-319-16086-3</a><br/>Format: Electronic Resources<br/>Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:236092024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Yung, Moti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27998-5">http://dx.doi.org/10.1007/978-3-319-27998-5</a><br/>Format: Electronic Resources<br/>Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232752024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Chen, Yunji. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23216-4">http://dx.doi.org/10.1007/978-3-319-23216-4</a><br/>Format: Electronic Resources<br/>Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:226932024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Brodman, James. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17473-0">http://dx.doi.org/10.1007/978-3-319-17473-0</a><br/>Format: Electronic Resources<br/>Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248562024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Träff, Jesper Larsson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48096-0">http://dx.doi.org/10.1007/978-3-662-48096-0</a><br/>Format: Electronic Resources<br/>Quality-aware Scheduling for Key-value Data Storesent://SD_ILS/0/SD_ILS:248192024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Xu, Chen. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47306-1">http://dx.doi.org/10.1007/978-3-662-47306-1</a><br/>Format: Electronic Resources<br/>Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214032024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Silva, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09873-9">http://dx.doi.org/10.1007/978-3-319-09873-9</a><br/>Format: Electronic Resources<br/>Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220292024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Mellouk, Abdelhamid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13174-0">http://dx.doi.org/10.1007/978-3-319-13174-0</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Badger, Julia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06200-6">http://dx.doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:214912024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Cuellar, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10329-7">http://dx.doi.org/10.1007/978-3-319-10329-7</a><br/>Format: Electronic Resources<br/>Embedded Operating Systems A Practical Approachent://SD_ILS/0/SD_ILS:195542024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Holt, Alan. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6603-0">http://dx.doi.org/10.1007/978-1-4471-6603-0</a><br/>Format: Electronic Resources<br/>Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205622024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Maehle, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04891-8">http://dx.doi.org/10.1007/978-3-319-04891-8</a><br/>Format: Electronic Resources<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:245062024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44471-9">http://dx.doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Electronic Resources<br/>Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papersent://SD_ILS/0/SD_ILS:244202024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Desai, Narayan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43779-7">http://dx.doi.org/10.1007/978-3-662-43779-7</a><br/>Format: Electronic Resources<br/>Serialization and Persistent Objects Turning Data Structures into Efficient Databasesent://SD_ILS/0/SD_ILS:237612024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Soukup, Jiri. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-39323-5">http://dx.doi.org/10.1007/978-3-642-39323-5</a><br/>Format: Electronic Resources<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240472024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Cohen, Albert. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54807-9">http://dx.doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245772024-05-31T00:30:09Z2024-05-31T00:30:09ZYazar Hsu, Ching-Hsien. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44917-2">http://dx.doi.org/10.1007/978-3-662-44917-2</a><br/>Format: Electronic Resources<br/>