Title: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems, Author: Howard Bowman
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: VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995, Author: Joshua D. Guttman
Title: UML for Real: Design of Embedded Real-Time Systems, Author: Luciano Lavagno
Title: A Designer's Guide to VHDL Synthesis, Author: Douglas E. Ott
Title: Understanding Behavioral Synthesis: A Practical Guide to High-Level Design, Author: John P. Elliott
Title: The VHDL Handbook, Author: David R. Coelho
Title: Quick-Turnaround ASIC Design in VHDL: Core-Based Behavioral Synthesis, Author: N. Bouden-Romdhane
Title: VHDL: Hardware Description and Design, Author: Roger Lipsett
Title: Languages for Digital Embedded Systems, Author: Stephen A. Edwards
Title: LOTOSphere: Software Development with LOTOS, Author: Tommaso Bolognesi
Title: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities, Author: Axel Simon
Title: A Platform-Centric Approach to System-on-Chip (SOC) Design, Author: Vijay Madisetti
Title: Visual Languages, Author: Shi-Kuo Chang
Title: Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction, Author: José M. Garrido
Title: Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems, Author: Howard Bowman
Title: Arrays, Functional Languages, and Parallel Systems, Author: Lenore M. Restifo Mullin
Title: VHDL Answers to Frequently Asked Questions, Author: Ben Cohen
Title: Java for Bioinformatics and Biomedical Applications, Author: Harshawardhan Bal
Title: Java for Bioinformatics and Biomedical Applications, Author: Harshawardhan Bal

Pagination Links