Search Results for Science -- Software. - Narrowed by: 2018 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026ps$003d300? 2026-02-17T16:24:02Z Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399045 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145&#160;Dagien&#279;, Valentina. 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-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18&ndash;19, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401203 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Ham, Jaap. editor. (orcid)0000-0003-1703-5165&#160;Spagnolli, Anna. editor.&#160;Blankertz, Benjamin. editor.&#160;Gamberini, Luciano. editor.&#160;Jacucci, Giulio. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91593-7">https://doi.org/10.1007/978-3-319-91593-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Engineering 18th International Conference, ICWE 2018, C&aacute;ceres, Spain, June 5-8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401206 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918&#160;Klamma, Ralf. editor. (orcid)0000-0002-2296-3401&#160;Hern&aacute;ndez, Juan. editor. (orcid)0000-0002-6343-7395&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91662-0">https://doi.org/10.1007/978-3-319-91662-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Public-Key Cryptography &ndash; PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:401426 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Abdalla, Michel. editor. (orcid)0000-0002-2447-4329&#160;Dahab, Ricardo. 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-76578-5">https://doi.org/10.1007/978-3-319-76578-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings ent://SD_ILS/0/SD_ILS:401719 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Belqasmi, Fatna. editor.&#160;Harroud, Hamid. editor.&#160;Agueh, Max. editor.&#160;Dssouli, Rachida. editor.&#160;Kamoun, Faouzi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67837-5">https://doi.org/10.1007/978-3-319-67837-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Public-Key Cryptography &ndash; PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:401823 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Abdalla, Michel. editor. (orcid)0000-0002-2447-4329&#160;Dahab, Ricardo. 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-76581-5">https://doi.org/10.1007/978-3-319-76581-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401940 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Cuppens, Nora. editor.&#160;Lambrinoudakis, Costas. editor.&#160;Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-72817-9">https://doi.org/10.1007/978-3-319-72817-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig ent://SD_ILS/0/SD_ILS:402223 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Heckel, Reiko. editor.&#160;Taentzer, Gabriele. 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-75396-6">https://doi.org/10.1007/978-3-319-75396-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402375 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Avigad, Jeremy. editor.&#160;Mahboubi, Assia. 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-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402654 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Duffy, Vincent G. 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-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402656 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Antona, Margherita. editor.&#160;Stephanidis, Constantine. 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-92052-8">https://doi.org/10.1007/978-3-319-92052-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fog Computing Concepts, Frameworks and Technologies ent://SD_ILS/0/SD_ILS:402707 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Mahmood, Zaigham. 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-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402736 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201&#160;Campegiani, Paolo. editor.&#160;Czach&oacute;rski, Tadeusz. editor.&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Komnios, Ioannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95189-8">https://doi.org/10.1007/978-3-319-95189-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399061 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Ikl&eacute;, Matthew. editor.&#160;Franz, Arthur. editor.&#160;Rzepka, Rafal. editor.&#160;Goertzel, Ben. 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-97676-1">https://doi.org/10.1007/978-3-319-97676-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399086 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399111 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Baek, Joonsang. editor.&#160;Susilo, Willy. editor.&#160;Kim, Jongkil. 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-01446-9">https://doi.org/10.1007/978-3-030-01446-9</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 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z 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/> Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399167 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;de Supinski, Bronis R. editor.&#160;Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310&#160;Martorell, Xavier. editor.&#160;Mateo Bellido, Sergi. editor.&#160;Labarta, Jesus. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399266 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Dama&scaron;evi&#269;ius, Robertas. editor.&#160;Vasiljevien&#279;, Giedr&#279;. 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-99972-2">https://doi.org/10.1007/978-3-319-99972-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399395 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;U, Leong Hou. editor.&#160;Xie, Haoran. 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-01298-4">https://doi.org/10.1007/978-3-030-01298-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399578 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Lange, Tanja. editor.&#160;Steinwandt, Rainer. 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-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with Actors State-of-the-Art and Research Perspectives ent://SD_ILS/0/SD_ILS:399671 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Ricci, Alessandro. editor.&#160;Haller, Philipp. 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-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19&ndash;23, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399719 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Shacham, Hovav. editor.&#160;Boldyreva, Alexandra. 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-96878-0">https://doi.org/10.1007/978-3-319-96878-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. 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-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399985 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000&#160;Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:400030 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Kurosu, Masaaki. 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-91250-9">https://doi.org/10.1007/978-3-319-91250-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. 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-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400150 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Ham, Jaap. editor. (orcid)0000-0003-1703-5165&#160;Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996&#160;Morita, Plinio P. editor. (orcid)0000-0001-9515-6478&#160;Burns, Catherine M. editor. (orcid)0000-0002-6182-958X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78978-1">https://doi.org/10.1007/978-3-319-78978-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19&ndash;23, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400161 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Shacham, Hovav. editor.&#160;Boldyreva, Alexandra. 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-96881-0">https://doi.org/10.1007/978-3-319-96881-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400265 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Medina, Manel. editor.&#160;Mitrakas, Andreas. editor.&#160;Rannenberg, Kai. editor.&#160;Schweighofer, Erich. editor.&#160;Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Programming with Fortran ent://SD_ILS/0/SD_ILS:400284 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Chivers, Ian. author.&#160;Sleightholme, Jane. 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-75502-1">https://doi.org/10.1007/978-3-319-75502-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Content Credibility ent://SD_ILS/0/SD_ILS:400291 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Wierzbicki, Adam. 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-77794-8">https://doi.org/10.1007/978-3-319-77794-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400293 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Rau, Pei-Luen Patrick. 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-92141-9">https://doi.org/10.1007/978-3-319-92141-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19&ndash;23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400329 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Shacham, Hovav. editor.&#160;Boldyreva, Alexandra. 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-96884-1">https://doi.org/10.1007/978-3-319-96884-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400464 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;R&ouml;cker, Carsten. editor.&#160;O&rsquo;Donoghue, John. editor.&#160;Ziefle, Martina. editor.&#160;Maciaszek, Leszek. editor.&#160;Molloy, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93644-4">https://doi.org/10.1007/978-3-319-93644-4</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 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z 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/> Advances in Cryptology &ndash; EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II ent://SD_ILS/0/SD_ILS:400626 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Nielsen, Jesper Buus. editor.&#160;Rijmen, Vincent. 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-78375-8">https://doi.org/10.1007/978-3-319-78375-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401065 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Hu, Jiankun. editor.&#160;Khalil, Ibrahim. editor.&#160;Tari, Zahir. editor.&#160;Wen, Sheng. 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-90775-8">https://doi.org/10.1007/978-3-319-90775-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, S&atilde;o Paulo, Brazil, May 8-12, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401115 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Dimuro, Gra&ccedil;aliz Pereira. editor. (orcid)0000-0001-6986-9888&#160;Antunes, Luis. editor. (orcid)0000-0002-8237-6524&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398962 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Cox, Michael T. editor.&#160;Funk, Peter. editor. (orcid)0000-0002-5562-1424&#160;Begum, Shahina. editor. (orcid)0000-0002-1212-7637&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30&mdash;December 2, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399347 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Capkun, Srdjan. editor.&#160;Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02641-7">https://doi.org/10.1007/978-3-030-02641-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399537 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399545 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399614 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Catalano, Dario. editor.&#160;De Prisco, Roberto. 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-98113-0">https://doi.org/10.1007/978-3-319-98113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399630 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Miesenberger, Klaus. editor.&#160;Kouroupetroglou, Georgios. 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-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399772 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Luo, Yuhua. editor. (orcid)0000-0003-3057-4753&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399812 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Rusu, Vlad. 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-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W&uuml;rzburg, Germany, September 19&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399852 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Abreu, Salvador. editor. (orcid)0000-0002-1613-4631&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399910 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Kurosu, Masaaki. 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-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399923 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. 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-03326-2">https://doi.org/10.1007/978-3-030-03326-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 &ndash; October 3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399945 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Camenisch, Jan. editor. (orcid)0000-0001-6654-9459&#160;Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00434-7">https://doi.org/10.1007/978-3-030-00434-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22&ndash;23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400096 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930&#160;Cobb, Sue. editor. (orcid)0000-0002-4600-6235&#160;Interrante, Victoria. editor. (orcid)0000-0002-3313-6663&#160;kato, Hirokazu. editor.&#160;Stricker, Didier. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01790-3">https://doi.org/10.1007/978-3-030-01790-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400110 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Kurosu, Masaaki. 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-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400230 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Howar, Falk. editor.&#160;Barnat, Ji&#345;&iacute;. 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-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Dynamic Data Driven Applications Systems ent://SD_ILS/0/SD_ILS:400436 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Blasch, Erik. editor.&#160;Ravela, Sai. editor.&#160;Aved, Alex. 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-95504-9">https://doi.org/10.1007/978-3-319-95504-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Cryptology &ndash; CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400594 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Smart, Nigel P. editor. (orcid)0000-0003-3567-3304&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III ent://SD_ILS/0/SD_ILS:400625 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Nielsen, Jesper Buus. editor.&#160;Rijmen, Vincent. 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-78372-7">https://doi.org/10.1007/978-3-319-78372-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I ent://SD_ILS/0/SD_ILS:400627 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Nielsen, Jesper Buus. editor.&#160;Rijmen, Vincent. 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-78381-9">https://doi.org/10.1007/978-3-319-78381-9</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 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z 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/> Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings ent://SD_ILS/0/SD_ILS:401549 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Guidi, Barbara. editor.&#160;Ricci, Laura. editor.&#160;Calafate, Carlos. editor.&#160;Gaggi, Ombretta. editor.&#160;Marquez-Barja, Johann. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-76111-4">https://doi.org/10.1007/978-3-319-76111-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Mobile Services &ndash; AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401587 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Aiello, Marco. editor.&#160;Yang, Yujiu. editor.&#160;Zou, Yuexian. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94361-9">https://doi.org/10.1007/978-3-319-94361-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402485 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Mokhtari, Mounir. editor.&#160;Abdulrazak, Bessam. editor.&#160;Aloulou, Hamdi. 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-94523-1">https://doi.org/10.1007/978-3-319-94523-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:402524 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Liu, Peng. editor.&#160;Mauw, Sjouke. editor.&#160;Stolen, Ketil. 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-74860-3">https://doi.org/10.1007/978-3-319-74860-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:402670 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91803-7">https://doi.org/10.1007/978-3-319-91803-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:402671 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91797-9">https://doi.org/10.1007/978-3-319-91797-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402672 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. 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-91806-8">https://doi.org/10.1007/978-3-319-91806-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emergent behavior in complex systems engineering : a modeling and simulation approach ent://SD_ILS/0/SD_ILS:594206 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Mittal, Saurabh, editor.&#160;Diallo, Saikou Y., editor.&#160;Tolk, Andreas, editor.<br/>Preferred Shelf Number&#160;TA168 .E53 2018<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding color management ent://SD_ILS/0/SD_ILS:594302 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Sharma, Abhay, author.<br/>Preferred Shelf Number&#160;TA1637<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223702">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223702</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifying uncertainty in subsurface systems ent://SD_ILS/0/SD_ILS:594521 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Scheidt, Celine, author.&#160;Li, Lewis, author.&#160;Caers, Jef, author.<br/>Preferred Shelf Number&#160;QE33.2 .S82 S34 2018 EB<br/>Electronic Access&#160;<a href="https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119325888">https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119325888</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social engineering : the science of human hacking ent://SD_ILS/0/SD_ILS:594635 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Hadnagy, Christopher, author.<br/>Preferred Shelf Number&#160;HM668 .H33 2018<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119433729">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119433729</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Solving partial differential equation applications with PDE2D ent://SD_ILS/0/SD_ILS:594641 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Sewell, Granville, author.<br/>Preferred Shelf Number&#160;QA377 .S4643 2018<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507918">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507918</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The scaled boundary finite element method : introduction to theory and implementation ent://SD_ILS/0/SD_ILS:594366 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Song, Chongmin, author.<br/>Preferred Shelf Number&#160;QC20.7 .F56<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388487">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388487</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Implementing Reproducible Research ent://SD_ILS/0/SD_ILS:542517 2026-02-17T16:24:02Z 2026-02-17T16:24:02Z Author&#160;Stodden, Victoria , editor.&#160;Leisch, Friedrich, editor.&#160;Peng, Roger D., editor.&#160;Taylor and Francis.<br/>Preferred Shelf Number&#160;Q180.55 .S7<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315373461">Click here to view.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>