Verification, Model Checking, and Abstract Interpretation

Principles of Abstract Interpretation

Patrick Cousot

Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.

Static Analysis

Radhia Cousot

Verification, Model Checking, and Abstract Interpretation

Radhia Cousot

Static Analysis

Radhia Cousot

Static Analysis

Patrick Cousot

Immigration, prison, sida

Radhia Moumen-Marcoux

Advanced Oracle Solaris 11 System Administration

Bill Calkins

Spanish Certificate of Cloud Auditing Knowledge Study Guide EBook

Isaca

Programming in Swift

Stephen G. Kochan

Building Scalable Applications with Erlang

Jerry Jackson

Spanish IoT Fundamentals Study Guide

Isaca

Engineering Graphics Essentials with AutoCAD 2023 Instruction

Kirstie Plantenberg

Autodesk AutoCAD Certified User Study Guide

William Wyatt

Autodesk Revit for Architecture Certified User Exam Preparation (Revit 2023 Edition)

Daniel John Stine

Proceedings of the 9th National Conference on Frontiers in Communication and Signal Processing Systems

Adhiyamaan College of Engineering

Chinese CISM Review Questions, Answers and Explanations, 10th Edition EBook

Isaca

Official CompTIA CASP+ Self-Paced Study Guide (Exam CAS-004) EBook - Japanese Edition

CompTIA

Chinese Certificate of Cloud Auditing Knowledge Study Guide EBook

Isaca

Learning Embedded Systems with MSP432 Microcontrollers

Byul Hur

Official CompTIA Network+ Self-Paced Study Guide (Exam N10-008) EBook - Japanese Edition

CompTIA Inc

Moto G

La Counte

Two Day International Conference on Recent Trends in Computing and Information Technology

V. Vivek

IT Audit Fundamentals Study Guide

Isaca

Learning Autodesk Inventor 2023

Randy Shih

Engineering Analysis with SOLIDWORKS Simulation 2022

Paul Kurowski

Extreme Values

Lee Fawcett

Official CompTIA a+ Core 1 Student Guide (Exam 220-1101) EBook

James Pengelly

Spanish Artificial Intelligence Fundamentals Study Guide

Isaca

Official CompTIA a+ Core 2 Instructor Guide (Exam 220-1102) EBook

James Pengelly

AutoCAD 2023 for the Interior Designer

Dean Muccio

Commercial Design Using Autodesk Revit 2023

Daniel John Stine

Autodesk Maya 2023 Basics Guide

Kelly Murdock

Motion Simulation and Mechanism Design with SOLIDWORKS Motion 2022

Kuang-Hua Chang

Official CompTIA a+ Core 1 & Core 2 Instructor Guide (Exams 220-1101 and 220-1102) EBook

James Pengelly

Residential Design Using Autodesk Revit 2023

Daniel John Stine

Tutorial Guide to AutoCAD 2023

Shawna Lockhart

Autodesk AutoCAD 2023 Fundamentals

Elise Moss

Tutorial Guide to AutoCAD 2023

Shawna Lockhart

Predictive Modeling

Mark Keith

TechnoArcade EBook

The Knowledge Hub

Learning SOLIDWORKS 2022

Randy Shih

Mac OS X Troubleshooting

Matt Washchuk

Autodesk Revit 2023 Architecture Certification Exam Study Guide

Elise Moss

Autodesk AutoCAD 2023 Fundamentals

Elise Moss

Autodesk Maya 2023 Basics Guide

Kelly Murdock

Introduction to SOLIDWORKS Flow Simulation 2022

John Matsson

SOLIDWORKS 2022 Quick Start

David Planchard

Chinese CISM Review Manual, 16th Edition EBook

Isaca

TechnoArcade TG EBook

The Knowledge Hub

Tools for Design Using AutoCAD 2023 and Autodesk Inventor 2023

Randy Shih

Official CompTIA a+ Core 1 & Core 2 Instructor Guide (Exams 220-1101 And 220-1102)

James Pengelly

Spanish Blockchain Fundamentals Study Guide

Isaca

Official CompTIA Network+ Self-Paced Study Guide (Exam N10-008) - Japanese Edition

CompTIA

Official CompTIA a+ Core 1 and Core 2 Self-Paced Study Guide (Exams 220-1101 and 220-1102) Set

James Pengelly

Thermal Analysis with SOLIDWORKS Simulation 2020 and Flow Simulation 2022

Paul Kurowski

CISM Review Questions, Answers & Explanations Manual 10th Edition

Isaca

Spanish CDPSE Review Manual

Isaca

Spanish Cloud Fundamentals Study Guide

Isaca

Murachs PHP and MySQL

Joel Murach

Official CompTIA a+ Core 1 Self-Paced Study Guide (Exam 220-1101) EBook

James Pengelly

CompTIA CertMaster Learn for Data+ (DA0-001) - Student Access Key

CompTIA Inc

Official CompTIA a+ Core 1 & Core 2 Student Guide (Exams 220-1101 And 220-1102)

James Pengelly

SOLIDWORKS 2022 Quick Start

David Planchard

Official CompTIA a+ Core 2 Student Guide (Exam 220-1102)

James Pengelly

Engineering Graphics with SOLIDWORKS 2022

Kirstie Planchard

SOLIDWORKS 2022 and Engineering Graphics

Randy Shih