• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611

Programming in 2025

The Microsoft Copilot AI 2025 User Guide: Tips and Tricks for Maximizing Efficiency, Productivity, and Mastering AI Workflows by Lopez, Ray V.
Recent Trends in Algebraic Development Techniques: 27th Ifip Wg 1.3 International Workshop, Wadt 2024, Enschede, the Netherlands, July 8, 2024, Revise by
Research Challenges in Information Science: 19th International Conference, Rcis 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II by
Research Challenges in Information Science: 19th International Conference, Rcis 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I by
Julia Programming for Physics Applications by Türk Çakır, İlkay, Türeci, R. Gökhan, Dağıstanlı, Hamdi
Arduino Programming using Simulink by Pakdel, Majid
React Native for Beginners: Create Mobile Apps with JavaScript by School, Stem
Python Experiments in Physics and Astronomy by Houlahan, Padraig
Domain-Driven Refactoring: A hands-on DDD guide to transforming monoliths into modular systems and microservices by Acerbis, Alberto, Colla, Alessandro
Canaries in the Code Mine: Precarity and the Future of Tech Work by Papadantonakis, Max
Control and Protection of 100% Inverter-Based Power Systems by Mahr, Florian
Algorithms and Complexity: 14th International Conference, Ciac 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I by
Algorithms and Complexity: 14th International Conference, Ciac 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II by
Accelerated .NET Memory Dump Analysis: Training Course Transcript with WinDbg and LLDB Practice Exercises, Seventh Edition by Vostokov, Dmitry, Software Diagnostics Services, Dublin School of Security
Vulkan+Ray-Tracing/GLSL/Graphics All-In-One by Kenwright
Procedural Programming at Scale: Exploring Advanced Concepts in Structured Code, Memory Management, and Optimization by Westwood, Nathan
Rust Programming Essentials and Beyond: From Beginner Basics to Advanced Systems Programming by Nexon, Hawke
Data Visualization with Python: Create Stunning Graphs and Visualizations with Matplotlib and Seaborn by Richard, Boozman Richard
AWS CDK and Serverless Computing for Developers: A Hands-On Guide to Building Cloud-Native Apps with Lambda, API Gateway, and DynamoDB by Morgan, Eli
Advanced Concepts in High-Level Programming: Leveraging Modern Programming Languages to Design Robust and Scalable Applications by Westwood, Nathan
Hands-On AWS Cdk: Building Cloud Native Applications with Infrastructure as Code by Biddle, Sam Ward, Jones, Kyle T.
Designing Digital Solutions: Architecting user experiences, processes, data and security by Thompson, Peter
Building Secure APIs with Node.js: A Guide to Building and Protecting Your Web APIs by Blunt, Booker
Cloud Application Architecture Patterns: Designing, Building, and Modernizing for the Cloud by Yoder, Joseph, Brown, Kyle, Woolf, Bobby
Experiment with the Sense Hat: Sense the Real World with Your Raspberry Pi by Learning Team, Raspberry Pi Foundation
Kubernetes and Cloud Native Associate (Kcna) Study Guide: In-Depth Exam Prep and Practice by Jiménez, Jorge Valenzuela, Sanchez, Adrian Gonzalez
Building Generative AI Services with Fastapi: A Practical Approach to Developing Context-Rich Generative AI Applications by Parandeh, Alireza
3D Data Science with Python: Building Accurate Digital Environments with 3D Point Cloud Workflows by Poux, Florent
Data Engineering Design Patterns: Recipes for Solving the Most Common Data Engineering Problems by Konieczny, Bartosz
Automate the Boring Stuff with Python, 3rd Edition by Sweigart, Al
Top Tips: C++ Programming: An Awesome Guide to Learn C++ Coding in Minutes by Jackson, Karl
Mastering PHP for Web Development: Learn the Fundamentals of PHP and Build Dynamic Websites by Richard, Boozman
Sysml Made Easy: A Step-by-Step Guide for Beginners in Systems Engineering by Daniel, Henry
Mastering Test-Driven Development with PHP 8: Building secure and reliable PHP 8 applications through TDD, design patterns, and functional data handli by Gomes Da Silva Lisboa, Flávio
Building Real-Time Web Apps with Socket.io: Master Real-Time Communication in Web Applications by Sanders, Rafael
Memory Dump Analysis Anthology: Color Supplement for Volumes 1-3, Revised Edition by Vostokov, Dmitry, Software Diagnostics Institute
Pass AZ-900 Fast: The Ultimate Study Guide by Hussain, Frahaan, Hussain, Kameron
Python Web Scraping for Data Collection: Collect and Analyze Web Data Easily Using Python by Sanders, Rafael
Mastering Deepseek AI: Unlock Next-Gen Open-Source AGI, LLMs, and Coding Tools for the Future of Artificial Intelligence by Carpenter, Alicia B.
Definitive Guide to Video Game Reward Design: Building Player-Centered Systems that Drive Engagement, Retention and Monetization by Tyni, Janne
The Future of JavaScript: Coding Interactive Websites: A Beginner's Guide to JavaScript by Davis, Olivia
Real-Time in the Cloud: Azure Messaging & Events by Hussain, Frahaan, Hussain, Kameron
Memory Thinking for C & C++ Linux Diagnostics: Slides with Descriptions and Source Code Illustrations, Second Edition by Software Diagnostics Services, Dublin School of Security, Vostokov, Dmitry
Mastering Data Engineering and Data Science: Data Engineering Demystified Think Like a Data Scientist Real-World Data Science for Everyone The Data En by Rajput, Ravi
Data Lakes & Pipelines: A Modern Azure Guide by Hussain, Kameron, Hussain, Frahaan
Innovations and Challenges in Computing, Games, and Data Science by
Predictive Algorithms for Rehabilitation and Assistive Systems by
Azure Cloud Projects: Learn Microsoft Azure through hands-on, real-world projects by Saleh, Hamid Sadeghpour
Real-Time in the Cloud: Azure Messaging & Events by Hussain, Kameron, Hussain, Frahaan
Innovations and Challenges in Computing, Games, and Data Science by
Predictive Algorithms for Rehabilitation and Assistive Systems by
Multiagent Systems Engineering by Wood, Mark F.
On Graph Isomorphism and the Pagerank Algorithm by Augeri, Christopher J.
User Manual For Zip, A Z80 Assembly Language Interpreter Program by
Evaluation of Personnel Parameters in Software Cost Estimating Models by Quick, Steven L.
Polymorphic Type Inference and Semi-unification by Henglein, Fritz
Learn Swift Programming from Scratch: Build iOS Apps Like a Pro with Apple's Swift Programming Language by Sanders, Rafael
Java Programming for Beginners: Learn Java from Scratch and Build Real-World Applications by Blunt, Booker
On Graph Isomorphism and the Pagerank Algorithm by Augeri, Christopher J.
Software Domain Model Integration Methodology for Formal Specifications by Nonnweiler, Joel C.
Insider Threat Detection Using Microsoft Log Files by Krug, Michelle C.
Excel Spreadsheet Tools for Analyzing Groundwater Level Records and Displaying Information in ArcMap by
Signals and Noise: Mapping the Unknowns of AI in Testing by Ahuja, Manav
Flashlight by Hale, Scott C.
Digital Storytelling: A Creator's Guide to Interactive Entertainment, Volume I by Miller, Carolyn Handler
Digital Storytelling: A Creator's Guide to Interactive Entertainment, Volume I by Miller, Carolyn Handler
Android Development for Beginners: Build Native Android Apps from Scratch by Richard, Boozman
Creating Dynamic Websites with WordPress: A Beginner's Guide to Building Stunning Websites with WordPress by Farmer, Miguel
Building Apps with Flutter: Create Stunning CrossPlatform Mobile Apps with Flutter by Farmer, Miguel
Mastering Angular for Web Development: Build Dynamic, Scalable Web Apps with Angular Framework by Sanders, Rafael
JavaScript and Node.js for Full-Stack Developers: Master JavaScript and Build Full-Stack Applications from Scratch by Richard, Boozman
Data Structures and Algorithms with Python: Solve Problems Efficiently and Write Optimal Code by Richard, Boozman
Full Stack JavaScript: Learn to Build Full Stack Applications with React, Node.js, and MongoDB by Farmer, Miguel
React for Beginners: Your Step-by-Step Guide to Building Dynamic Web Applications by Sanders, Rafael
Intro to Machine Learning with Python: A Hands-On Guide to Building Intelligent Systems Using Python by Sanders, Rafael
What's In A Game? Regulation Of Violent Video Games And The First Amendment by
What's In A Game? Regulation Of Violent Video Games And The First Amendment by
Micro Spitbol by Golumbic, Martin Charles, Goss, Clinton F., Dewar, Robert B. K.
An Integer Programming Procedure for Assembly System Design Problems by Graves, Stephen C., Lamar, Bruce William
On a Parallel Implementation of Geometric Hashing on the Connection Machine by Rigoutsos, Isidore, Hummel, R. A.
A Syntax-directed FORTRAN Statement Checker, by Hoffberg, Susan S., Goldstein, Max
On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the "warehouseman's Problem" by Schwartz, J. T., Sharir, M., Hopcroft, J. E.
On a Parallel Implementation of Geometric Hashing on the Connection Machine by Rigoutsos, Isidore, Hummel, R. A.
Polymorphic Type Inference and Semi-unification by Henglein, Fritz
The SETL Project Master Catalog. A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Wo by Abes, Robert
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design by Rubin, Norman
The Elusive Silver Lining by Madnick, Stuart E., Abdel-Hamid, Tarek K.
Machine Code Optimization - Improving Executable Object Code by Gross, Clinton F.
Expected Parallel Time and Sequential Space Complexity of Graph and Digraph Problems by Reif, John, Spirakis, Paul
The SETL Project Master Catalog. A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Wo by Abes, Robert
Machine Code Optimization - Improving Executable Object Code by Gross, Clinton F.
The Elusive Silver Lining by Abdel-Hamid, Tarek K., Madnick, Stuart E.
A Syntax-directed FORTRAN Statement Checker, by Hoffberg, Susan S., Goldstein, Max
Faster Parametric Shortest Path and Minimum Balance Algorithms by Tarjan, Robert E. 1948-, Young, Neal E.
Faster Parametric Shortest Path and Minimum Balance Algorithms by Young, Neal E., Tarjan, Robert E. 1948-
Compilation Techniques for VLIW Architectures by Gasperoni, Franco
Expected Parallel Time and Sequential Space Complexity of Graph and Digraph Problems by Spirakis, Paul, Reif, John
Online Algorithms for Finger Searching by Cole, Richard, Raghunathan, Arvind
An Integer Programming Procedure for Assembly System Design Problems by Graves, Stephen C., Lamar, Bruce William
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design by Rubin, Norman
Micro Spitbol by Golumbic, Martin Charles, Goss, Clinton F., Dewar, Robert B. K.
On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the "warehouseman's Problem" by Schwartz, J. T., Sharir, M., Hopcroft, J. E.
Online Algorithms for Finger Searching by Cole, Richard, Raghunathan, Arvind
Power, Performance, and Perception (P3) by Fiorello, Alan P.
Evaluation of the Ad Hoc On-Demand Distance Vector Routing Protocol for Mobile Ad Hoc Networks by Rickmon, Amber J.
Excel Spreadsheet Tools for Analyzing Groundwater Level Records and Displaying Information in ArcMap by
A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain by McGee, Christopher M.
Software Obfuscation With Symmetric Cryptography by Lin, Alan C.
Software Protection Against Reverse Engineering Tools by Benson, Joshua A.
Software Obfuscation With Symmetric Cryptography by Lin, Alan C.
Mitigating Reversing Vulnerabilities in .NET Applications Using Virtualized Software Protection by Zimmerman, Matthew A.
A Comparative Analysis of Cockpit Display Development Tools by Gebhardt, Matthew J.
Accelerating Malware Detection via a Graphics Processing Unit by Kovach, Nicholas S.
A Value Focused Thinking Approach to Software Interface in a Complex Analytical Domain by McGee, Christopher M.
A Group Theoretic Tabu Search Approach to the Traveling Salesman Problem by Hall, Shane N.
Flashlight by Hale, Scott C.
Multiagent Systems Engineering by Wood, Mark F.
The Distributer's Three-Dimensional Pallet-Packing Problem by Baltacioglu, Erhan
Metamorphic Program Fragmentation as a Software Protection by Birrer, Bobby
Accelerating Malware Detection via a Graphics Processing Unit by Kovach, Nicholas S.
Safety Design and Evaluation Criteria for Nuclear Weapon Systems Software by
Mitigating Reversing Vulnerabilities in .NET Applications Using Virtualized Software Protection by Zimmerman, Matthew A.
Android Protection System by Stueckle, Jonathan D.
The Distributer's Three-Dimensional Pallet-Packing Problem by Baltacioglu, Erhan
Developing a Gualia-Based Multi-Agent Architecture for use in Malware Detection by Birrer, Bobby D.
A Group Theoretic Tabu Search Approach to the Traveling Salesman Problem by Hall, Shane N.
Metamorphic Program Fragmentation as a Software Protection by Birrer, Bobby
Developing a Gualia-Based Multi-Agent Architecture for use in Malware Detection by Birrer, Bobby D.
Metamorphism as a Software Protection for Non-Malicious Code by Dube, Thomas E.
Formal Mitigation Strategies for the Insider Threat by Butts, Jonathan W.
Safety Design and Evaluation Criteria for Nuclear Weapon Systems Software by
Metamorphism as a Software Protection for Non-Malicious Code by Dube, Thomas E.
Android Protection System by Stueckle, Jonathan D.
Power, Performance, and Perception (P3) by Fiorello, Alan P.
Selecting a Software Engineering Methodology Using Multiobjective Decision Analysis by O'Malley, Scott A.
A Comparison in the Accuracy of Mapping Nuclear Fallout Patterns Using HPAC, HYSPLIT, DELFIC FPT and an AFIT FORTRAN95 Fallout Deposition Code by Miller, April D.
A Comparative Analysis of Cockpit Display Development Tools by Gebhardt, Matthew J.
A Comparison in the Accuracy of Mapping Nuclear Fallout Patterns Using HPAC, HYSPLIT, DELFIC FPT and an AFIT FORTRAN95 Fallout Deposition Code by Miller, April D.
The Automatic Identification of Text During the Disassembly of Binary Machine Language by Jarrells, Michael F.
An Excel-Based Surveillance Planning and Scoring Tool for the Scud Hunting Mission by Hassler, Robert T.
Solving the Multidimensional Multiple Knapsack Problem With Packing Constraints Using Tabu Search by Romaine, Jonathan M.
The Generalizability of Private Sector Research on Software Project Management in Two USAF Organizations by Garman, Michael R.
Parallel Data Mining With the Message Passing Interface Standard on Clusters of Personal Computers by Hammack, Lonnie P.
Secureqemu by Kimball, William B.
Evaluation of Personnel Parameters in Software Cost Estimating Models by Quick, Steven L.
Developing an Excel Decision Support System Using In-Transit Visibility to Decrease DoD Transportation Delays by Stone, Brian B.
Knowledge Base Support for Design and Synthesis of Multi-Agent Systems by Raphael, Marc J.
An Excel-Based Surveillance Planning and Scoring Tool for the Scud Hunting Mission by Hassler, Robert T.
Generating Test Templates via Automated Theorem Proving by Kancherla, Mani Prasard
An Evaluation of GeoBEST Contingency Beddown Planning Software Using the Technology Acceptance Model by Jensen, Shawn J.
Automated Analysis of ARM Binaries Using the Low-Level Virtual Machine Compiler Framework by Scott, Jeffrey B.
Cobol Reengineering Using the Parameter Based Object Identification Methodology by Rodrigues, Sonia De Jesus
An Analysis of the Performance and Security of J2SDK 1.4 JSSE Implementation of SSL/TLS by Bias, Danny R.
Secureqemu by Kimball, William B.
An Application of Automated Theorem Provers to Computer System Security by Hirschfeld, Mitchell David Irwin
An Application of Automated Theorem Provers to Computer System Security by Hirschfeld, Mitchell David Irwin
Dynamic Protocol Reverse Engineering by DeYoung, Mark E.
Software Domain Model Integration Methodology for Formal Specifications by Nonnweiler, Joel C.
Crew Exploration Vehicle Skip Entry Trajectory by Kaya, Emre
Crew Exploration Vehicle Skip Entry Trajectory by Kaya, Emre
Roadblocks to Software Modernization by McClamma, Dyan E.
Parallel Data Mining With the Message Passing Interface Standard on Clusters of Personal Computers by Hammack, Lonnie P.
Automated Analysis of ARM Binaries Using the Low-Level Virtual Machine Compiler Framework by Scott, Jeffrey B.
An Analysis of the Performance and Security of J2SDK 1.4 JSSE Implementation of SSL/TLS by Bias, Danny R.
Knowledge Base Support for Design and Synthesis of Multi-Agent Systems by Raphael, Marc J.
Evaluation of the Effects of Predicted Associativity on the Reliability and Performance of Mobile Ad Hoc Networks by Sanchez, Esteban Francisco
Insider Threat Detection Using Microsoft Log Files by Krug, Michelle C.
The Automatic Identification of Text During the Disassembly of Binary Machine Language by Jarrells, Michael F.
Solving the Multidimensional Multiple Knapsack Problem With Packing Constraints Using Tabu Search by Romaine, Jonathan M.
Roadblocks to Software Modernization by McClamma, Dyan E.
Dynamic Protocol Reverse Engineering by DeYoung, Mark E.
The Generalizability of Private Sector Research on Software Project Management in Two USAF Organizations by Garman, Michael R.
Evaluation of the Effects of Predicted Associativity on the Reliability and Performance of Mobile Ad Hoc Networks by Sanchez, Esteban Francisco
Generating Test Templates via Automated Theorem Proving by Kancherla, Mani Prasard
Developing an Excel Decision Support System Using In-Transit Visibility to Decrease DoD Transportation Delays by Stone, Brian B.
An Evaluation of GeoBEST Contingency Beddown Planning Software Using the Technology Acceptance Model by Jensen, Shawn J.
Cobol Reengineering Using the Parameter Based Object Identification Methodology by Rodrigues, Sonia De Jesus
Evaluation of the Ad Hoc On-Demand Distance Vector Routing Protocol for Mobile Ad Hoc Networks by Rickmon, Amber J.
Neuromorphic Computing: Architectures That Think Like Us VOL-II: Designing Brain-Inspired Systems for the Future of AI and Computing by Mishra, Anshuman
Software Protection Against Reverse Engineering Tools by Benson, Joshua A.
Compilation Techniques for VLIW Architectures by Gasperoni, Franco
Selecting a Software Engineering Methodology Using Multiobjective Decision Analysis by O'Malley, Scott A.
Innovative Approaches in Computational Systems and Smart Applications by
Advanced SQL for Data Analysts: Write Complex Queries and Optimize Database Performance by Blunt, Booker
PowerShell for Infrastructure Automation: Intermediate to Advanced by Relington, James
Learn C# with Visual Studio 2022: Comprehensive guide to C# fundamentals, Core .NET concepts, advanced features, and building with Visual Studio 2022 by Guerra Hahn, Marcelo
Build Your First Mobile App with React Native: A Complete Guide to Building Cross-Platform Mobile Apps by Sanders, Rafael
Formal Mitigation Strategies for the Insider Threat by Butts, Jonathan W.
Python pour Débutants: Apprenez à Coder Pas à Pas avec des Projets Simples: Le guide complet pour maîtriser les bases de la programmation Python, même by Cch
Stop Copy-Pasting Code: The Python Starter Kit That Teaches You to Think Like a Coder & Work Like a Pro by Knox, Riley, Elias, Brian
From Culture to Code: Leading Software Engineering Teams Effectively by Sosa, Jonathan
User Manual For Zip, A Z80 Assembly Language Interpreter Program by
Rust: The Practical Guide by Azam, Nouman
Innovative Approaches in Computational Systems and Smart Applications by
Salesforce Apex Design Patterns: Architecting Salesforce solutions with Apex design patterns (English Edition) by Madusanka, Chamil
Node.Js in Practice Building Fast, Scalable Server-Side Applications: Step-by-step guidance on creating REST APIs, real-time apps, and microservices u by Westwood, Nathan
Learn React Hooks - Second Edition: Unlock scalable state, performance, and clean code with Hooks, Context, Suspense, and Form Actions by Bugl, Daniel
Function Definition and Invocation: Parameters, Return Types, and Scope of Function Syntax and Behaviour in 22 Languages by Edet, Theophilus
Looping Constructs: For, While, Do-While, and Iterators of Iteration Mechanisms in 22 Languages by Edet, Theophilus
Design Patterns in Modern Programming: A Practical Guide Using Python, Java & C# by Mendez, Priya, Kimani, Darius, Trent, Isabella
See More