Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS, Author: Michael Yoeli
Title: Verification and Validation for Quality of UML 2.0 Models, Author: Bhuvan Unhelkar
Title: VC++ MFC Extensions by Example, Author: John Swanke
Title: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities, Author: Axel Simon
Title: Using WAVES and VHDL for Effective Design and Testing: A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES), Author: James P. Hanna
Title: UNIX and Perl to the Rescue!: A Field Guide for the Life Sciences (and Other Data-rich Pursuits), Author: Keith Bradnam
Title: Unification Grammars, Author: Nissim Francez
Title: Understanding Macromedia Flash 8 ActionScript 2: Basic techniques for creatives, Author: Andrew Rapo
Title: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Understanding C++ for MFC, Author: Richard Raposa
Title: Uncertainty Analysis of Experimental Data with R, Author: Benjamin David Shaw
Title: UML for Systems Engineering: Watching the wheels, Author: Jon Holt
Title: UML for SOC Design, Author: Grant Martin
Title: UML for Real: Design of Embedded Real-Time Systems, Author: Luciano Lavagno
Title: UML Diagramming: A Case Study Approach, Author: Suriya Sundaramoorthy
Title: UML by Example, Author: Ghinwa Jalloul
Title: Types and Programming Languages, Author: Benjamin C. Pierce
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Two-Level Functional Languages, Author: Flemming Nielson
Title: Troubleshooting Oracle Performance, Author: Christian Antognini

Pagination Links