Logic Circuit Design
ISBN: 9780030507939 / Angielski / Twarda / 734 str. Termin realizacji zamówienia: ok. 58 dni roboczych. With Shaw's conversational writing style, sophomore engineering and computer science majors will find this text's coverage of combinational and sequential logic design easy to understand and a pleasure to read. The text is remarkably clear and provides extensive examples. Shaw maintains an ongoing relationship with industry, which is reflected in the text's primary goal of preparing students for entry into the workplaceready to design. The text's designfirst organization allows students to master a simple systematic design process, then move to design and analysis of more complex circuits....
With Shaw's conversational writing style, sophomore engineering and computer science majors will find this text's coverage of combinational and sequen...


cena:
1643,32 zł 
Photodiode Amplifiers: Op Amp Solutions
ISBN: 9780070242470 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Light photons impinging upon a semiconductor material in the vicinity of a PN junction release conduction carriers to produce current flow through the photodiode effect. Photodiode amplifiers convert this current to a voltage in a relationship that remains linear as long as the amplifier eliminates signal voltage swing from the photodiode.
Light photons impinging upon a semiconductor material in the vicinity of a PN junction release conduction carriers to produce current flow through th...


cena:
506,34 zł 
SystemOnChip Test Architectures: Nanometer Design for Testability Volume .
ISBN: 9780123739735 / Angielski / Twarda / 856 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or smaller geometry, has allowed the semiconductor industry to keep pace with the increased performancecapacity demands from consumers. As a result, semiconductor test costs have been growing steadily and typically amount to 40% of today's overall product cost.
This book is a comprehensive guide to new VLSI Testing and DesignforTestability techniques that will allow students, researchers, DFT practitioners, and VLSI designers to master quickly... Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or sm...


cena:
327,11 zł 
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2
ISBN: 9780198537687 / Angielski / Twarda / 616 str. Termin realizacji zamówienia: ok. 58 dni roboczych. This is the second volume in a series of wellrespected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cuttingedge results and unifying methodologies, this...
This is the second volume in a series of wellrespected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...


cena:
1106,09 zł 
Computation and Reasoning  A Type Theory for Computer Science
ISBN: 9780198538356 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 58 dni roboczych. This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the typetheoretic language with prooftheoretic justifications, and discusses various issues...
This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study o...


cena:
421,22 zł 
Asynchronous Circuits
ISBN: 9780387944203 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to... Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchro...


cena:
587,67 zł 
Logic for Applications
ISBN: 9780387948935 / Angielski / Twarda / 456 str. Termin realizacji zamówienia: ok. 58 dni roboczych. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of SkolemLowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem...
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to ...


cena:
548,49 zł 
Spectral Interpretation of Decision Diagrams
ISBN: 9780387955452 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. This approach also provides a framework for developing advanced solutions for digital design and a host of other applications. Scientists, computer science and engineering professionals, and researchers with an interest in the spectral methods of representing discrete functions, as well as the foundations of logic design, will find the book a clearly explained, wellorganized, and essential resource. Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. T... 

cena:
391,77 zł 
Refinement Calculus: A Systematic Introduction
ISBN: 9780387984179 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a selfcontained introduction suitable for graduate students and researchers coming to this subject for...
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving c...


cena:
391,77 zł 
Descriptive Complexity
ISBN: 9780387986005 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 58 dni roboczych. A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in firstorder logic. By virtue of the close relationship between logic and relational databses, it turns out that this subject has important applications to databases such as analysing the queries computable in polynomial time, analysing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is written...
A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of ...


cena:
470,13 zł 
Coherent Systems: Volume 2
ISBN: 9780444517890 / Angielski / Twarda / 468 str. Termin realizacji zamówienia: ok. 58 dni roboczych. One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting... One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, an... 

cena:
1077,41 zł 
Advanced FPGA Design: Architecture, Implementation, and Optimization
ISBN: 9780470054376 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 58 dni roboczych. This book provides the advanced issues of FPGA design as the underlying theme of the work. In practice, an engineer typically needs to be mentored for several years before these principles are appropriately utilized. The topics that will be discussed in this book are essential to designing FPGA's beyond moderate complexity. The goal of the book is to present practical design techniques that are otherwise only available through mentorship and realworld experience.
This book provides the advanced issues of FPGA design as the underlying theme of the work. In practice, an engineer typically needs to be mentored for...


cena:
644,05 zł 
Digital Design from Zero to One
ISBN: 9780471124474 / Angielski / Miękka / 640 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Takes a fresh look at basic digital design. From definition, to example, to graphic illustration, to simulation result, the book progresses through the main themes of digital design. Technically uptodate, this book covers all the latest topics: Field programmable gate arrays, PALs and ROMs. The latest memory chips for SRAM and DRAM are shown. Software for creating the excitation equations of FSM are covered, as well as LogicWorks and Beige Bag PC and more.
Takes a fresh look at basic digital design. From definition, to example, to graphic illustration, to simulation result, the book progresses through th...


cena:
716,26 zł 
VLSI Digital Signal Processing Systems: Design and Implementation
ISBN: 9780471241867 / Angielski / Twarda / 816 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Digital audio, speech recognition, cable modems, radar, highdefinition televisionthese are but a few of the modern computer and communications applications relying on digital signal processing (DSP) and the attendant applicationspecific integrated circuits (ASICs). As informationage industries constantly reinvent ASIC chips for lower power consumption and higher efficiency, there is a growing need for designers who are current and fluent in VLSI design methodologies for DSP.
Enter VLSI Digital Signal Processing Systemsa unique, comprehensive guide to performance optimization... Digital audio, speech recognition, cable modems, radar, highdefinition televisionthese are but a few of the modern computer and communications appli...


cena:
888,45 zł 
LowVoltage Soi CMOS VLSI Devices and Circuits
ISBN: 9780471417774 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 58 dni roboczych. A practical, comprehensive survey of SOI CMOS devices and circuits for microelectronics engineers
The microelectronics industry is becoming increasingly dependent on SOI CMOS VLSI devices and circuits. This book is the first to address this important topic with a practical focus on devices and circuits. It provides an uptodate survey of the current knowledge regarding SOI device behaviors and describes stateoftheart lowvoltage CMOS VLSI analog and digital circuit techniques. LowVoltage SOI CMOS VLSI Devices and Circuits covers the entire field, from basic concepts to the... A practical, comprehensive survey of SOI CMOS devices and circuits for microelectronics engineers
The microelectronics industry is becoming incr... 

cena:
810,68 zł 
Verilog Coding for Logic Synthesis
ISBN: 9780471429760 / Angielski / Twarda / 310 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Provides a practical approach to Verilog design and problem solving.
* Bulk of the book deals with practical design problems that design engineers solve on a daily basis. * Includes over 90 design examples. * There are 3 full scale design examples that include specification, architectural definition, microarchitectural definition, RTL coding, testbench coding and verification. * Book is suitable for use as a textbook in EE departments that have VLSI courses Provides a practical approach to Verilog design and problem solving.
* Bulk of the book deals with practical design problems that design enginee... 

cena:
732,92 zł 
ULSI Semiconductor Technology Atlas
ISBN: 9780471457725 / Angielski / Twarda / 680 str. Termin realizacji zamówienia: ok. 58 dni roboczych. More than 1,100 TEM images illustrate the science of ULSI
The natural outgrowth of VLSI (Very Large Scale Integration), Ultra Large Scale Integration (ULSI) refers to semiconductor chips with more than 10 million devices per chip. Written by three renowned pioneers in their field, ULSI Semiconductor Technology Atlas uses examples and TEM (Transmission Electron Microscopy) micrographs to explain and illustrate ULSI process technologies and their associated problems. The first book available on the subject to be illustrated using TEM images, ULSI Semiconductor... More than 1,100 TEM images illustrate the science of ULSI
The natural outgrowth of VLSI (Very Large Scale Integration), Ultra Large Scale... 

cena:
1132,85 zł 
FieldProgrammable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems
ISBN: 9780471556657 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Timely, authoritative, applicationoriented. an indepth exploration of current and future uses of FPGAs in digital systems The development of fieldprogrammable gate arrays (FPGAs) may well be the most important breakthrough for the microelectronics industry since the invention of the microprocessor. Using FPGAs, a system designer working on a PC can now develop a working prototype in a few hours and change it at will in just a few minutes, rather than waiting weeks or months for a printedcircuit assembly or a custom integrated circuit to be built. This newfound ability to change a system...
Timely, authoritative, applicationoriented. an indepth exploration of current and future uses of FPGAs in digital systems The development of fieldp...


cena:
955,10 zł 
Computer Aided Logical Design with Emphasis on VLSI
ISBN: 9780471575276 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 58 dni roboczych. Tied to no particular set of computeraided logic design tools, it advocates the new emphasis in VLSI design. Includes support of layout synthesis from description in a register transfer level language as well as from design capture. Contains a detailed introduction to Boolean algebra, Karnaugh maps and sequential circuits. In this edition discussion of combination logic has been extended; switching circuits updated; a comprehensive treatment of test generation for VLSI included.
Tied to no particular set of computeraided logic design tools, it advocates the new emphasis in VLSI design. Includes support of layout synthesis fro...


cena:
1293,93 zł 
Synthesis of Arithmetic Circuits: Fpga, ASIC and Embedded Systems
ISBN: 9780471687832 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 58 dni roboczych. A new approach to the study of arithmetic circuits
In Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems, the authors take a novel approach of presenting methods and examples for the synthesis of arithmetic circuits that better reflects the needs of today's computer system designers and engineers. Unlike other publications that limit discussion to arithmetic units for generalpurpose computers, this text features a practical focus on embedded systems. Following an introductory chapter, the publication is divided into two parts. The first part,... A new approach to the study of arithmetic circuits
In Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems, the authors take... 

cena:
910,67 zł 