|
| € 75.56 This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille,... € 78.54 Logic and Learning provides a systematic approach to knowledge representation, computation, and learning using higher-order logic. For those...
€ 50.15 The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR... € 83.46 The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July...
€ 38.41 If you've ever dreamed of setting up your own recording studio, Apple's newly acquired Logic high-end audio software is the perfect place to... € 119.24 This book provides a systematic and comprehensive insight into current sensing techniques. In addition to describing theoretical and...
€ 163.98 Systematic Design of Analog IP Blocks introduces a design methodology that can help to bridge the productivity gap. Two different types of... € 109.31 Provides a practical approach to Verilog design and problem solving.* Bulk of the book deals with practical design problems that design...
€ 164.28 The Forum on Design Languages (FDL) is the European Forum toexchange experiences and learn new trends, in the application oflanguages and... € 40.25 Diese in der Neuauflage zweib ndige Einf hrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die...
€ 138.19 This unique book deals with the migration of existing hard IP from one technology to another, using repeatable procedures. It will allow CAD... € 127.54 Modern Placement Techniques explains physical design and VLSI/CAD placement to the professional engineer and engineering student. Along with...
|
|