Call Number (LC) Title Results
QA63 .S36 1983 Problem solving in the mathematics curriculum : a report, recommendations, and an annotated bibliography / 1
QA63 .V46 2020 One hundred problems involving the number 100 : a collection of problems to celebrate NCTM's first century / 1
QA63 .W55 1986 Algorithms and complexity / 1
QA63 .W55 2002eb Algorithms and complexity / 1
QA71-90 Numerical methods for conservation laws / 1
QA71 .B4 At the sign of the compass and quadrant : the life and times of Anthony Lamb / 1
QA71 .B79 1992 Napier's bones : a history and instruction manual / 1
QA71 .G465 2007 Die Geometrie der Macht, die Macht der Geometrie : mathematische Instrumente und fürstliche Mechanik um 1600 aus dem Mathematisch-Physikalischen Salon / 1
QA71 .W7 1948 Practical analysis; graphical and numerical methods; 1
QA72 .S77 1999 Asymptotics for solutions of linear differential equations having turning points with applications / 1
QA73.6 .C388 2003eb ExamInsight for A+ core hardware technology exam 220-221 / 1
QA75 Introduction to computational origami : the world of new computational geometry / 1
QA75 .B1 1961 Charles Babbage and his calculating engines; selected writings by Charles Babbage and others. 1
QA75 .C638 2005eb Alan Turing's automatic computing engine : the master codebreaker's struggle to build the modern computer / 1
QA75 .C638 2012eb Alan Turing' s electronic brain : the struggle to build the ACE, the world's fastest computer / 1
QA75 .L493 1990 Glory and failure : the difference engines of Johann Müller, Charles Babbage and Georg and Edvard Scheutz / 1
QA75 .S964 2001 The difference engine : Charles Babbage and the quest to build the first computer / 1
QA75.5 Computation and Communication Technologies
Omega : computers today and tomorrow.
Innovations in computer science and engineering : Proceedings of 7th ICICSE /
Benchmarking, measuring, and optimizing : 14th BenchCouncil International Symposium, Bench 2022, virtual event, November 7-9, 2022, revised selected papers /
Frontier computing : theory, technologies and applications (FC 2022) /
Applied computer sciences in engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020, Proceedings /
Web and big data : 4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 18-20, 2020 : proceedings.
Innovative computing : IC 2020.
Applied computer sciences in engineering : 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6-8, 2021, proceedings /
Advances in bioinformatics, multimedia, and electronics circuits and signals : proceedings of GUCON 2019 /
Advances in Computer Science and Ubiquitous Computing : CSA-CUTE 2018 /
Proceedings of third International Conference on Computing, Communications, and Cyber-Security : IC4S 2021 /
Transactions on engineering technologies : International Multiconference of Engineers and Computer Scientists 2021 /
International Conference on Information Systems and Intelligent Applications : ICISIA 2022 /
Computer and information science /
Advances in data and information sciences : proceedings of ICDIS 2022 /
Computational science - ICCS 2022 : 22nd international conference, London, UK, June 21-23, 2022 : proceedings.
Technological innovation for digitalization and virtualization : 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022, Caparica, Portugal, June 29-July 1, 2022, proceedings /
Computer science : theory and applications : 17th International Computer Science Symposium in Russia, CSR 2022, virtual event, June 29-July 1, 2022 : proceedings /
Advanced informatics for computing research : 5th International Conference, ICAICR 2021, Gurugram, India, December 18-19, 2021, revised selected papers /
Advanced computing : 10th international conference, IACC 2020, Panaji, Goa, India, December 5-6, 2020 : revised selected papers.
SOFSEM 2021: theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings /
Computational science and its applications - ICCSA 2022 workshops : Malaga, Spain, July 4-7, 2022, proceedings.
Computer, communication, and signal processing : 6th IFIP TC 5 International Conference, ICCCSP 2022, Chennai, India, February 24-25, 2022 : revised selected papers /
Proceedings of ICRIC 2019 : recent innovations in computing /
Advances in power and control engineering : proceedings of GUCON 2019 /
Advances in electronics engineering : proceedings of the ICCEE 2019, Kuala Lumpur, Malaysia /
Research in computer science and its applications : 11th International Conference, CNRIA 2021, Virtual event, June 17-19, 2021, Proceedings /
Computer science -- CACIC 2021 : 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4-8, 2021 : revised selected papers /
Foundations of information and knowledge systems : 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022 : proceedings /
Advances in computing and data sciences : 6th international conference, ICACDS 2022, Kurnool, India, April 22-23, 2022, revised selected papers.
Advances in computing and data sciences : 6th International Conference, ICACDS 2022, Kurnool, India, April 22-23, 2022, Revised selected papers.
Theoretical computer science : 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021, Revised selected papers /
LATIN 2020 : theoretical informatics : 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings /
Frontier computing : proceedings of FC 2020 /
Computing and data science : third International Conference, CONF-CDS 2021, Virtual event, August 12-17, 2021, Proceedings /
Advances in Computer Science and Ubiquitous Computing : CSA-CUTE 2019 /
LATIN 2022 -- theoretical informatics : 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022, proceedings /
Computer science and education in computer science : 18th EAI International Conference, CSECS 2022, on-site and virtual event, June 24-27, 2022, proceedings /
Advances in computing : 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22-26, 2021, Revised selected papers /
Applied computer sciences in engineering : 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 - December 2, 2022, proceedings /
Theoretical computer science : 40th national conference, NCTCS 2022, Changchun, China, July 29-31, 2022 : revised selected papers /
Data and information in online environments : Third EAI International Conference, DIONE 2022, virtual event, July 28-29, 2022, proceedings /
Applied informatics : Fifth International Conference, ICAI 2022, Arequipa, Peru, October 27-29, 2022, proceedings /
Emerging research in computing, information, communication and applications : ERCICA 2020.
Advanced computing technologies and applications : proceedings of 2nd International Conference on Advanced Computing Technologies and Applications - - ICACTA 2020 /
Proceeding of International Conference on Computational Science and Applications : ICCSA 2021 /
Frontier computing : proceedings of FC 2021 /
Fundamentals of computation theory : 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings /
Advanced computing : 11th international advanced computing conference, IACC 2021, Msida, Malta, December 18-19, 2021, revised selected papers /
From data to models and back : 10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021, revised selected papers /
Technologies and innovation : 8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14-17, 2022, proceedings /
Innovative computing : proceedings of the 4th International Conference on Innovative Computing (IC 2022) /
Advanced hybrid information processing : 4th EAI International Conference, ADHIP 2020, Binzhou, China, September 26-27, 2020, proceedings.
Machines, computations, and universality : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31-September 2, 2022, proceedings /
Computer and communication engineering : 2nd International Conference, CCCE 2022, Rome, Italy, March 11-13, 2022 : revised selected papers /
Information and software technologies : 28th International Conference, ICIST 2022, Kaunas, Lithuania, October 13-15, 2022, proceedings /
Innovations in computer science and engineering : Proceedings of 8th ICICSE /
Proceedings of 6th International Conference on Recent Trends in Computing : ICRTC 2020 /
Proceedings of International Conference on Recent Trends in Computing : ICRTC 2021 /
Trends in artificial intelligence and computer engineering : Proceedings of ICAETT 2021 /
Sustainable advanced computing : select proceedings of ICSAC 2021 /
Advances in computer science for engineering and education /
Intelligent computing : proceedings of the 2022 Computing Conference.
Proceedings of International Conference on Fourth Industrial Revolution and Beyond 2021 /
Advances in computing systems and applications : proceedings of the 5th Conference on Computing Systems and Applications /
Advances in computer science for engineering and education III /
Advances in computer science for engineering and education IV /
Proceedings of the 2nd International Conference on Computational and Bio Engineering : CBE 2020 /
Proceedings of the Future Technologies Conference (FTC) 2019.
Advances in emerging trends and technologies.
Computing in engineering and technology : proceedings of ICCET 2019 /
Advances in intelligent systems and computing IV : selected papers from the International Conference on Computer Science and Information Technologies, CSIT 2019, September 17-20, 2019, Lviv, Ukraine /
Smart computing paradigms : new progresses and challenges : proceedings of ICACNI 2018.
Emerging Research in Data Engineering Systems and Computer Communications : proceedings of CCODE 2019 /
Frontier computing : theory, technologies and applications (FC 2019) /
Progress in computing, analytics and networking : proceedings of ICCAN 2019 /
Recent trends in intensive computing /
Applied technologies : 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, revised selected papers.
Computer science -- CACIC 2022 : 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised selected papers /
Proceedings of the 19th International Conference on Computing and Information Technology (IC2IT 2023) /
Artificial intelligence and data science based R&D interventions : proceedings of NERC 2022 /
Next generation systems and networks : proceedings of BITS EEE CON 2022 /
Advances in computer science and ubiquitous computing : proceedings of CUTE-CSA 2022 /
Advanced computational and communication paradigms : proceedings of ICACCP 2023 /
Technologies and innovation : 9th international conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, proceedings /
Proceedings of the 6th International Conference on Advance Computing and Intelligent Engineering : ICACIE 2021 /
International Conference on Innovative Computing and Communications : proceedings of ICICC 2022.
Innovations in information and communication technologies : proceedings of ICIICT 2022 /
Emerging Research in Computing, Information, Communication and Applications : proceedings of ERCICA 2022 /
SOFSEM 2023 : theory and practice of computer science : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-19, 2023, proceedings /
Advances in Computer Science for Engineering and Education II /
Advanced computing and intelligent engineering : proceedings of ICACIE 2018.
Computer and communication engineering : Third International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023, revised selected papers /
Advances in computing : 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022, revised selected papers /
Advances in computing and data sciences : 7th International Conference, ICACDS 2023, Kolkata, India, April 27-28, 2023, revised selected papers /
International Conference on Innovative Computing and Communications : proceedings of ICICC 2023.
Computer science -- theory and applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29-July 3, 2020, Proceedings /
Computing science, communication and security : first International Conference, COMS2 2020, Gujarat, India, March 26-27, 2020, Revised selected papers /
Topics in theoretical computer science : third IFIP WG 1.8 International Conference, TTCS 2020 Tehran, Iran, July 1-2, 2020 Proceedings /
Edge computing -- EDGE 2020 : 4th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings /
Applied technologies : second International Conference, ICAT 2020, Quito, Ecuador, December 2-4, 2020, Proceedings /
Theoretical computer science : 38th national conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers /
Digital heritage : progress in cultural heritage : documentation, preservation, and protection : 8th international conference, EuroMed 2020, virtual event, November 2-5, 2020 : revised selected papers /
Computer science -- CACIC 2020 : 26th Argentine Congress, CACIC 2020, San Justo, Buenos Aires, Argentina, October 5-9, 2020, Revised selected papers /
Digital democracy -- IT for change : 53rd Annual Convention of the Computer Society of India, CSI 2020, Bhubaneswar, India, January 16-18, 2020, Revised selected papers /
Data and Information in Online Environments : second EAI International Conference, DIONE 2021, virtual event, March 10-12, 2021, Proceedings /
Computer science -- theory and applications : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings /
Advanced informatics for computing research : 4th International Conference, ICAICR 2020, Gurugram, India, December 26-27, 2020, Revised selected papers.
Advanced informatics for computing research : 4th International Conference, ICAICR 2020, Gurugram, India, December 26-27, 2020, Revised Selected Papers.
Emerging trends in electrical, communications, and information technologies : Proceedings of ICECIT-2018 /
Advances in computing and network communications : proceedings of CoCoNet 2020.
Advances in software engineering, education, and e-Learning : proceedings from FECS'20, FCS'20, SERP'20, and EEE'20 /
Applied Computing to Support Industry : Innovation and Technology : first International Conference, ACRIT 2019, Ramadi, Iraq, September 15-16, 2019, Revised Selected Papers /
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings /
SOFSEM 2020 : Theory and Practice of Computer Science : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings /
Applied technologies : first International Conference, ICAT 2019, Quito, Ecuador, December 3-5, 2019, Proceedings.
Computer science -- CACIC 2019 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14-18, 2019, Revised selected papers /
Data and information in online environments first EAI International Conference, DIONE 2020, Florianópolis, Brazil, March 19-20, 2020, Proceedings /
Advances and applications in computer science, electronics and industrial engineering proceedings of CSEI 2020 /
Proceedings of 3rd International Conference on Computing Informatics and Networks : ICCIN 2020 /
Combinatorial and Computational Mathematics : Present and Future.
Paying the Price : the Status and Role of Insurance Against Natural Disasters in the United States.
Ambient Intelligence Perspectives II : Selected Papers from the Second International Ambient Intelligence Forum 2009. 		141
QA75.5-76.95 Asset Accounting Configuration in SAP ERP : a Step-by-Step Guide /
Beginning KeystoneJS : a practical introduction to KeystoneJS using a real-world project /
Learn Business Analytics in Six Steps Using SAS and R : a Practical, Step-by-Step Guide to Learning Business Analytics.
Project-management in practice : a guideline and toolbox for successful projects /
Statistical Atlases and Computational Models of the Heart 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers.
Data integration life cycle management with SSIS : a short introduction by example /
Judicial Applications of Artificial Intelligence.
Finitely supported mathematics : an introduction /
Formal Techniques for Networked and Distributed Systems : FORTE 2001 IFIP TC6/WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems August 28-31, 2001, Cheju Island, Korea /
Advances in Network and Distributed Systems Security : IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26-27, 2001, Leuven, Belgium /
An introduction to transfer entropy : information flow in complex systems /
Effects of thermal stimulation during passive driver fatigue /
Machine learning systems for multimodal affect recognition /
Connected Health in Smart Cities /
The theory of queuing systems with correlated flows /
Challenges in social network research : methods and applications /
Microservices : science and engineering /
Connected vehicles in the Internet of Things : concepts, technologies and frameworks for the IoV /
Language and automata theory and applications : 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, proceedings /
Applied Cryptography and Network Security : 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings.
Redesigning wiretapping : the digitization of communications interception /
Design for ergonomics /
The definitive guide to AWS infrastructure automation : craft infrastructure-as-code solutions /
Getting Started with Istio Service Mesh : Manage Microservices in Kubernetes /
Hands-on Azure Repos : understanding centralized and distributed version control in Azure DevOps services /
Virtual Reality with VRTK4 : Create Immersive VR Experiences Leveraging Unity3D and Virtual Reality Toolkit /
Building progressive web applications with Vue.js : reliable, fast, and engaging apps with Vue.js /
The AI-powered workplace : how artificial intelligence, data, and messaging platforms are defining the future of work /
Modeling and Animation Using Blender : Blender 2. 80: the Rise of Eevee /
Implementing an information security management system : security management based on ISO 27001 guidelines /
Practical DataOps : delivering agile data science at scale /
Introducing Azure Kubernetes service : a practical guide to container orchestration /
MongoDB recipes : with data modeling and query building strategies /
Advanced API Security : OAuth 2. 0 and Beyond /
Jumpstart Snowflake : a step-by-step guide to modern cloud analytics /
Pro Apache NetBeans : building applications on the rich client platform /
Programming with 64-bit ARM assembly language : single board computer development for raspberry pi and mobile devices /
Arduino software internals : a complete guide to how your Arduino language and hardware work together /
Developing inclusive mobile apps : building accessible apps for IOS and Android /
Commercial and industrial Internet of Things applications with the Raspberry Pi : prototyping IoT solutions /
Microsoft Blazor Building Web Applications in .NET 6 and Beyond /
Advances in information retrieval : 43rd European Conference on IR Research, ECIR 2021, virtual event, March 28-April 1, 2021, proceedings.
Futuristic trends in network and communication technologies : Third International Conference, FTNCT 2020, Taganrog, Russia, October 14-16, 2020, Revised Selected Papers.
Tools and Methods of Program Analysis : 5th international conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, revised selected papers.
Deep learning in mining of visual content /
Mining software engineering data for software reuse /
Graphic intelligence drawing and cognition /
Fuzzy transforms for image processing and data analysis : core concepts, processes and applications /
Building decision support systems : using MiniZinc / 		49
QA75.5 343 The Doctor and the Algorithm Promise, Peril, and the Future of Health AI 1