Search Results for Science -- Software.

Elements of software science

2026-03-30T11:23:48Z

Author Halstead, Maurice Howard, 1918-
Preferred Shelf Number QA 76.6 H3 1977
Format: Books
Availability Beytepe Library~2

Perspectives on data science for software engineering

2026-03-30T11:23:48Z

Author Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
Format: Electronic Resources
Availability Online Library~1

Computing handbook : computer science and software engineering

2026-03-30T11:23:48Z

Author Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number QA76 .C57315 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software engineering foundations : a software science perspective

2026-03-30T11:23:48Z

Author Wang, Yingxu., author.
Preferred Shelf Number QA76.758 .W375 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-30T11:23:48Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86644-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00239-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00715-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00712-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-30T11:23:48Z

Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90897-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-03406-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-30T11:23:48Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57228-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-30T11:23:48Z

Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57231-9
Format: Electronic Resources
Availability Online Library~1

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

2026-03-30T11:23:48Z

Author Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69042-6
Format: Electronic Resources
Availability Online Library~1

Cyber-Physical Systems Data Science, Modelling and Software Optimization

2026-03-30T11:23:48Z

Author Kravets, Alla G. author. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67685-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70285-3
Format: Electronic Resources
Availability Online Library~1

A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science

2026-03-30T11:23:48Z

Author Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-29046-6
Format: Electronic Resources
Availability Online Library~1

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21438-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35311-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-03-30T11:23:48Z

Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30829-1
Format: Electronic Resources
Availability Online Library~1

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

2026-03-30T11:23:48Z

Author Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26384-2
Format: Electronic Resources
Availability Online Library~1

Real-world software projects for computer science and engineering students

2026-03-30T11:23:48Z

Author Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.
Preferred Shelf Number QA76.6 .G86 2021
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003119883 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-03-30T11:23:48Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2026-03-30T11:23:48Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-30T11:23:48Z

Author Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02750-6
Format: Electronic Resources
Availability Online Library~1

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–20, 2018. Proceedings

2026-03-30T11:23:48Z

Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-30T11:23:48Z

Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54458-7
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-30T11:23:48Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57141-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33622-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-30T11:23:48Z

Author Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-03-30T11:23:48Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18473-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-03-30T11:23:48Z

Author Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-30T11:23:48Z

Author Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2026-03-30T11:23:48Z

Author Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-30T11:23:48Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-03-30T11:23:48Z

Author Birkedal, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28729-9
Format: Electronic Resources
Availability Online Library~1

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

2026-03-30T11:23:48Z

Author Yevick, David.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

2026-03-30T11:23:48Z

Author Tchounikine, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20003-8
Format: Electronic Resources
Availability Online Library~1

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

2026-03-30T11:23:48Z

Author Xiong, Jay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7326-9
Format: Electronic Resources
Availability Online Library~1

Computer Science The Hardware, Software and Heart of It

2026-03-30T11:23:48Z

Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-03-30T11:23:48Z

Author Hofmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19805-2
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-03-30T11:23:48Z

Author Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12032-9
Format: Electronic Resources
Availability Online Library~1

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2026-03-30T11:23:48Z

Author Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16496-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-03-30T11:23:48Z

Author Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00596-1
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2026-03-30T11:23:48Z

Author Amadio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2026-03-30T11:23:48Z

Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2026-03-30T11:23:48Z

Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2026-03-30T11:23:48Z

Author Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2026-03-30T11:23:48Z

Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11690634
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2026-03-30T11:23:48Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

The cognitive dynamics of computer science cost-effective large scale software development

2026-03-30T11:23:48Z

Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2026-03-30T11:23:48Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2026-03-30T11:23:48Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-03-30T11:23:48Z

Author Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106850
Format: Electronic Resources
Availability Online Library~1

Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings

2026-03-30T11:23:48Z

Author Madhavan, C. E. Veni, ed. by.
Preferred Shelf Number QA 76.751 F68 1989
Format: Books
Availability Beytepe Library~1

Evolutionary large-scale multi-objective optimization and applications : integrating evolutionary computation, machine learning, and data science

2026-03-30T11:23:48Z

Author Zhang, Xingyi (Software engineer), author. Cheng, Ran (Computer scientist), author. Tian, Ye (Associate professor), author. Jin, Yaochu, 1966- author.
Preferred Shelf Number QA402.5 .Z4193 2024 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394178445
Format: Electronic Resources
Availability Online Library~1

Data science with semantic technologies. New trends and future developments

2026-03-30T11:23:48Z

Author Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Preferred Shelf Number QA76.9 .B45
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003310785 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Data science with semantic technologies. Deployment and exploration

2026-03-30T11:23:48Z

Author Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Preferred Shelf Number QA76.9 .B45
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003310792 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Basic statistics for life scientists : a concise handbook of essential techniques

2026-03-30T11:23:48Z

Author Tomek, Jakub, author. Eisner, David, 1955- author.
Preferred Shelf Number QH323.5 .T66 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394284993
Format: Electronic Resources
Availability Online Library~1

Next-generation systems and secure computing

2026-03-30T11:23:48Z

Author Barman, Subhabrata, editor. Koley, Santanu, editor. Joardar, Subhankar, editor.
Preferred Shelf Number QA76.9 .A25 N49 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228522
Format: Electronic Resources
Availability Online Library~1

AI-based advanced optimization techniques for edge computing

2026-03-30T11:23:48Z

Author Mohit, Kumar, editor.
Preferred Shelf Number QA76.583 .A33 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287062
Format: Electronic Resources
Availability Online Library~1

Psychometrics, Test Theory, and the Latent Factors Model.

2026-03-30T11:23:48Z

Author Blahus, Pet. Blahus, Petr/Brown, Bruce L. Bunderson, C. Victor.
Preferred Shelf Number XX(600387.1)
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119312246
Format: Electronic Resources
Availability Online Library~1

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

2026-03-30T11:23:48Z

Author Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92196-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024

2026-03-30T11:23:48Z

Author Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90758-6
Format: Electronic Resources
Availability Online Library~1

5GtoB From Theory to Practice

2026-03-30T11:23:48Z

Author Song, Liang. author. Chen, Mingsong. author. Xu, Zhibing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8453-0
Format: Electronic Resources
Availability Online Library~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

2026-03-30T11:23:48Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73741-1
Format: Electronic Resources
Availability Online Library~1

A First Introduction to Quantum Computing and Information

2026-03-30T11:23:48Z

Author Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66425-0
Format: Electronic Resources
Availability Online Library~1

Emerging Research in Intelligent Systems Proceedings of the CIT 2024 - Volume 1

2026-03-30T11:23:48Z

Author Olmedo Cifuentes, Gonzalo Fernando. editor. (orcid)0000-0002-6205-1685 Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614 Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87704-9
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-03-30T11:23:48Z

Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86695-1
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

2026-03-30T11:23:48Z

Author Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87569-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2

2026-03-30T11:23:48Z

Author Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3762-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of LLEAHMM 2024 Logistics & Lean Engineering for Advanced Healthcare Methodologies Modelling

2026-03-30T11:23:48Z

Author Gallo, Mosè. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82923-9
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-30T11:23:48Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75778-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 1

2026-03-30T11:23:48Z

Author Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3741-6
Format: Electronic Resources
Availability Online Library~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1

2026-03-30T11:23:48Z

Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94845-9
Format: Electronic Resources
Availability Online Library~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2

2026-03-30T11:23:48Z

Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94852-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024

2026-03-30T11:23:48Z

Author Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-98410-5
Format: Electronic Resources
Availability Online Library~1

The data science handbook

2026-03-30T11:23:48Z

Author Cady, Field, 1984- author.
Preferred Shelf Number QA76.9 .D32 C33 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: Electronic Resources
Availability Online Library~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-03-30T11:23:48Z

Author Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number Q325.73 .A75 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Electronic Resources
Availability Online Library~1

Green computational intelligence : sustainable strategies and emerging technologies

2026-03-30T11:23:48Z

Author Pathak, Nitish, editor.
Preferred Shelf Number QA76.9 .E58 G74 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394383658
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2

2026-03-30T11:23:48Z

Author Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8343-7
Format: Electronic Resources
Availability Online Library~1

Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers

2026-03-30T11:23:48Z

Author Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71412-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Informatics Proceedings of Eighth International Symposium on Intelligent Informatics (ISI 2023)

2026-03-30T11:23:48Z

Author Pal, Sankar K. editor. (orcid)0000-0003-3301-4751 Thampi, Sabu M. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2147-4
Format: Electronic Resources
Availability Online Library~1

Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

2026-03-30T11:23:48Z

Author Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75201-8
Format: Electronic Resources
Availability Online Library~1

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

2026-03-30T11:23:48Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67695-6
Format: Electronic Resources
Availability Online Library~1

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

2026-03-30T11:23:48Z

Author Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80607-0
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

2026-03-30T11:23:48Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81241-5
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

2026-03-30T11:23:48Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81244-6
Format: Electronic Resources
Availability Online Library~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

2026-03-30T11:23:48Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81247-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing and Networking Proceedings of IC-ICN 2024

2026-03-30T11:23:48Z

Author Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8631-2
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings

2026-03-30T11:23:48Z

Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81888-2
Format: Electronic Resources
Availability Online Library~1

Systems Benchmarking For Scientists and Engineers

2026-03-30T11:23:48Z

Author Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85634-1
Format: Electronic Resources
Availability Online Library~1

Guide to Software Project Management

2026-03-30T11:23:48Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80578-3
Format: Electronic Resources
Availability Online Library~1

Compiler Construction Fundamentals and Applications

2026-03-30T11:23:48Z

Author Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84813-1
Format: Electronic Resources
Availability Online Library~1

Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings

2026-03-30T11:23:48Z

Author Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097 Li, Xiaofan. editor. (orcid)0000-0003-4379-3277 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-5597-7
Format: Electronic Resources
Availability Online Library~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-30T11:23:48Z

Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97492-2
Format: Electronic Resources
Availability Online Library~1

Object-based Programming with Go

2026-03-30T11:23:48Z

Author Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44704-5
Format: Electronic Resources
Availability Online Library~1

Emerging Research in Intelligent Systems Proceedings of the CIT 2024 - Volume 2

2026-03-30T11:23:48Z

Author Olmedo Cifuentes, Gonzalo Fernando. editor. (orcid)0000-0002-6205-1685 Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614 Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-87701-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Computational Intelligence 11th International Conference, CSCI 2024, Las Vegas, NV, USA, December 11-13, 2024, Proceedings, Part V

2026-03-30T11:23:48Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95127-5
Format: Electronic Resources
Availability Online Library~1

Project Management in Cloud and IoT Applications

2026-03-30T11:23:48Z

Author Bhatt, Pramod Chandra P. author. Sehgal, Naresh Kumar. author. Castro, Richard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-99427-2
Format: Electronic Resources
Availability Online Library~1

Multivariable Control Engineering Problems and their Solutions with GNU Octave

2026-03-30T11:23:48Z

Author Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95408-5
Format: Electronic Resources
Availability Online Library~1

Data Science and Communication Engineering Proceedings of ICTDsC 2024

2026-03-30T11:23:48Z

Author Misra, Debajyoti. editor. (orcid)0000-0002-3196-9821 Chakraborty, Mithun. editor. De, Debashis. editor. (orcid)0000-0002-9688-9806 Buyya, Rajkumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4543-5
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Computing and Communication Systems for Industrial Applications ComSIA 2024

2026-03-30T11:23:48Z

Author Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5862-3
Format: Electronic Resources
Availability Online Library~1

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2026-03-30T11:23:48Z

Author Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73751-0
Format: Electronic Resources
Availability Online Library~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-03-30T11:23:48Z

Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73887-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems

2026-03-30T11:23:48Z

Author Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64399-6
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-30T11:23:48Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75775-4
Format: Electronic Resources
Availability Online Library~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-30T11:23:48Z

Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75783-9
Format: Electronic Resources
Availability Online Library~1

Numbers and Computers

2026-03-30T11:23:48Z

Author Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67482-2
Format: Electronic Resources
Availability Online Library~1

Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems

2026-03-30T11:23:48Z

Author Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003093350 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Electromagnetic wave absorbing materials : fundamentals and applications

2026-03-30T11:23:48Z

Author Wu, Hongjing (Professor), editor. Luo, Jun (Professor of microelectronics), editor. Yang, Meiyin, editor.
Preferred Shelf Number QC182 .W8 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119699316
Format: Electronic Resources
Availability Online Library~1

Spatial computing : an AI-driven business revolution

2026-03-30T11:23:48Z

Author Hackl, Cathy, author. Cronin, Irena, author.
Preferred Shelf Number HD45 .H226 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394308538
Format: Electronic Resources
Availability Online Library~1

Optimized computational intelligence driven decision-making : theory, application and challenges

2026-03-30T11:23:48Z

Preferred Shelf Number Q342 .O68 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242566
Format: Electronic Resources
Availability Online Library~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II

2026-03-30T11:23:48Z

Author Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64064-3
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers

2026-03-30T11:23:48Z

Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49585-4
Format: Electronic Resources
Availability Online Library~1

New Perspectives in Software Engineering

2026-03-30T11:23:48Z

Author Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50590-4
Format: Electronic Resources
Availability Online Library~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-03-30T11:23:48Z

Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54358-6
Format: Electronic Resources
Availability Online Library~1

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

2026-03-30T11:23:48Z

Author Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56222-8
Format: Electronic Resources
Availability Online Library~1

Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering

2026-03-30T11:23:48Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52664-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2023

2026-03-30T11:23:48Z

Author Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0180-3
Format: Electronic Resources
Availability Online Library~1

Industrial Recommender System Principles, Technologies and Enterprise Applications

2026-03-30T11:23:48Z

Author Hu, Lantao. author. Li, Yueting. author. Cui, Guangfan. author. Yi, Kexin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2581-6
Format: Electronic Resources
Availability Online Library~1

Sports Technology Technologies, Fields of Application, Sports Equipment and Materials for Sport

2026-03-30T11:23:48Z

Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-68703-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Intelligent Vision and Computing (ICIVC 2023) Volume 2

2026-03-30T11:23:48Z

Author Saha, Apu Kumar. editor. (orcid)0000-0002-3475-018X Sharma, Harish. editor. Prasad, Mukesh. editor. (orcid)0000-0002-7745-9667 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71388-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 3

2026-03-30T11:23:48Z

Author Singh, Yashwant. editor. Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Kolekar, Maheshkumar H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7862-1
Format: Electronic Resources
Availability Online Library~1

Using Artificial Intelligence to Solve Transportation Problems

2026-03-30T11:23:48Z

Author Sładkowski, Aleksander. editor. (orcid)0000-0002-1041-4309 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69487-5
Format: Electronic Resources
Availability Online Library~1

Smart edge computing : an operation research perspective

2026-03-30T11:23:48Z

Author Chakraborty, Rajdeep, editor. Ghosh, Anupam, editor. Mandal, Jyotsna Kumar, editor. Choudhury, Tanupriya, editor. Chatterjee, Prasenjit, editor.
Preferred Shelf Number QA76.583
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277599
Format: Electronic Resources
Availability Online Library~1

Light sheet fluorescence microscopy

2026-03-30T11:23:48Z

Author Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.
Preferred Shelf Number QH212 .F55
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910
Format: Electronic Resources
Availability Online Library~1

Inventory of biodiversity today : new methods and discoveries

2026-03-30T11:23:48Z

Author Nicolas, Violaine, editor.
Preferred Shelf Number QH541.15 .B56 I58 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394316946
Format: Electronic Resources
Availability Online Library~1

Computer Networks Data Communications, Internet and Security

2026-03-30T11:23:48Z

Author Elahi, Ata. author. Cushman, Alex. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42018-4
Format: Electronic Resources
Availability Online Library~1

Challenging Programming in Python: A Problem Solving Perspective

2026-03-30T11:23:48Z

Author Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-39999-2
Format: Electronic Resources
Availability Online Library~1

Solving Ordinary Differential Equations in Python

2026-03-30T11:23:48Z

Author Sundnes, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46768-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Sustainability

2026-03-30T11:23:48Z

Author Alloghani, Mohamed Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45214-7
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

2026-03-30T11:23:48Z

Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7743-7
Format: Electronic Resources
Availability Online Library~1

Data Science and Communication Proceedings of ICTDsC 2023

2026-03-30T11:23:48Z

Author Tavares, João Manuel R. S. editor. (orcid)0000-0001-7603-6526 Rodrigues, Joel J. P. C. editor. Misra, Debajyoti. editor. (orcid)0000-0002-3196-9821 Bhattacherjee, Debasmriti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5435-3
Format: Electronic Resources
Availability Online Library~1

Information Security Planning A Practical Approach

2026-03-30T11:23:48Z

Author Lincke, Susan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43118-0
Format: Electronic Resources
Availability Online Library~1

Intelligent Systems, Business, and Innovation Research

2026-03-30T11:23:48Z

Author Khoury, Rim El. editor. (orcid)0000-0003-4359-7591 Nasrallah, Nohade. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36895-0
Format: Electronic Resources
Availability Online Library~1

Digital Signal Processing Illustration Using Python

2026-03-30T11:23:48Z

Author Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-6752-0
Format: Electronic Resources
Availability Online Library~1

Communication and Applied Technologies Proceedings of ICOMTA 2023

2026-03-30T11:23:48Z

Author Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Castro, Laura M. editor. Espinosa, Araceli. editor. Puentes-Rivera, Iván. editor. López-López, Paulo Carlos. editor. (orcid)0000-0002-8101-7976
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7210-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of the 6th International Conference on Communications and Cyber Physical Engineering ICCCE 2023; 28-29 April, Hyderabad, India

2026-03-30T11:23:48Z

Author Kumar, Amit. editor. Mozar, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7137-4
Format: Electronic Resources
Availability Online Library~1

Project Management in Cloud Applications

2026-03-30T11:23:48Z

Author Bhatt, Pramod Chandra P. author. Sehgal, Naresh Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53890-2
Format: Electronic Resources
Availability Online Library~1

Infrared Small Target Detection Theory, Methods, and Algorithms.

2026-03-30T11:23:48Z

Author Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-9799-2
Format: Electronic Resources
Availability Online Library~1

Linear Multivariable Control Engineering Using GNU Octave

2026-03-30T11:23:48Z

Author Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44508-8
Format: Electronic Resources
Availability Online Library~1

Large Language Models in Cybersecurity Threats, Exposure and Mitigation

2026-03-30T11:23:48Z

Author Kucharavy, Andrei. editor. Plancherel, Octave. editor. Mulder, Valentin. editor. Mermoud, Alain. editor. Lenders, Vincent. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54827-7
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

2026-03-30T11:23:48Z

Author Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62245-8
Format: Electronic Resources
Availability Online Library~1

Artificial intelligence and Machine Learning 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers

2026-03-30T11:23:48Z

Author Soliman, Khalid S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62843-6
Format: Electronic Resources
Availability Online Library~1

Information Management and Big Data 10th Annual International Conference, SIMBig 2023, Mexico City, Mexico, December 13-15, 2023, Proceedings

2026-03-30T11:23:48Z

Author Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Ceh-Varela, Eduardo. editor. (orcid)0000-0001-6277-2741 Vargas-Solar, Genoveva. editor. (orcid)0000-0001-9545-1821 Marcacini, Ricardo. editor. (orcid)0000-0002-2309-3487 Tadonki, Claude. editor. (orcid)0000-0003-1194-6400
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63616-5
Format: Electronic Resources
Availability Online Library~1

Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures

2026-03-30T11:23:48Z

Author Bulić, Patricio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58075-8
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I

2026-03-30T11:23:48Z

Author Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62846-7
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II

2026-03-30T11:23:48Z

Author Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62849-8
Format: Electronic Resources
Availability Online Library~1

Face De-identification: Safeguarding Identities in the Digital Era

2026-03-30T11:23:48Z

Author Wen, Yunqian. author. Liu, Bo. author. (orcid)0000-0002-3603-6617 Song, Li. author. Cao, Jingyi. author. Xie, Rong. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-58222-6
Format: Electronic Resources
Availability Online Library~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

2026-03-30T11:23:48Z

Author Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64076-6
Format: Electronic Resources
Availability Online Library~1

Extended Selected Papers of the 14th International Conference on Information, Intelligence, Systems, and Applications IISA2023

2026-03-30T11:23:48Z

Author Bourbakis, Nikolaos. editor. Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67426-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on Intelligent Systems and Networks ICISN 2024, 22-23 March 2024, Hanoi, Vietnam

2026-03-30T11:23:48Z

Author Nguyen, Thi Dieu Linh. editor. Dawson, Maurice. editor. Ngoc, Le Anh. editor. Lam, Kwok Yan. editor. (orcid)0000-0001-7479-7970 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-5504-2
Format: Electronic Resources
Availability Online Library~1

Experimentation in Software Engineering

2026-03-30T11:23:48Z

Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-69306-3
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-03-30T11:23:48Z

Author Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72621-7
Format: Electronic Resources
Availability Online Library~1

Computational Thinking First Algorithms, Then Code

2026-03-30T11:23:48Z

Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59922-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Digital Control An Integrated Approach

2026-03-30T11:23:48Z

Author Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66830-2
Format: Electronic Resources
Availability Online Library~1

EndNote 1-2-3 Easy! Reference Management for the Professional

2026-03-30T11:23:48Z

Author Agrawal, Abha. author. Rasouli, Majid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61996-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Intelligent Vision and Computing (ICIVC 2023) Volume 1

2026-03-30T11:23:48Z

Author Saha, Apu Kumar. editor. (orcid)0000-0002-3475-018X Sharma, Harish. editor. Prasad, Mukesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71391-0
Format: Electronic Resources
Availability Online Library~1

R-ticulate : a beginner's guide to data analysis for natural scientists

2026-03-30T11:23:48Z

Author Bader, Martin (Professor), author. Leuzinger, Sebastian, author.
Preferred Shelf Number Q183.9 .B33 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119717980
Format: Electronic Resources
Availability Online Library~1

Simulation techniques of digital twin in real-time applications : design modeling and implementation

2026-03-30T11:23:48Z

Author Anand, Abhineet, editor.
Preferred Shelf Number QA76.9 .C65 S56 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257003
Format: Electronic Resources
Availability Online Library~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

2026-03-30T11:23:48Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46002-9
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

2026-03-30T11:23:48Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49266-2
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

2026-03-30T11:23:48Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49269-3
Format: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

2026-03-30T11:23:48Z

Author Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50423-5
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent System and Smart Technologies Proceedings of I2ST'23

2026-03-30T11:23:48Z

Author Gherabi, Noredine. editor. Awad, Ali Ismail. editor. Nayyar, Anand. editor. (orcid)0000-0002-9821-6146 Bahaj, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47672-3
Format: Electronic Resources
Availability Online Library~1

Finite Element Methods Parallel-Sparse Statics and Eigen-Solutions

2026-03-30T11:23:48Z

Author Nguyen, Duc Thai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-48788-0
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-30T11:23:48Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 1

2026-03-30T11:23:48Z

Author Singh, Yashwant. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Gonçalves, Paulo J. Sequeira. editor. Kar, Arpan Kumar. editor. (orcid)0000-0003-4186-4887 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2839-8
Format: Electronic Resources
Availability Online Library~1

13th International Conference on Information Systems and Advanced Technologies "ICISAT 2023" New Trends in Artificial Intelligence, Computing and Decision Making. Volume 1

2026-03-30T11:23:48Z

Author Laouar, Mohamed Ridda. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Piuri, Vincenzo. editor. Rad, Dana. editor. Touati Hamad, Zineb. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60591-8
Format: Electronic Resources
Availability Online Library~1

13th International Conference on Information Systems and Advanced Technologies "ICISAT 2023" New Trends in Artificial Intelligence, Computing and Decision Making. Volume 2

2026-03-30T11:23:48Z

Author Laouar, Mohamed Ridda. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Piuri, Vincenzo. editor. Rad, Dana. editor. Touati Hamad, Zineb. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60594-9
Format: Electronic Resources
Availability Online Library~1

Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference (NiDS 2024)

2026-03-30T11:23:48Z

Author Mylonas, Phivos. editor. (orcid)0000-0002-6916-3129 Kardaras, Dimitris. editor. Caro, Jaime. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73344-4
Format: Electronic Resources
Availability Online Library~1

Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 2

2026-03-30T11:23:48Z

Author Illés, Zoltán. editor. Verma, Chaman. editor. (orcid)0000-0002-9925-112X Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-3442-9
Format: Electronic Resources
Availability Online Library~1

The 13th Conference on Information Technology and Its Applications Proceedings of the International Conference CITA 2024

2026-03-30T11:23:48Z

Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Huynh, Cong-Phap. editor. Nguyen, Thanh Thuy. editor. Le-Khac, Nhien-An. editor. (orcid)0000-0003-4373-2212 Nguyen, Quang-Vu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74127-2
Format: Electronic Resources
Availability Online Library~1

Cell Migration in Development, Health and Disease

2026-03-30T11:23:48Z

Author Brüning-Richardson, Anke. editor. (orcid)0000-0002-9862-9805 Knipp, Sabine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64532-7
Format: Electronic Resources
Availability Online Library~1

IoT product design and development : best practices for industrial, consumer, and business applications

2026-03-30T11:23:48Z

Author Fattahi, Ahmad, author.
Preferred Shelf Number TK5105.8857 .F384 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119787686
Format: Electronic Resources
Availability Online Library~1

Data conscience : algorithmic siege on our humanity

2026-03-30T11:23:48Z

Author Marshall, Brandeis (Brandeis Hill), author. Gebru, Timnit, 1982 or 1983- writer of preface.
Preferred Shelf Number HM851 .M37263 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320721
Format: Electronic Resources
Availability Online Library~1

Advances in data science and analytics : concepts and paradigms

2026-03-30T11:23:48Z

Author Niranjanamurthy, M., editor. Gianey, Hemant Kumar, editor. Gandomi, Amir H., editor.
Preferred Shelf Number QA76.9 .D343 A38 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792826
Format: Electronic Resources
Availability Online Library~1

Deep learning : from big data to artificial intelligence with R

2026-03-30T11:23:48Z

Author Tuffery, Stéphane, author.
Preferred Shelf Number Q325.73 .T84 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119845041
Format: Electronic Resources
Availability Online Library~1

Gamification for resilience : resilient informed decision-making

2026-03-30T11:23:48Z

Author Gheorghe, Adrian V., author. Katina, Polinpapilinho F., author.
Preferred Shelf Number HT166 .G487 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157778
Format: Electronic Resources
Availability Online Library~1

Clinical applications of digital dental technology

2026-03-30T11:23:48Z

Author Masri, Radi, 1975- editor. Driscoll, Carl F., editor.
Preferred Shelf Number RK309 .C55 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119800613
Format: Electronic Resources
Availability Online Library~1

Handbook of software fault localization : foundations and advances

2026-03-30T11:23:48Z

Author Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.
Preferred Shelf Number QA76.76 .F34 H36 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2026-03-30T11:23:48Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2446-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-03-30T11:23:48Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

2026-03-30T11:23:48Z

Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5968-6
Format: Electronic Resources
Availability Online Library~1

Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings

2026-03-30T11:23:48Z

Author Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45682-4
Format: Electronic Resources
Availability Online Library~1

Teaching Biostatistics in Medicine and Allied Health Sciences

2026-03-30T11:23:48Z

Author Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26010-0
Format: Electronic Resources
Availability Online Library~1

Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)

2026-03-30T11:23:48Z

Author Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6755-9
Format: Electronic Resources
Availability Online Library~1

Sustainable Design and Manufacturing Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)

2026-03-30T11:23:48Z

Author Scholz, Steffen G. editor. Howlett, Robert J. editor. Setchi, Rossi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9205-6
Format: Electronic Resources
Availability Online Library~1

Springer Handbook of Augmented Reality

2026-03-30T11:23:48Z

Author Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-67822-7
Format: Electronic Resources
Availability Online Library~1

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

2026-03-30T11:23:48Z

Author Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22739-4
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2026-03-30T11:23:48Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

2026-03-30T11:23:48Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37126-4
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-03-30T11:23:48Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

2026-03-30T11:23:48Z

Author Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43849-3
Format: Electronic Resources
Availability Online Library~1

Handbook of computational sciences : a multi and interdisciplinary approach

2026-03-30T11:23:48Z

Author Elngar, Ahmed A., editor.
Preferred Shelf Number QA76 .H36 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763468
Format: Electronic Resources
Availability Online Library~1

Robotic process automation

2026-03-30T11:23:48Z

Author Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.
Preferred Shelf Number T59.5 .R63 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394166954
Format: Electronic Resources
Availability Online Library~1

The absence of soulware in higher education.

2026-03-30T11:23:48Z

Author Kuo, Way, 1951- author.
Preferred Shelf Number LA1133 .K86 2023 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175666
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Cybersecurity Applications

2026-03-30T11:23:48Z

Author Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-09640-2
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2026-03-30T11:23:48Z

Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33080-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings

2026-03-30T11:23:48Z

Author Bhatele, Abhinav. editor. Hammond, Jeff. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32041-5
Format: Electronic Resources
Availability Online Library~1

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II

2026-03-30T11:23:48Z

Author Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8088-8
Format: Electronic Resources
Availability Online Library~1

Proceedings of Third International Conference on Sustainable Expert Systems ICSES 2022

2026-03-30T11:23:48Z

Author Shakya, Subarna. editor. Balas, Valentina Emilia. editor. Haoxiang, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7874-6
Format: Electronic Resources
Availability Online Library~1

Semantic web for effective healthcare systems

2026-03-30T11:23:48Z

Author Jain, Vishal, editor.
Preferred Shelf Number TK5105.88815
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764175
Format: Electronic Resources
Availability Online Library~1

Digital dentistry : a step-by-step guide and case atlas

2026-03-30T11:23:48Z

Author Cortes, Arthur R. G. (Rodriguez Gonzalez), 1983- editor.
Preferred Shelf Number RK240 .D54 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119852025
Format: Electronic Resources
Availability Online Library~1

Social network analysis : theory and applications

2026-03-30T11:23:48Z

Author Galety, Mohammad Gouse, editor.
Preferred Shelf Number HM742 .S63 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836759
Format: Electronic Resources
Availability Online Library~1

Multiscale modelling and optimization of materials and structures

2026-03-30T11:23:48Z

Author Burczyński, Tadeusz, author.
Preferred Shelf Number QA76.9 .C65 B86 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118536445
Format: Electronic Resources
Availability Online Library~1

UML DIAGRAMMING a catalog of cases.

2026-03-30T11:23:48Z

Author Sundaramoorthy, Suriya, author.
Preferred Shelf Number QA76.6
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003287124 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Fundamentals and methods of machine and deep learning : algorithms, tools and applications

2026-03-30T11:23:48Z

Author Singh, Pradeep, editor.
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821908
Format: Electronic Resources
Availability Online Library~1

Advanced analytics and deep learning models

2026-03-30T11:23:48Z

Author Mire, Archana, editor. Malik, Shaveta, editor. Tyagi, Amit Kumar, editor.
Preferred Shelf Number Q325.73 .A38 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119792437
Format: Electronic Resources
Availability Online Library~1

Computer science security : concepts and tools

2026-03-30T11:23:48Z

Author Zaidoun, Ameur Salem, author.
Preferred Shelf Number QA76.9 .A25 Z35 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: Electronic Resources
Availability Online Library~1

Earth observation using Python : a practical programming guide

2026-03-30T11:23:48Z

Author Esmaili, Rebekah Bradley, author.
Preferred Shelf Number QE48.8 .E85 2021
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119606925
Format: Electronic Resources
Availability Online Library~1

Designing big data platforms : how to use, deploy, and maintain big data systems

2026-03-30T11:23:48Z

Author Aytas, Yusuf.
Preferred Shelf Number QA76.9 .B45
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119690962
Format: Electronic Resources
Availability Online Library~1

TORUS 2 -- toward an open resource using services : cloud computing for environmental data

2026-03-30T11:23:48Z

Author Laffly, Dominique.
Preferred Shelf Number QA76.585
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720553
Format: Electronic Resources
Availability Online Library~1

Planning and executing credible experiments : a guidebook for engineering, science, industrial processes, agriculture, and business

2026-03-30T11:23:48Z

Author Moffat, R. J., author. Henk, Roy W., author.
Preferred Shelf Number QA279 .M64 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119532828
Format: Electronic Resources
Availability Online Library~1

C++ template metaprogramming in practice a deep learning framework

2026-03-30T11:23:48Z

Author Wei, Li.
Preferred Shelf Number QA76.73 .C153
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003102311 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Applied numerical methods using MATLAB®

2026-03-30T11:23:48Z

Author Yang, Wŏn-yŏng, 1953- author. Cao, Wenwu, author. Kim, Jaekwon, 1972- author. Park, Kyung W., 1976- author. Park, Ho Hyun, 1964- author.
Preferred Shelf Number QA297 .Y36 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119626879
Format: Electronic Resources
Availability Online Library~1

Machine learning for iOS developers

2026-03-30T11:23:48Z

Author Mishra, Abhishek, author.
Preferred Shelf Number Q325.5 .M57 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: Electronic Resources
Availability Online Library~1

TORUS 1 -- toward an open resource using services : cloud computing for environmental data

2026-03-30T11:23:48Z

Author Laffly, Dominique.
Preferred Shelf Number QA76.585
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720492
Format: Electronic Resources
Availability Online Library~1

TORUS 3 -- Toward an open resource using services : cloud computing for environmental data

2026-03-30T11:23:48Z

Author Laffly, Dominique.
Preferred Shelf Number QA76.585
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119720522
Format: Electronic Resources
Availability Online Library~1

Technology in forensic science : sampling, analysis, data and regulations

2026-03-30T11:23:48Z

Author Rawtani, Deepak. Hussain, Chaudhery Mustansar.
Preferred Shelf Number HV8073
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527827688
Format: Electronic Resources
Availability Online Library~1

Biomolecular simulations in structure-based drug discovery

2026-03-30T11:23:48Z

Author Gervasio, Francesco L., editor. Spiwok, Vojtech, editor.
Preferred Shelf Number RM301.3 .G45
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527806836
Format: Electronic Resources
Availability Online Library~1

Materials Informatics : Methods, Tools, and Applications

2026-03-30T11:23:48Z

Author Isayev, Olexandr. Tropsha, Alex. Curtarolo, S. (Stefano)
Preferred Shelf Number QD905.2
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527802265
Format: Electronic Resources
Availability Online Library~1

Panel data econometrics with R

2026-03-30T11:23:48Z

Author Croissant, Yves, 1969- author. Millo, Giovanni, 1970- author.
Preferred Shelf Number HB139
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119504641
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

2026-03-30T11:23:48Z

Author Mu, Yi. editor. (orcid)0000-0002-1637-845X Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31578-8
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2026-03-30T11:23:48Z

Author Goldberg, Ian. editor. Moore, Tyler. editor. (orcid)0000-0002-8771-8191 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25283-0
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-03-30T11:23:48Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2026-03-30T11:23:48Z

Author Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2026-03-30T11:23:48Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2026-03-30T11:23:48Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26954-8
Format: Electronic Resources
Availability Online Library~1

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2026-03-30T11:23:48Z

Author Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33742-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2026-03-30T11:23:48Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources
Availability Online Library~1

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

2026-03-30T11:23:48Z

Author Mirto, Ignazio Mauro. editor. Monteleone, Mario. editor. Silberztein, Max. editor. (orcid)0000-0003-0930-6463 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10868-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2026-03-30T11:23:48Z

Author Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources
Availability Online Library~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2026-03-30T11:23:48Z

Author Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2026-03-30T11:23:48Z

Author Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26951-7
Format: Electronic Resources
Availability Online Library~1

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2026-03-30T11:23:48Z

Author Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16458-4
Format: Electronic Resources
Availability Online Library~1

Design technology of synthetic aperture radar

2026-03-30T11:23:48Z

Author Lu, Jiaguo, 1964- author.
Preferred Shelf Number TK6592 .S95 L83 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564621
Format: Electronic Resources
Availability Online Library~1

Social engineering : the science of human hacking

2026-03-30T11:23:48Z

Author Hadnagy, Christopher, author.
Preferred Shelf Number HM668 .H33 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119433729
Format: Electronic Resources
Availability Online Library~1

Understanding color management

2026-03-30T11:23:48Z

Author Sharma, Abhay, author.
Preferred Shelf Number TA1637
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223702
Format: Electronic Resources
Availability Online Library~1

The scaled boundary finite element method : introduction to theory and implementation

2026-03-30T11:23:48Z

Author Song, Chongmin, author.
Preferred Shelf Number QC20.7 .F56
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119388487
Format: Electronic Resources
Availability Online Library~1

Quantifying uncertainty in subsurface systems

2026-03-30T11:23:48Z

Author Scheidt, Celine, author. Li, Lewis, author. Caers, Jef, author.
Preferred Shelf Number QE33.2 .S82 S34 2018 EB
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119325888
Format: Electronic Resources
Availability Online Library~1

Solving partial differential equation applications with PDE2D

2026-03-30T11:23:48Z

Author Sewell, Granville, author.
Preferred Shelf Number QA377 .S4643 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507918
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2026-03-30T11:23:48Z

Author Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97676-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

2026-03-30T11:23:48Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03329-3
Format: Electronic Resources
Availability Online Library~1

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2026-03-30T11:23:48Z

Author Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01446-9
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2026-03-30T11:23:48Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2026-03-30T11:23:48Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02641-7
Format: Electronic Resources
Availability Online Library~1

Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers

2026-03-30T11:23:48Z

Author U, Leong Hou. editor. Xie, Haoran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01298-4
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

2026-03-30T11:23:48Z

Author Lange, Tanja. editor. Steinwandt, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79063-3
Format: Electronic Resources
Availability Online Library~1

Security and Cryptography for Networks 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings

2026-03-30T11:23:48Z

Author Catalano, Dario. editor. De Prisco, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98113-0
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2026-03-30T11:23:48Z

Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94274-2
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

2026-03-30T11:23:48Z

Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00560-3
Format: Electronic Resources
Availability Online Library~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-03-30T11:23:48Z

Author Rusu, Vlad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-03-30T11:23:48Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91244-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2026-03-30T11:23:48Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2026-03-30T11:23:48Z

Author Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00434-7
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-03-30T11:23:48Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-03-30T11:23:48Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91250-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Programming with Fortran

2026-03-30T11:23:48Z

Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75502-1
Format: Electronic Resources
Availability Online Library~1

Web Content Credibility

2026-03-30T11:23:48Z

Author Wierzbicki, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77794-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-30T11:23:48Z

Author Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92141-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I

2026-03-30T11:23:48Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96884-1
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2026-03-30T11:23:48Z

Author Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95504-9
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2026-03-30T11:23:48Z

Author Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – 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

2026-03-30T11:23:48Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – 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

2026-03-30T11:23:48Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – 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

2026-03-30T11:23:48Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources
Availability Online Library~1

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2026-03-30T11:23:48Z

Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98521-3
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – 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

2026-03-30T11:23:48Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources
Availability Online Library~1

Emerging Technologies for Developing Countries First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings

2026-03-30T11:23:48Z

Author Belqasmi, Fatna. editor. Harroud, Hamid. editor. Agueh, Max. editor. Dssouli, Rachida. editor. Kamoun, Faouzi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67837-5
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Liu, Peng. editor. Mauw, Sjouke. editor. Stolen, Ketil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74860-3
Format: Electronic Resources
Availability Online Library~1

Implementing Reproducible Research

2026-03-30T11:23:48Z

Author Stodden, Victoria , editor. Leisch, Friedrich, editor. Peng, Roger D., editor. Taylor and Francis.
Preferred Shelf Number Q180.55 .S7
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2026-03-30T11:23:48Z

Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-03-30T11:23:48Z

Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-03-30T11:23:48Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2026-03-30T11:23:48Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03332-3
Format: Electronic Resources
Availability Online Library~1

Programming with Actors State-of-the-Art and Research Perspectives

2026-03-30T11:23:48Z

Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2026-03-30T11:23:48Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96878-0
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2026-03-30T11:23:48Z

Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-30T11:23:48Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99127-6
Format: Electronic Resources
Availability Online Library~1

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2026-03-30T11:23:48Z

Author Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01790-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-03-30T11:23:48Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91238-7
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2026-03-30T11:23:48Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78978-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

2026-03-30T11:23:48Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96881-0
Format: Electronic Resources
Availability Online Library~1

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2026-03-30T11:23:48Z

Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-03-30T11:23:48Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Röcker, Carsten. editor. O’Donoghue, John. editor. Ziefle, Martina. editor. Maciaszek, Leszek. editor. Molloy, William. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93644-4
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

2026-03-30T11:23:48Z

Author Hu, Jiankun. editor. Khalil, Ibrahim. editor. Tari, Zahir. editor. Wen, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90775-8
Format: Electronic Resources
Availability Online Library~1

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2026-03-30T11:23:48Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91593-7
Format: Electronic Resources
Availability Online Library~1

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2026-03-30T11:23:48Z

Author Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91662-0
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-03-30T11:23:48Z

Author Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94361-9
Format: Electronic Resources
Availability Online Library~1

Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings

2026-03-30T11:23:48Z

Author Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76111-4
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – 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

2026-03-30T11:23:48Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources
Availability Online Library~1