|
Artificial Intelligence
|
||||||||||||||||||||
|
Field-Programmable Gate Array Technology by Stephen Trimberger Publisher Comments Many different kinds of FPGAs exist, with different programming technologies, different architectures and different software. Field-Programmable Gate Array Technology describes the major FPGA architectures available today, covering the three programming... (read more) Your price: $168.75 New - Hardcover 
add to wish list |
|
Recent Economic Thought #405: Advance Low-Power Digital Circuit Techniques by Muhammad S. Elrabaa Publisher Comments Advanced Low-Power Digital Circuit Techniques presents several novel high performance digital circuit designs that emphasize low-power and low-voltage operation. These circuits represent a wide range of circuits that are used in state-of-the-art VLSI... (read more) Your price: $220.75 New - Hardcover
add to wish list |
|
Starting Out with Programming Logic and Design by Tony Gaddis Publisher Comments Starting Out with Programming Logic and Design, Third Edition, is a language-independent introductory programming book that orients students to programming concepts and logic without assuming any previous programming experience. In the successful... (read more) Your price: $95.00 New - Trade Paper
add to wish list |
|
Introduction To Logic Design (3RD 10 Edition) by Alan Marcovitz Publisher Comments Introduction to Logic Design by Alan Marcovitz is intended for the first course in logic design, taken by computer science, computer engineering, and electrical engineering students. As with the previous editions, this edition has a clear presentation of... (read more) List Price $197.85 Your price: $159.00 Used - Hardcover
add to wish list |
|
Design Automation for Timing-Driven Layout Synthesis by Sachin S. Sapatnekar Publisher Comments The automation of layout synthesis design under stringent timing specifications is essential for state-of-the-art VLSI circuits and systems design. Especially, the timing-driven layout synthesis with optimal placement and routing of transistors with... (read more) Your price: $285.50 New - Hardcover
add to wish list |
|
Lecture Notes in Computer Science / Theoretical Computer Sci #5952: High Performance Embedded Architectures and Compilers: 5th International Conference, Hipeac 2010, Pisa, Italy, January 25-27, 2010, by Yale N. (edt) Patt Publisher Comments This book constitutes the refereed proceedings of the 5th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2010, held in Pisa, Italy, in January 2010. The 23 revised full papers presented together with the... (read more) Your price: $79.95 New - Trade Paper
add to wish list |
|
Communicating Sequential Processes. the First 25 Years by Ali E. (edt) Abdallah Publisher Comments This book commemorates the work done by Tony Hoare and published under the title Communicating Sequential Processes in the 1978 August issue of the Communications of ACM. The British Computer Society's specialist group Formal Aspects of Computing Science... (read more) Your price: $81.50 New - Trade Paper
add to wish list |
|
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997: Proceedings by Orna Grumberg Publisher Comments This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions... (read more) List Price $99.00 Your price: $95.29 Google eBooks - Electronic
add to wish list |
|
Concur 2009 - Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1-4, 2009, Proceedings by Mario Bravetti Publisher Comments This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully... (read more) List Price $119.00 Your price: $114.54 Google eBooks - Electronic
add to wish list |
|
Language-Driven Exploration and Implementation of Partially Re-Configurable ASIPs by Anupam Chattopadhyay Publisher Comments Modern Electronic System Level (ESL) techniques enable designers to effectively increase productivity. This book covers a key segment of ESL by modeling partially re-configurable processors via high-level Architecture Description Language.... (read more) List Price $159.00 Your price: $153.04 Google eBooks - Electronic
add to wish list |
|
Lecture Notes in Computer Science #953: Category Theory and Computer Science by David Pitt Publisher Comments This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995. The 15 revised full papers included in the volume document the exploitation of links between... (read more) Your price: $81.50 New - Trade Paper
add to wish list |
|
Assertion-Based Design by Harry D. Foster Publisher Comments The focus of Assertion-Based Design, Second Edition is three-fold: -How to specify assertions, -How to create and adopt a methodology that supports assertion-based design (predominately for RTL design), -What to do with the assertions and methodology... (read more) Your price: $189.50 New - Trade Paper
add to wish list |
|
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings by Antonín Kučera Publisher Comments The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R & D community, with numerous individuals, as well as... (read more) List Price $72.00 Your price: $69.30 Google eBooks - Electronic
add to wish list |
|
Efficient Branch & Bound Search with Application to Computer-Aided Design by Xinghao Chen Publisher Comments Branch-and-bound search has been known for a long time and has been widely used in solving a variety of problems in computer-aided design (CAD) and many important optimization problems. In many applications, the classic branch-and-bound search methods... (read more) Your price: $199.95 New - Hardcover
add to wish list |
|
Binary Decision Diagrams and Applications for Vlsi CAD by Shin-Ichi Minato Publisher Comments Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract... (read more) List Price $161.00 Your price: $154.96 Google eBooks - Electronic
add to wish list |
|
Studies in Fuzziness and Soft Computing #239: Theory and Practice of Uncertain Programming by Baoding Liu Publisher Comments Real-life decisions are usually made in the state of uncertainty such as randomness and fuzziness. How do we model optimization problems in uncertain environments? How do we solve these models? In order to answer these questions, this book provides a... (read more) List Price $159.00 Your price: $40.00 Used - Hardcover
add to wish list |
|
Concur '97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997: Proceedings by Antoni Mazurkiewicz Publisher Comments This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the... (read more) List Price $91.00 Your price: $87.59 Google eBooks - Electronic
add to wish list |
|
Place Coding in Analog VLSI: A Neuromorphic Approach to Computation by Oliver Landolt Publisher Comments Neurobiology research suggests that information can be represented by the location of an activity spot in a population of cells (`place coding'), and that this information can be processed by means of networks of interconnections. Place Coding in Analog... (read more) Your price: $203.95 New - Hardcover
add to wish list |
|
Formal Methods for Real-time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999: Proceedings by Joost-Pieter Katoan Publisher Comments This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999.The 17 revised full papers presented together with three... (read more) List Price $74.95 Your price: $72.14 Google eBooks - Electronic
add to wish list |
|
Lecture Notes in Computer Science / Lecture Notes in Artific #6642: Logic, Language, Information, and Computation: 18th International Workshop, Wollic 2011, Philadelphia, Pa, USA, May 18-20, Proceedin by Lev D. Beklemishev Publisher Comments This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from... (read more) Your price: $90.75 New - Trade Paper
add to wish list |
Don't Miss
