Search Results for Data Processing - Narrowed by: Operating systems (Computers). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dData$002bProcessing$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-19T05:12:15Z Applied Informatics 7th International Conference, ICAI 2024, Vi&ntilde;a del Mar, Chile, October 24-26, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605593 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Florez, Hector. editor. (orcid)0000-0002-5339-4459&#160;Astudillo, Hern&aacute;n. editor. (orcid)0000-0002-6487-5813&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75144-8">https://doi.org/10.1007/978-3-031-75144-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Informatics 7th International Conference, ICAI 2024, Vi&ntilde;a del Mar, Chile, October 24-26, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605594 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Florez, Hector. editor. (orcid)0000-0002-5339-4459&#160;Astudillo, Hern&aacute;n. editor. (orcid)0000-0002-6487-5813&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75147-9">https://doi.org/10.1007/978-3-031-75147-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608677 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Peter, Sibylle. editor. (orcid)0009-0007-4308-053X&#160;Kropp, Martin. editor. (orcid)0000-0002-7439-6517&#160;Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729&#160;Anslow, Craig. editor. (orcid)0000-0001-8064-6300&#160;Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94544-1">https://doi.org/10.1007/978-3-031-94544-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608926 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Krogstie, John. editor. (orcid)0000-0003-4830-1876&#160;Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108&#160;Kappel, Gertri. editor. (orcid)0000-0002-4758-9436&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608927 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Krogstie, John. editor. (orcid)0000-0003-4830-1876&#160;Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108&#160;Kappel, Gerti. editor. (orcid)0000-0002-4758-9436&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601939 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Li, Chao. editor. (orcid)0000-0001-6218-4659&#160;Li, Zhenhua. editor. (orcid)0000-0001-7286-122X&#160;Shen, Li. editor. (orcid)0000-0001-9043-2998&#160;Wu, Fan. editor. (orcid)0000-0003-0965-9058&#160;Gong, Xiaoli. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2023: Parallel Processing Workshops Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:603423 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387&#160;Blanco Heras, Dora. editor.&#160;Pallis, George. editor.&#160;Herodotou, Herodotos. editor. (orcid)0000-0002-8717-1691&#160;Trihinas, Demetris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50684-0">https://doi.org/10.1007/978-3-031-50684-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603724 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;&Scaron;mite, Darja. editor. (orcid)0000-0003-1744-3118&#160;Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487&#160;Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X&#160;Marchesi, Michele. editor.&#160;Gregory, Peggy. editor. (orcid)0000-0001-7891-6666<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61154-4">https://doi.org/10.1007/978-3-031-61154-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data Storage Architectures and Technologies ent://SD_ILS/0/SD_ILS:604876 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Shu, Jiwu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-3534-1">https://doi.org/10.1007/978-981-97-3534-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603826 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X&#160;Santoro, Flavia. editor. (orcid)0000-0003-3421-1984&#160;Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712&#160;Soffer, Pnina. editor. (orcid)0000-0003-4659-883X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61057-8">https://doi.org/10.1007/978-3-031-61057-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:604430 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Filipe, Joaquim. editor.&#160;&#346;mia&#322;ek, Micha&#322;. editor.&#160;Brodsky, Alexander. editor.&#160;Hammoudi, Slimane. 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-64748-2">https://doi.org/10.1007/978-3-031-64748-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:604431 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Filipe, Joaquim. editor.&#160;&#346;mia&#322;ek, Micha&#322;. editor.&#160;Brodsky, Alexander. editor.&#160;Hammoudi, Slimane. 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-64755-0">https://doi.org/10.1007/978-3-031-64755-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602079 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Kadgien, Regine. editor.&#160;Jedlitschka, Andreas. editor.&#160;Janes, Andrea. editor.&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;Li, Xiaozhou. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602977 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237&#160;Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281&#160;Bellatreche, Ladjel. editor.&#160;Gargouri, Faiez. editor.&#160;Guegan, Chirine Ghedira. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55729-3">https://doi.org/10.1007/978-3-031-55729-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485295 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261&#160;Gee, James C. editor. (orcid)0000-0002-2258-0187&#160;Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016&#160;Bao, Siqi. editor. (orcid)0000-0003-3885-125X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20351-1">https://doi.org/10.1007/978-3-030-20351-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23&ndash;24, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486699 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36592-9">https://doi.org/10.1007/978-3-030-36592-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creativity in Intelligent Technologies and Data Science Third Conference, CIT&amp;DS 2019, Volgograd, Russia, September 16&ndash;19, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483868 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Kravets, Alla G. editor. (orcid)0000-0003-1675-8652&#160;Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696&#160;Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499&#160;Kultsova, Marina. editor. (orcid)0000-0002-2584-431X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29750-3">https://doi.org/10.1007/978-3-030-29750-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 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z 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/> Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612555 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Dacier, Marc. editor.&#160;Bailey, Michael. editor.&#160;Polychronakis, Michalis. editor.&#160;Antonakakis, Manos. 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-66332-6">https://doi.org/10.1007/978-3-319-66332-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neural Information Processing 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:613748 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Liu, Derong. editor.&#160;Xie, Shengli. editor.&#160;Li, Yuanqing. editor.&#160;Zhao, Dongbin. editor.&#160;El-Alfy, El-Sayed M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70136-3">https://doi.org/10.1007/978-3-319-70136-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611054 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Lintas, Alessandra. editor.&#160;Rovetta, Stefano. editor.&#160;Verschure, Paul F.M.J. editor.&#160;Villa, Alessandro E.P. 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-68612-7">https://doi.org/10.1007/978-3-319-68612-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Neural Networks and Machine Learning - ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611952 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Lintas, Alessandra. editor.&#160;Rovetta, Stefano. editor.&#160;Verschure, Paul F.M.J. editor.&#160;Villa, Alessandro E.P. 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-68600-4">https://doi.org/10.1007/978-3-319-68600-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives ent://SD_ILS/0/SD_ILS:613339 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Chen, Quan. author.&#160;Guo, Minyi. 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-6238-4">https://doi.org/10.1007/978-981-10-6238-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616259 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Dou, Yong. editor.&#160;Lin, Haixiang. editor.&#160;Sun, Guangyu. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;Heras, Dora. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616106 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Guerra, Esther. editor.&#160;van den Brand, Mark. 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-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications ent://SD_ILS/0/SD_ILS:617350 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Hameurlain, Abdelkader. editor.&#160;K&uuml;ng, Josef. editor.&#160;Wagner, Roland. editor.&#160;Decker, Hendrik. 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-55947-5">https://doi.org/10.1007/978-3-662-55947-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DataFlow Supercomputing Essentials Algorithms, Applications and Implementations ent://SD_ILS/0/SD_ILS:617859 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Milutinovic, Veljko. author.&#160;Kotlar, Milos. author.&#160;Stojanovic, Marko. author.&#160;Dundic, Igor. author.&#160;Trifunovic, Nemanja. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66125-4">https://doi.org/10.1007/978-3-319-66125-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:617818 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Chiba, Shigeru. editor.&#160;S&uuml;dholt, Mario. editor.&#160;Eugster, Patrick. editor.&#160;Ziarek, Lukasz. editor.&#160;Leavens, Gary T. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334882 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Wolf, Felix. editor.&#160;Mohr, Bernd. editor.&#160;Mey, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334882.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197282 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Kaklamanis, Christos. editor.&#160;Papatheodorou, Theodore. editor.&#160;Spirakis, Paul G. 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-32820-6">http://dx.doi.org/10.1007/978-3-642-32820-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195627 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Altman, Erik. editor.&#160;Shi, Weisong. 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-24403-2">http://dx.doi.org/10.1007/978-3-642-24403-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195262 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Malyshkin, Victor. 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-23178-0">http://dx.doi.org/10.1007/978-3-642-23178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195333 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Jeannot, Emmanuel. editor.&#160;Namyst, Raymond. editor.&#160;Roman, Jean. 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-23397-5">http://dx.doi.org/10.1007/978-3-642-23397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195334 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Jeannot, Emmanuel. editor.&#160;Namyst, Raymond. editor.&#160;Roman, Jean. 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-23400-2">http://dx.doi.org/10.1007/978-3-642-23400-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192025 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. 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-12535-5">http://dx.doi.org/10.1007/978-3-642-12535-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:192918 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Guarracino, Mario. editor.&#160;Talia, Domenico. 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-15277-1">http://dx.doi.org/10.1007/978-3-642-15277-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193047 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Ding, Chen. editor.&#160;Shao, Zhiyuan. editor.&#160;Zheng, Ran. 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-15672-4">http://dx.doi.org/10.1007/978-3-642-15672-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:192923 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;D&rsquo;Ambra, Pasqua. editor.&#160;Guarracino, Mario. editor.&#160;Talia, Domenico. 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-15291-7">http://dx.doi.org/10.1007/978-3-642-15291-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Hamlet, Dick. 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-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190573 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Malyshkin, Victor. 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-03275-2">http://dx.doi.org/10.1007/978-3-642-03275-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188254 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. 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-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188500 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Kleine B&uuml;ning, Hans. editor.&#160;Zhao, Xishun. 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-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186652 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Marques-Silva, Jo&atilde;o. editor.&#160;Sakallah, Karem A. 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-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184496 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Biere, Armin. editor.&#160;Gomes, Carla P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:183063 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11666806">http://dx.doi.org/10.1007/11666806</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182752 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Hoos, Holger H. editor.&#160;Mitchell, David G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182826 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Bacchus, Fahiem. editor.&#160;Walsh, Toby. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183238 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Konagaya, Akihiko. editor.&#160;Satou, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Distributed Systems Technologies, Web Services, and Applications ent://SD_ILS/0/SD_ILS:165407 2026-03-19T05:12:15Z 2026-03-19T05:12:15Z Author&#160;Birman, Kenneth P. 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-27601-7">http://dx.doi.org/10.1007/0-387-27601-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>