Hardware Verification with System Verilog : An Object-Oriented Framework
Mike Mintz
Download - Immediately Available
Format: eBook (PDF)
The Electronic Design Automation Handbook
Dirk Jansen
Download - Immediately Available
Format: eBook (PDF)
Programming Languages : An Active Learning Approach
Kent D. Lee
Download - Immediately Available
Format: eBook (PDF)
Advanced Debugging Methods
Raimondas Lencevicius
Download - Immediately Available
Format: eBook (PDF)
Constraint and Integer Programming : Toward a Unified Methodology
Michela Milano
Download - Immediately Available
Format: eBook (PDF)
LISP, Lore, and Logic : An Algebraic View of LISP Programming, Foundations, and Applications
W. Richard Stark
Download - Immediately Available
Format: eBook (PDF)
TEX in Practice : Volume II: Paragraphs, Math and Fonts
Stephan v. Bechtolsheim
Download - Immediately Available
Format: eBook (PDF)
Introduction to College Mathematics with A Programming Language
Edward J. LeCuyer
Download - Immediately Available
Format: eBook (PDF)
Programming with Sets : An Introduction to SETL
J.T. Schwartz
Download - Immediately Available
Format: eBook (PDF)
The Synthesizer Generator Reference Manual
Thomas W. Reps
Download - Immediately Available
Format: eBook (PDF)
VLSI Placement and Routing: The PI Project
Alan T. Sherman
Download - Immediately Available
Format: eBook (PDF)
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
David Luckham
Download - Immediately Available
Format: eBook (PDF)
Bayesian Networks in R : with Applications in Systems Biology
Radhakrishnan Nagarajan
Download - Immediately Available
Format: eBook (PDF)
Technology of Object-Oriented Languages, Systems and Architectures
Theo D'Hondt
Download - Immediately Available
Format: eBook (PDF)
Identifying Relevant Information for Testing Technique Selection : An Instantiated Characterization Schema
Sira Vegas
Download - Immediately Available
Format: eBook (PDF)
Workload Characterization of Emerging Computer Applications
Lizy Kurian John
Download - Immediately Available
Format: eBook (PDF)
Logic Program Synthesis from Incomplete Information
Pierre Flener
Download - Immediately Available
Format: eBook (PDF)
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
Steven P. Reiss
Download - Immediately Available
Format: eBook (PDF)
Implementations of Logic Programming Systems
Evan Tick
Download - Immediately Available
Format: eBook (PDF)
Reversible Grammar in Natural Language Processing
T. Strzalkowski
Download - Immediately Available
Format: eBook (PDF)
The Functional Treatment of Parsing
Rene Leermakers
Download - Immediately Available
Format: eBook (PDF)
