Sales & Promotions Gift Ideas Gift Vouchers Clearance Coming Soon

Books

Mario Day Sale

Shop by Offer

member benefitsSold by Mighty ApeFast dispatch

Top Categories

Show more categories

Price

Under $100$100 to $150$150 to $200$200 and above

$

to

Author

The Interpretation of Object-Oriented Programming Languages

Hardware Verification with System Verilog

Mike Mintz, Robert Ekendahl

Model Checking Software

Compiler Construction

Compiler Construction

Programming Languages and Systems

Languages and Compilers for Parallel Computing

Interaction Between Compilers and Computer Architectures

Retargetable Compiler Technology for Embedded Systems

Rainer Leupers, Peter Marwedel

Linkers and Loaders

Types for Proofs and Programs

Functional and Logic Programming

Implementation and Applications of Automata

25 Years of Model Checking

Models in Software Engineering

Conceptual Structures: Knowledge Visualization and Reasoning

Theorem Proving in Higher Order Logics

Rewriting Techniques and Applications

Algebraic Methodology and Software Technology

Mathematics of Program Construction

Model Checking Software

Languages and Compilers for Parallel Computing

Advances in Case-Based Reasoning

Modeling Decisions for Artificial Intelligence

Scalable Uncertainty Management

Automated Technology for Verification and Analysis

Rough Sets and Current Trends in Computing

Logics in Artificial Intelligence

MICAI 2008: Advances in Artificial Intelligence

Advances in Artificial Intelligence - SBIA 2008

Abstract State Machines, B and Z

Verified Software: Theories, Tools, Experiments

Conceptual Modeling - ER 2008

Languages and Compilers for Parallel Computing

Advances in Software Engineering

Software and Data Technologies