114 views
07 Sep 09 Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Leslie Lamport | 2002 | ISBN: 032114306X | PDF | 384 pages | English | 2 MB
A distillation of over 25 years of work by one of the world’s most renowned computer scientists, Leslie Lamport. » » » »
35 views
29 Aug 09 Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation
Product Description
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. » » » »
38 views
24 Aug 09 Hardware Implementation of Finite-Field Arithmetic (Electronic Engineering)
McGraw-Hill Professional; 1st edition (February 19, 2009) | English | 0071545816 | 360 pages | PDF | 1.50 MB
Implement Finite-Field Arithmetic in Specific Hardware (FPGA and ASIC)Master cutting-edge electronic circuit synthesis and design with help from this detailed guide. » » » »
65 views
20 Aug 09 Brainware : Bio-Inspired Architecture and Its Hardware Implementation
World Scientific Publishing Company | 2001-02-19 | ISBN: 9810245475 | 400 pages | PDF | 10,8 MB
Discusses a ‘bio-inspired’ implementation of human-brain computer architecture called brainware, » » » »
33 views
25 Jul 09 Mastering System Center Configuration Manager 2007 R2
Mastering System Center Configuration Manager 2007 R2
Product Description
Mastering System Center Configuration Manager 2007 provides intermediate and advanced coverage of all aspects of the product, including planning and installation, upgrading Systems Management Server 2003, deploying software and operating systems, » » » »
84 views
10 Jul 09 Computer-Based Environmental Management
Computer-Based Environmental Management (Vom Wasser)
Wiley-VCH | ISBN: 352730732X | 300 pages | December 9, 2003 | PDF | 4 Mb
“This is a well-written and understandable book…. The author is to be commended on his effort.” (Energy Sources, August 2004) “This book is a giant step forward in describing the development and use of environmental models…” (G.F Bennett Journal of Hazardous Materials, 108 March 2004) “Die Publikation von R. » » » »
