Logic Circuit Design
ISBN: 9780030507939 / Angielski / Twarda / 734 str. Termin realizacji zamówienia: ok. 22 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:
1276,76 zł 
Signal and Power Integrity in Digital Systems: TTL, CMOS, and BICMOS
ISBN: 9780070087347 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book shows designers how to ensure signal integrity and control noise in highspeed digital systems  particularly important in a Pentiumpaced environment where functional logic design is no longer separable from electrical and mechanical design. Highlighting TTL, CMOS, and BiCMOS logic applications in a single source, Signal and Power Integrity in Digital Systems provides a practical solutionsoriented approach to a wide variety of relevant interconnection and timing issues. Special features include noise tolerant logic architectures; power distribution techniques that reduce noise;...
This book shows designers how to ensure signal integrity and control noise in highspeed digital systems  particularly important in a Pentiumpaced e...


cena:
311,78 zł 
Photodiode Amplifiers: OP AMP Solutions
ISBN: 9780070242470 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 1618 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:
376,73 zł 
SystemonChip Test Architectures : Nanometer Design for Testability
ISBN: 9780123739735 / Angielski / Twarda / 856 str. Termin realizacji zamówienia: ok. 2225 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:
339,48 zł 
Temporal Logic: Volume 2
ISBN: 9780198537687 / Angielski / Twarda / 616 str. Termin realizacji zamówienia: ok. 22 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:
1796,46 zł 
Computation and Reasoning : A Type Theory for Computer Science
ISBN: 9780198538356 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 22 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:
494,03 zł 
Descriptive Complexity
ISBN: 9780387986005 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 25 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:
532,93 zł 
Coherent Systems
ISBN: 9780444517890 / Angielski / Twarda / 468 str. Termin realizacji zamówienia: ok. 22 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:
1046,36 zł 
Advanced FPGA Design : Architecture, Implementation, and Optimization
ISBN: 9780470054376 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 2225 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:
560,31 zł 
Digital Design from Zero to One
ISBN: 9780471124474 / Angielski / Miękka / 640 str. Termin realizacji zamówienia: ok. 2225 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:
1027,24 zł 
LowVoltage SOI CMOS VLSI Devices and Circuits
ISBN: 9780471417774 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 2225 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:
690,01 zł 
Verilog Coding for Logic Synthesis
ISBN: 9780471429760 / Angielski / Twarda / 310 str. Termin realizacji zamówienia: ok. 2225 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:
622,57 zł 
ULSI Semiconductor Technology Atlas
ISBN: 9780471457725 / Angielski / Twarda / 680 str. Termin realizacji zamówienia: ok. 2225 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:
959,79 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. 2225 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:
809,34 zł 
Computer Aided Logical Design with Emphasis on VLSI
ISBN: 9780471575276 / Angielski / Miękka / 560 str. Termin realizacji zamówienia: ok. 2225 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:
1042,80 zł 
Synthesis of Arithmetic Circuits : FPGA, ASIC and Embedded Systems
ISBN: 9780471687832 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 2225 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:
773,02 zł 
The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution
ISBN: 9780521022545 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book develops the theory of typed feature structures, a data structure that generalizes both firstorder terms and feature structures of unificationbased grammars to include inheritance, typing, inequality, cycles, and intensionality.
This book develops the theory of typed feature structures, a data structure that generalizes both firstorder terms and feature structures of unificat...


cena:
246,08 zł 
Topology via Logic
ISBN: 9780521576512 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the author freely exploits the methods of locale theory. Third, there is substantial discussion of some computer science applications. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct...
This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite ...


cena:
296,31 zł 
Handshake Circuits : An Asynchronous Architecture for VLSI Programming
ISBN: 9780521617154 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 22 dni roboczych. ?Design by programming? has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of...
?Design by programming? has proved very successful in the development of complex software systems. This book describes the construction of programs fo...


cena:
366,63 zł 
Basic Proof Theory
ISBN: 9780521779111 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of firstorder logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure firstorder logic, logic programming theory, category theory, modal logic, linear logic, firstorder arithmetic and secondorder logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve...
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of firstorder logic fo...


cena:
266,16 zł 