Quick Search: Articles, newspapers, books and ebooks, videos and more. Results primarily available online but may also include books available in the library or articles that can be requested for email delivery from ILLiad.

Library Information: Pages on library web site, for example research guides, library policies and procedures, hours and events.

New Books, Music, E-Resources

Computer Science

November 2021

Activismo de datos y cambio social : alianzas, mapas, plataformas y acción para un mundo mejor /
Gutiérrez, Miren, author.
Activismo de datos y cambio social : alianzas, mapas, plataformas y acción para un mundo mejor /
Dykinson SL, [2020]
Online resource ([QA76])
Check availability
Advanced serverless architectures with microsoft azure : design complex serverless systems quickly with the scalability and benefits of azure /
Bass, Daniel, author.
Advanced serverless architectures with microsoft azure : design complex serverless systems quickly with the scalability and benefits of azure /
Packt Publishing Ltd, 2019.
Online resource ([QA76])
Check availability
Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings /
Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings /
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Agile Processes in Software Engineering and Extreme Programming 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings /
Agile Processes in Software Engineering and Extreme Programming 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings /
Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers /
Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8–12, 2020, Revised Selected Papers /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Algorithmic and aesthetic literacy : emerging transdisciplinary explorations for the digital age.
Heuling, Lydia Schulze.
Algorithmic and aesthetic literacy : emerging transdisciplinary explorations for the digital age.
Verlag Barbara Budrich, 2021.
Online resource ([QA76])
Check availability
The Amazing Journey of Reason from DNA to Artificial Intelligence /
Alemi, Mario. author.
The Amazing Journey of Reason from DNA to Artificial Intelligence /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Applications of machine learning in big-data analytics and cloud computing /
Applications of machine learning in big-data analytics and cloud computing /
River Publishers, 2021.
Online resource ([QA76])
Check availability
Applied supervised learning with Python : use scikit-learn to build predictive models from real-world datasets and prepare yourself for the future of machine learning /
Johnston, Benjamin, author.
Applied supervised learning with Python : use scikit-learn to build predictive models from real-world datasets and prepare yourself for the future of machine learning /
Packt Publishing Ltd, 2019.
Online resource ([QA76])
Check availability
Applied unsupervised learning with Python : discover hidden patterns and relationships in unstructured data with Python /
Johnston, Benjamin, author.
Applied unsupervised learning with Python : discover hidden patterns and relationships in unstructured data with Python /
Packt Publishing, 2019.
Online resource ([QA76])
Check availability
The big book of small Python projects : 81 easy practice programs /
Sweigart, Al, author.
The big book of small Python projects : 81 easy practice programs /
No Starch Press, [2021]
Online resource ([QA76])
Check availability
Big data : concepts, warehousing, and analytics /
Santos, Maribel Yasmina, author.
Big data : concepts, warehousing, and analytics /
River Publishers, [2020]
Online resource ([QA76])
Check availability
Big data analytics and intelligence : a perspective for health care /
Big data analytics and intelligence : a perspective for health care /
Emerald Publishing Limited, [2020]
Online resource ([QA76])
Check availability
Big data security /
Big data security /
De Gruyter, [2019]
Online resource ([QA76])
Check availability
Big Data Security /
Big Data Security /
De Gruyter, [2019]
Online resource ([QA76])
Check availability
Blockchain and artificial intelligence : the world rewired /
Blockchain and artificial intelligence : the world rewired /
De Gruyter; Boston, [2021]
Online resource ([QA76])
Check availability
Blockchain technology and applications /
Banafa, Ahmed, author.
Blockchain technology and applications /
River Publishers, [2020]
Online resource ([QA76])
Check availability
Cloud network management an IoT based framework /
Cloud network management an IoT based framework /
CRC Press, 2021.
Online resource ([QA76])
Check availability
Component-based software engineering : methods and metrics /
Tiwari, Umesh Kumar, author.
Component-based software engineering : methods and metrics /
CRC Press Taylor & Francis Group, 2021.
Online resource ([QA76])
Check availability
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Computer security and encryption : an introduction /
Chauhan, S. R., author.
Computer security and encryption : an introduction /
Mercury Learning and Information, [2020]
Online resource ([QA76])
Check availability
Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14–16, 2018, Revised Selected Papers /
Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14–16, 2018, Revised Selected Papers /
Imprint Springer; Springer Singapore, 2019.
Online resource ([QA76])
Check availability
CyberParks – The Interface Between People, Places and Technology New Approaches and Perspectives /
CyberParks – The Interface Between People, Places and Technology New Approaches and Perspectives /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Data engineering on Azure /
Riscutia, Vlad, author.
Data engineering on Azure /
Manning, [2021]
Online resource ([QA76])
Check availability
Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL /
Reinders, James. author.
Data Parallel C++ Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL /
Imprint Apress; Apress, 2021.
Online resource ([QA76])
Check availability
Data politics : worlds, subjects, rights /
Data politics : worlds, subjects, rights /
Routledge, 2019.
Online resource ([QA76])
Check availability
Data politics : worlds, subjects, rights /
Data politics : worlds, subjects, rights /
Routledge, 2019.
Online resource ([QA76])
Check availability
Data politics : worlds, subjects, rights /
Data politics : worlds, subjects, rights /
Routledge Taylor & Francis Group, 2019.
Online resource ([QA76])
Check availability
Data visualization for business decisions : a laboratory manual /
Fortino, Andres G., author.
Data visualization for business decisions : a laboratory manual /
Mercury Learning and Information, 2020.
Online resource ([QA76])
Check availability
Data Visualization in Society
Data Visualization in Society
Amsterdam University Press, [2020]
Online resource ([QA76])
Check availability
Data Visualization in Society
Data Visualization in Society
Amsterdam University Press, [2020]
Online resource ([QA76])
Check availability
Developing a cybersecurity immune system for industry 4.0 /
Petrenko, Sergei, author.
Developing a cybersecurity immune system for industry 4.0 /
River Publishers, [2020]
Online resource ([QA76])
Check availability
Die multiple Identität der Technik : Eine Innovationsbiographie der Augmented Reality-Technologie /
Lenzen, Kirstin, author.
Die multiple Identität der Technik : Eine Innovationsbiographie der Augmented Reality-Technologie /
transcript-Verlag, [2020]
Online resource ([QA76])
Check availability
Digitalität und Privatheit : Kulturelle, politisch-rechtliche und soziale Perspektiven /
Digitalität und Privatheit : Kulturelle, politisch-rechtliche und soziale Perspektiven /
transcript-Verlag, [2019]
Online resource ([QA76])
Check availability
Digitalität und Privatheit : Kulturelle, politisch-rechtliche und soziale Perspektiven /
Digitalität und Privatheit : Kulturelle, politisch-rechtliche und soziale Perspektiven /
transcript-Verlag, [2019]
Online resource ([QA76])
Check availability
Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games
Hofmann, Julia. author.
Ein Physiologiemodell für Tactical Combat Casualty Care Training in mobilen Serious Games
Imprint Springer Vieweg; Springer Fachmedien Wiesbaden, 2020.
Online resource ([QA76])
Check availability
Engaging researchers with data management : the cookbook /
Clare, Cassandra, author.
Engaging researchers with data management : the cookbook /
Open Book Publishers, [2019]
Online resource ([QA76])
Check availability
Engineering production-grade shiny apps /
Fay, Colin, author.
Engineering production-grade shiny apps /
Chapman & Hall Book CRC Press, 2022.
Online resource ([QA76])
Check availability
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations /
Ernst Denert Award for Software Engineering 2019 Practice Meets Foundations /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Flowchart and algorithm basics : the art of programming /
Chaudhuri, A. B., author.
Flowchart and algorithm basics : the art of programming /
Mercury Learning and Information, [2020]
Online resource ([QA76])
Check availability
Forschungsdatenmanagement sozialwissenschaftlicher umfragedaten : grundlagen und praktische lösungen für den umgang mit quantitativen forschungsdaten /
Forschungsdatenmanagement sozialwissenschaftlicher umfragedaten : grundlagen und praktische lösungen für den umgang mit quantitativen forschungsdaten /
Verlag Barbara Budrich, 2019.
Online resource ([QA76])
Check availability
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Full stack Python security : cryptography, TLS, and attack resistance /
Byrne, Dennis, author.
Full stack Python security : cryptography, TLS, and attack resistance /
Manning Publications Co, [2021]
Online resource ([QA76])
Check availability
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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 /
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 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 /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
The Future of Software Quality Assurance
The Future of Software Quality Assurance
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Global Digital Cultures Perspectives from South Asia /
Global Digital Cultures Perspectives from South Asia /
Project MUSE; University of Michigan Press, 2019.
Online resource ([QA76])
Check availability
Global Digital Cultures Perspectives from South Asia /
Global Digital Cultures Perspectives from South Asia /
Project MUSE; University of Michigan Press, 2019.
Online resource ([QA76])
Check availability
Hands-on ensemble learning with python : build highly optimized ensemble machine learning models using scikit-learn and Keras /
Kyriakides, George, author.
Hands-on ensemble learning with python : build highly optimized ensemble machine learning models using scikit-learn and Keras /
Packt Publishing, 2019.
Online resource ([QA76])
Check availability
Hands-on Kubernetes on Azure : run your applications securely and at scale on the most widely adopted orchestration platform /
Gopalakrishnan, Shivakumar, author.
Hands-on Kubernetes on Azure : run your applications securely and at scale on the most widely adopted orchestration platform /
Packt Publishing, 2019.
Online resource ([QA76])
Check availability
Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings /
Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet /
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Improving your Splunk skills : leverage the operational intelligence capabilities of Splunk to unlock new hidden business insights /
D. Miller, James, author.
Improving your Splunk skills : leverage the operational intelligence capabilities of Splunk to unlock new hidden business insights /
Packt, [2019]
Online resource ([QA76])
Check availability
Information modelling and knowledge bases xxx /
Information modelling and knowledge bases xxx /
IOS Press, 2019.
Online resource ([QA76])
Check availability
Interdisciplinary Insights for Digital Touch Communication
Jewitt, Carey. author.
Interdisciplinary Insights for Digital Touch Communication
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
It
Govindarajulu, Giri, author.
It's your digital life
CRC Press, 2021.
Online resource ([QA76])
Check availability
Knowledge and data mining for recent and advanced applications using emerging technologies /
Knowledge and data mining for recent and advanced applications using emerging technologies /
Emerald Publishing, 2020.
Online resource ([QA76])
Check availability
Knowledge Graphs and Big Data Processing
Knowledge Graphs and Big Data Processing
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Managed Software Evolution
Managed Software Evolution
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Mastering identity and access management with Microsoft Azure : empower users by managing and protecting identities and data /
Nickel, Jochen, author.
Mastering identity and access management with Microsoft Azure : empower users by managing and protecting identities and data /
Packt, 2019.
Online resource ([QA76])
Check availability
Mastering SAP ABAP : a complete guide to developing fast, durable, and maintainable ABAP programs in SAP /
Grzeskowiak, Pawel, author.
Mastering SAP ABAP : a complete guide to developing fast, durable, and maintainable ABAP programs in SAP /
Packt, [2019]
Online resource ([QA76])
Check availability
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology /
Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology /
Imprint Springer; Springer International Publishing, 2021.
Online resource ([QA76])
Check availability
Principles of abstract interpretation /
Cousot, Patrick, 1948- author.
Principles of abstract interpretation /
The MIT Press, [2021]
Online resource ([QA76])
Check availability
Principles of Security and Trust 8th International Conference, POST 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 /
Principles of Security and Trust 8th International Conference, POST 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 /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Private Daten : Unsere Spuren in der digitalen Welt /
Wiesner, Barbara, author.
Private Daten : Unsere Spuren in der digitalen Welt /
Transcript Verlag, 2021.
Online resource ([QA76])
Check availability
Pro TBB C++ Parallel Programming with Threading Building Blocks /
Voss, Michael. author.
Pro TBB C++ Parallel Programming with Threading Building Blocks /
Imprint Apress; Apress, 2019.
Online resource ([QA76])
Check availability
Proceedings of the 2019 International Conference on Data Science : ICDATA
Proceedings of the 2019 International Conference on Data Science : ICDATA '19 /
CSREA Press, 2019.
Online resource ([QA76])
Check availability
Programming Languages and Systems 28th European Symposium on Programming, ESOP 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 /
Programming Languages and Systems 28th European Symposium on Programming, ESOP 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 /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Rational cybersecurity for business : the security leaders
Blum, Daniel J., author.
Rational cybersecurity for business : the security leaders' guide to business alignment /
Imprint Apress; Apress, [2020]
Online resource ([QA76])
Check availability
Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems /
Curry, Edward. author.
Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Representation Learning for Natural Language Processing
Liu, Zhiyuan. author.
Representation Learning for Natural Language Processing
Imprint Springer; Springer Singapore, 2020.
Online resource ([QA76])
Check availability
Rethinking Productivity in Software Engineering
Rethinking Productivity in Software Engineering
Imprint Apress; Apress, 2019.
Online resource ([QA76])
Check availability
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Security Infrastructure Technology for Integrated Utilization of Big Data Applied to the Living Safety and Medical Fields /
Security Infrastructure Technology for Integrated Utilization of Big Data Applied to the Living Safety and Medical Fields /
Imprint Springer; Springer Singapore, 2020.
Online resource ([QA76])
Check availability
Seeing the Past with Computers : Experiments with Augmented Reality and Computer Vision for History /
Kee, Kevin, author.
Seeing the Past with Computers : Experiments with Augmented Reality and Computer Vision for History /
University of Michigan Press, [2019]
Online resource ([QA76])
Check availability
Serverless integration design patterns with azure : build powerful cloud solutions that sustain next-generation products /
Kumar, Abhishek, author.
Serverless integration design patterns with azure : build powerful cloud solutions that sustain next-generation products /
Packt Publishing, [2019]
Online resource ([QA76])
Check availability
Soft computing : techniques in engineering sciences /
Soft computing : techniques in engineering sciences /
Walter de Gruyter GmbH, [2020]
Online resource ([QA76])
Check availability
Software for Exascale Computing - SPPEXA 2016-2019
Software for Exascale Computing - SPPEXA 2016-2019
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Successful cybersecurity professionals : how to change your behavior to protect your organization /
Brown, Steven, author.
Successful cybersecurity professionals : how to change your behavior to protect your organization /
Business Expert Press, [2020]
Online resource ([QA76])
Check availability
Technology, Design and the Arts - Opportunities and Challenges
Technology, Design and the Arts - Opportunities and Challenges
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceed
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceed
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceed
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceed
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Transfer Learning for Natural Language Processing /
Azunre, Paul, author.
Transfer Learning for Natural Language Processing /
Manning, [2021]
Online resource ([QA76])
Check availability
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers /
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers /
Imprint Springer; Springer International Publishing, 2019.
Online resource ([QA76])
Check availability
XcalableMP PGAS Programming Language From Programming Model to Applications /
XcalableMP PGAS Programming Language From Programming Model to Applications /
Imprint Springer; Springer Singapore, 2021.
Online resource ([QA76])
Check availability

Ask Us