Search Results for Systems software. - Narrowed by: Algorithms.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-14T17:17:59Z
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:484616
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617027
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:613659
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74183-3">https://doi.org/10.1007/978-3-319-74183-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615930
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:618015
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The impact of algorithmic technologies on healthcare
ent://SD_ILS/0/SD_ILS:599726
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Dubey, Parul, editor Madankar, Mangala, editor Dubey, Pushkar, editor Hung, Bui Thanh, editor<br/>Preferred Shelf Number R859.7 .A78<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:606818
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81244-6">https://doi.org/10.1007/978-3-031-81244-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:606817
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81241-5">https://doi.org/10.1007/978-3-031-81241-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:606819
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81247-7">https://doi.org/10.1007/978-3-031-81247-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design
ent://SD_ILS/0/SD_ILS:607744
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3201-5">https://doi.org/10.1007/978-981-96-3201-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced techniques and technology of computer-aided feedback control
ent://SD_ILS/0/SD_ILS:594551
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Mbihi, Jean, author.<br/>Preferred Shelf Number TJ216<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611989
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65000-5">https://doi.org/10.1007/978-3-319-65000-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616137
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66799-7">https://doi.org/10.1007/978-3-319-66799-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616114
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65482-9">https://doi.org/10.1007/978-3-319-65482-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616071
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616016
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618114
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59105-6">https://doi.org/10.1007/978-3-319-59105-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:614261
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616761
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61994-1">https://doi.org/10.1007/978-3-319-61994-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615949
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59647-1">https://doi.org/10.1007/978-3-319-59647-1</a><br/>Format: Electronic Resources<br/>Availability 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-14T17:17:59Z
2026-03-14T17:17:59Z
Author Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616155
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65340-2">https://doi.org/10.1007/978-3-319-65340-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613073
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613725
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Desprez, Frédéric. editor. Dutot, Pierre-François. editor. Kaklamanis, Christos. editor. Marchal, Loris. editor. Molitorisz, Korbinian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58943-5">https://doi.org/10.1007/978-3-319-58943-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611744
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42432-3">https://doi.org/10.1007/978-3-319-42432-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GPS Theory, Algorithms and Applications
ent://SD_ILS/0/SD_ILS:612852
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50367-6">https://doi.org/10.1007/978-3-662-50367-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616260
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49381-6">https://doi.org/10.1007/978-3-662-49381-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616266
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49397-8">https://doi.org/10.1007/978-3-319-49397-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616064
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49390-8">https://doi.org/10.1007/978-3-662-49390-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Secure IT Systems 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616019
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Brumley, Billy Bob. editor. Röning, Juha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47560-8">https://doi.org/10.1007/978-3-319-47560-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618009
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616284
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49192-8">https://doi.org/10.1007/978-3-662-49192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVII
ent://SD_ILS/0/SD_ILS:616160
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Security 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618112
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Ray, Indrajit. editor. Gaur, Manoj Singh. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Sanghi, Dheeraj. editor. Kamakoti, V. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49806-5">https://doi.org/10.1007/978-3-319-49806-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485732
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11764-5">https://doi.org/10.1007/978-3-319-11764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of chemoinformatics algorithms
ent://SD_ILS/0/SD_ILS:542021
2026-03-14T17:17:59Z
2026-03-14T17:17:59Z
Author Faulon, Jean-Loup. Bender, Andreas, 1976-<br/>Preferred Shelf Number QD39.3 .E46 H357 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420082999">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>