Title: System Synthesis with VHDL, Author: Petru Eles
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: Programming Languages and Systems in Computational Economics and Finance, Author: Soren Bo Nielsen
Title: Languages for Digital Embedded Systems, Author: Stephen A. Edwards
Title: Java for Bioinformatics and Biomedical Applications, Author: Harshawardhan Bal
Title: VHDL Answers to Frequently Asked Questions, Author: Ben Cohen
Title: Model Engineering in Mixed-Signal Circuit Design: A Guide to Generating Accurate Behavioral Models in VHDL-AMS, Author: Sorin Alexander Huss
Title: Model Engineering in Mixed-Signal Circuit Design: A Guide to Generating Accurate Behavioral Models in VHDL-AMS, Author: Sorin Alexander Huss
Title: Arrays, Functional Languages, and Parallel Systems, Author: Lenore M. Restifo Mullin
Title: Circuit Synthesis with VHDL, Author: Roland Airiau
Title: Visualizing Information Using SVG and X3D: XML-based Technologies for the XML-based Web, Author: Vladimir Geroimenko
Title: Hardware Verification with C++: A Practitioner's Handbook, Author: Mike Mintz
Title: Intelligent Image Processing in Prolog, Author: Bruce G. Batchelor
Title: Understanding Behavioral Synthesis: A Practical Guide to High-Level Design, Author: John P. Elliott
Title: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities, Author: Axel Simon
Title: Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach, Author: Petraq Papajorgji
Title: Mixed Effects Models and Extensions in Ecology with R, Author: Alain Zuur
Title: VHDL Coding Styles and Methodologies, Author: Ben Cohen
Title: Advanced Programming Language Design, Author: Raphael Finkel
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick

Pagination Links