Programming in 2025

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 Raghunathan, Arvind, Cole, Richard

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

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.

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.

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.

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.

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.

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

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.

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.

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.

PowerShell for Infrastructure Automation: Intermediate to Advanced by Relington, James

Build Your First Mobile App with React Native: A Complete Guide to Building Cross-Platform Mobile Apps by Sanders, Rafael

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 Elias, Brian, Knox, Riley

From Culture to Code: Leading Software Engineering Teams Effectively by Sosa, Jonathan

User Manual For Zip, A Z80 Assembly Language Interpreter Program by

Accelerating Malware Detection via a Graphics Processing Unit by Kovach, Nicholas S.

Metamorphic Program Fragmentation as a Software Protection by Birrer, Bobby

Software Protection Against Reverse Engineering Tools by Benson, Joshua A.

Metamorphism as a Software Protection for Non-Malicious Code by Dube, Thomas E.

Dynamic Protocol Reverse Engineering by DeYoung, Mark E.

Developing a Gualia-Based Multi-Agent Architecture for use in Malware Detection by Birrer, Bobby D.

Formal Mitigation Strategies for the Insider Threat by Butts, Jonathan W.

Evaluation of the Ad Hoc On-Demand Distance Vector Routing Protocol for Mobile Ad Hoc Networks by Rickmon, Amber J.

Secureqemu by Kimball, William B.

An Application of Automated Theorem Provers to Computer System Security by Hirschfeld, Mitchell David Irwin

Innovative Approaches in Computational Systems and Smart Applications by

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

Innovative Approaches in Computational Systems and Smart Applications by

Rust: The Practical Guide by Azam, Nouman

Advanced SQL for Data Analysts: Write Complex Queries and Optimize Database Performance by Blunt, Booker

Digital Storytelling: A Creator's Guide to Interactive Entertainment, Volume I by Miller, Carolyn Handler

Neuromorphic Computing: Architectures That Think Like Us VOL-II: Designing Brain-Inspired Systems for the Future of AI and Computing by Mishra, Anshuman

A Syntax-directed FORTRAN Statement Checker, by Hoffberg, Susan S., Goldstein, Max

Micro Spitbol by Dewar, Robert B. K., Golumbic, Martin Charles, Goss, Clinton F.

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

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

Variable Declaration and Initialization: A Comparative Guide to Data Types, Mutability, and Scope in 22 Languages by Edet, Theophilus

Learn React Hooks - Second Edition: Unlock scalable state, performance, and clean code with Hooks, Context, Suspense, and Form Actions by Bugl, Daniel

LLVM Code Generation: A deep dive into compiler backend development by Colombet, Quentin

Software development for beginners: A step-by-step guide to coding, tools and best practices by Smith, Carlos

Easily understand axios source code by Lincoln, Owen

Top 10 JavaScript Misconceptions by Lincoln, Owen

Programming in Go (Golang): A Comprehensive Guide to Writing Clear, Efficient, and Maintainable Code by Myles, Jaxon

The Unit Testing Practice Cookbook: Bulletproof Unit Testing with .Net by Giretti, Anthony

Building E-Commerce Websites with Shopify: Create Your Own Online Store with Shopify by Richard, Boozman

Deep Learning for Beginners: Unlock the Secrets of Neural Networks and AI with Python by Farmer, Miguel

"Java Interview Mastery": 400 Advanced Interview Questions by Suri Delhi, Nav

The Python Developer's Handbook: A Complete Guide to Python Programming Best Practices by Farmer, Miguel

The Complete Full Stack Developer's Handbook: Building Scalable Applications by Chesterfield, Greyson

SQL Server & The Digital Espionage Wars: Data, Defense, and Deception by McShea, Patrick

Tech Troubles: Real-World Software Failures That Shook Systems: Software Engineering Microservices distributed systems Software Design by Architect, Veteran Systems

Python Crash Course: The Ultimate Beginner's Guide to Programming Fundamentals by Hawthorn, Amara

Full Stack Mastery: From HTML to Deployment by Chesterfield, Greyson

Automatización de Tareas Repetitivas con IA para Productividad by Andrade Cañameras, Andrés

Memory Dump Analysis Anthology: Color Supplement for Volumes 4-5, Revised Edition by Vostokov, Dmitry, Software Diagnostics Institute

TypeScript for Developers: A Complete Hands-On Guide to Type-Safe JavaScript, React Projects, and Scalable Web Apps by Myles, Jaxon

A Practical Guide to Full Stack Development: Building Real-World Applications by Duckworth, Marsha

Top Tips: C Programming: C Mastery: Expert Tips and Strategies for Efficient Code and Problem Solving by Jackson, Karl

DevOps & DevEx: The Indispensable Guide to Strategic Scaling of Enterprise DevOps, Developer Experience (DevEx), and Site Reliability Engineering (SRE by Danenberg, Willy

Computer Aided Design of 3D Printable Anatomically Shaped Medical Devices: Methodologies and Applications by Gorski, Filip

Creating Data Dashboards with Python: Build Interactive and Insightful Dashboards Using Python by Farmer, Miguel

Hands-On Full Stack Development: Real-World Projects to Kickstart Your Web Development Career by Chesterfield, Greyson

Applied Computer Vision and Soft Computing with Interpretable AI by

Demystifying Big Data Analytics for Industries and Smart Societies by

Nlp Application: Natural Language Questions and SQL Using Computational Linguistics by Kedwan, Ftoon

n8n Sin Misterios: La Preparación Mental y Técnica que Necesitas para Automatizar Como un Experto by Lage, Azor

Artificial Intelligence for Intrusion Detection Systems by

Java for Beginners: Learn Java Programming from Scratch and Build Real Applications by Sanders, Rafael

Building Full Stack Web Apps with Python and Django by Duckworth, Marsha

Building Modern Web Apps: Full Stack Development Techniques You Need to Know by Duckworth, Marsha

Artificial Intelligence on Dark Matter and Dark Energy: Reverse Engineering of the Big Bang by Fernández, Ariel

Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes, 2nd Edition by Burns, Brendan

Terraform: Up and Running: Writing Infrastructure as Code, 3rd Edition by Brikman, Yevgeniy

Standards for the Control of Algorithmic Bias: The Canadian Administrative Context by Heisler, Natalie, Grossman, Maura R.

A Semantic Web Primer, third edition by Antoniou, Grigoris, Groth, Paul, Van Harmelen, Frank

Intelligent Systems in Healthcare and Disease Identification using Data Science by

Programming with Python: And Its Applications to Physical Systems by Singh, M. Shubhakanta

What Every Engineer Should Know About Python by Madachy, Raymond J.

Cruising Along with Java: Modernize and Modularize with the Latest Features by Subramaniam, Venkat

Building Quantum Software in Python: A Developer's Guide by Gonciulea, Constantin, Stefanski, Charlee

Die Psychologie erfolgreicher Software: 55 Strategien für Nutzerbindung, Wachstum und emotionale Produktresonanz by Vogl, Wolfgang

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

Software Performance Engineering: A comprehensive guide for high-performance development (English Edition) by Rotem, Alon

The TypeScript Way: A Developer's Guide to Modern Web Development VOL-I by Mishra, Anshuman

Machine Learning with PyTorch: Learn to Build Neural Networks and AI Models with PyTorch by Farmer, Miguel

Complete Full Stack Development: Mastering Frontend and Backend for Successful Projects by Duckworth, Marsha

Learning JavaScript Frameworks: React, Vue, and Angular: A Guide to Front-End Frameworks for Beginners by Sanders, Rafael

Ultimate Deno for Web Development: Build Lightning-Fast, Secure Web Applications with Deno Using TypeScript, React, Rust, and Cloud-Ready Tools like D by Jain, Prof Veerendra Kumar, Ava, Orange

Agile Processes in Software Engineering and Extreme Programming: 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, by

Learning Go with Networking: Automating network programming, operations, and security (English Edition) by A, Balachandar, T. V., Yogananth

Cinema 4D Basics: Learn 3D Modeling, Animation, and Rendering by , Artle, Jr.

The TypeScript Way: A Developer's Guide to Modern Web Development VOL-II by Mishra, Anshuman

C++ metaprogramming: A Developer's Guide to Compile-Time Programming Concepts, Tools, and Real-World Strategies for Efficient Code by R. Cade, Lawrence

The Complete Rust Developer: Go from Beginner to Advanced and Build Real-World, Production-Ready Applications by Elias, Brian

Advanced Web Development with React: A Beginner's Guide to Databases and SQL Queries by Blunt, Booker

Commenting Conventions: Single-line, Multi-line, and Documentation Styles of Code Documentation in 22 Languages. by Edet, Theophilus

Java for Absolute Beginners: A Step-by-Step Guide to Core Programming Concepts by Hawthorn, Amara

Full Stack Development with Vue.js and Express: A Hands-On Guide by Duckworth, Marsha

Python for Mathematics by Knight, Vincent

Animation Craft: For 3D and 2D Animators by Annand, Jonathan

Exploring Blazor: Creating Server-Side and Client-Side Applications in .Net 9 by Litvinavicius, Taurius

Python for Mathematics by Knight, Vincent

Full Stack Development: The Complete Developer's Guide to Building Web Applications by Duckworth, Marsha

Unreal Engine Projects for Non-coders: A guide to Unreal Engine's visual environment asset pipelines and basic VR concepts (English Edition) by Mortakis, Myron

The Expert's Guide to ZBrush: A Comprehensive Innovative Techniques in Zbrush for Beginners (From Novice to Digital Sculptor) by Hartley, Gavin

Cybersecurity Threats and Attacks in the Gaming Industry: Secure Game Players' and Developers' Data and Systems by Nardone, Massimo

Animation Craft: For 3D and 2D Animators by Annand, Jonathan

Post-Quantum Cryptography Algorithms and Approaches for Iot and Blockchain Security: Volume 138 by

From Beginner to Full Stack Developer: Mastering Web Development with Step-by-Step Projects by Duckworth, Marsha

Advances in Information Systems Development: Exploring New Horizons and Opportunities by

Fundamentals of Software Architecture: Practical guide to building resilient software and high-performance systems (English Edition) by Risi, Craig

ISO 9001 Internes Auditieren - Ein Umfassender Leitfaden für Qualitätsmanagement: Interne Audits meistern, kontinuierliche Verbesserung fördern und IS by Ibrahim, Mohamed-Ali

Julia Programming Essentials: Data Types, Collections, and Control Structures by Foster, Mark

Full Stack Web Development with Bootstrap and Node.js by Duckworth, Marsha

Cracking Quality: AI-Powered Testing for the Next-Gen Engineer by Vaibhav Dubey

Floating Point Numerics for Games and Simulations by Badizadegan, Nima

Julia Programming For Beginners: The Essential Guide to Learning Programming Julia by Foster, Mark

Designing Websites with Publii and Github Pages: Create, Maintain and Host Beautiful Websites for Free by Moore, Brad

Mastering Clip Studio Paint: Discover advanced CSP techniques to create breathtaking illustrations quickly and easily by Belfort, Bruna

Mastering React.js 19: Build Modern Web Applications with the latest features by Wilson, Miles

Statistical Modeling and Robust Inference for One-Shot Devices by Balakrishnan, Narayanaswamy, Castilla, Elena

Object-Oriented Programming with Java: Master the Principles of OOP with Java by Blunt, Booker

Metal Deep Dive: The Bible for Modern GPU Programming on Apple Devices by Reigns, Paul

SEO Mastery: Unlocking the Secrets of Search Rankings by Tyers, Benjamin Guy