» książki » Computers - Logic Design
topmenu
 |
|
cena:
235,19 |
 |
Digital Logic Design
ISBN: 9798823396318 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
323,25 |
 |
Handbook of Logic in Computer Science: Volume 3: Semantic Structures
ISBN: 9780198537625 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, fro...
|
cena:
1908,68 |
 |
Substructural Logics
ISBN: 9780198537779 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and...
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguis...
|
cena:
539,90 |
 |
Model Theory
ISBN: 9780198538516 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It...
Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned wit...
|
cena:
934,29 |
 |
What Is a Logical System?
ISBN: 9780198538592 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in...
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading...
|
cena:
818,30 |
 |
Conditionals: From Philosophy to Computer Science
ISBN: 9780198538615 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analy...
|
cena:
317,17 |
 |
Adapting Proofs-As-Programs: The Curry--Howard Protocol
ISBN: 9780387237596 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and...
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs i...
|
cena:
603,81 |
 |
The Unknown Component Problem: Theory and Applications
ISBN: 9780387345321 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a... The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part ... |
cena:
603,81 |
 |
Advanced Topics in Term Rewriting
ISBN: 9780387952505 / Angielski / Twarda / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
|
cena:
201,24 |
 |
Handbook of Temporal Reasoning in Artificial Intelligence: Volume 1
ISBN: 9780444514936 / Angielski / Twarda / 750 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. Yet, until now, there has been no single volume collecting together the breadth of work in this area. This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence. Key Features: - Broad...
This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence. Tempo...
|
cena:
1274,10 |
![Principles of Modern Digital Design [With DVD ROM] Lala, Parag K. 9780470072967 Wiley-Interscience](/9780470072967_principles_of_modern_digital_design_with_dvd_rom.jpg "Principles of Modern Digital Design [With DVD ROM]") |
Principles of Modern Digital Design [With DVD ROM]
ISBN: 9780470072967 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A major objective of this book is to fill the gap between traditional logic design principles and logic design/optimization techniques used in practice. Over the last two decades several techniques for computer-aided design and optimization of logic circuits have been developed. However, underlying theories of these techniques are inadequately covered or not covered at all in undergraduate text books. This book covers not only the "classical" material found in current text books but also selected materials that modern logic designers need to be familiar with.
A major objective of this book is to fill the gap between traditional logic design principles and logic design/optimization techniques used in practic...
|
cena:
759,38 |
 |
FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version
ISBN: 9780470185315 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book uses a "learn by doing" approach to introduce the concepts and techniques of VHDL and FPGA to designers through a series of hands-on experiments. FPGA Prototyping by VHDL Examples provides a collection of clear, easy-to-follow templates for quick code development; a large number of practical examples to illustrate and reinforce the concepts and design techniques; realistic projects that can be implemented and tested on a Xilinx prototyping board; and a thorough exploration of the Xilinx PicoBlaze soft-core microcontroller.
This book uses a "learn by doing" approach to introduce the concepts and techniques of VHDL and FPGA to designers through a series of hands-on experim...
|
cena:
530,75 |
 |
Basic Esd and I/O Design
ISBN: 9780471253594 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first comprehensive guide to ESD protection and I/O design
Basic ESD and I/O Design is the first book devoted to ESD (electrostatic discharge) protection and input/output design. Addressing the growing demand in industry for high-speed I/O designs, it bridges the gap between ESD research and current VLSI design practices and provides a much-needed reference for practicing engineers who are frequently called upon to learn the subject on the job. This volume presents an integrated treatment of ESD, I/O, and process parameter interactions that both I/O designers and... The first comprehensive guide to ESD protection and I/O design
Basic ESD and I/O Design is the first book devoted to ESD (electrostatic d... |
cena:
814,31 |
 |
Digital Logic Design Principles
ISBN: 9780471293514 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an introduction on the principles of digital logic circuits. While providing coverage to the usual topics in combinational and sequential circuit principles, it also includes a chapter on the use of the hardware description language ABEL in the design of circuits using PLDs and a chapter on computer organization.
This book is an introduction on the principles of digital logic circuits. While providing coverage to the usual topics in combinational and sequential...
|
cena:
1345,32 |
 |
Power Distribution Network Design for VLSI
ISBN: 9780471657200 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A hands-on troubleshooting guide for VLSI network designers
The primary goal in VLSI (very large scale integration) power network design is to provide enough power lines across a chip to reduce voltage drops from the power pads to the center of the chip. Voltage drops caused by the power network's metal lines coupled with transistor switching currents on the chip cause power supply noises that can affect circuit timing and performance, thus providing a constant challenge for designers of high-performance chips. Power Distribution Network Design for VLSI provides detailed... A hands-on troubleshooting guide for VLSI network designers
The primary goal in VLSI (very large scale integration) power network design is to p... |
cena:
520,44 |
 |
fundamentals of digital logic and microcomputer design
ISBN: 9780471727842 / Angielski / Twarda / 848 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamentals of Digital Logic and Microcomputer Design, has long been hailed for its clear and simple presentation of the principles and basic tools required to design typical digital systems such as microcomputers. In this Fifth Edition, the author focuses on computer design at three levels: the device level, the logic level, and the system level. Basic topics are covered, such as number systems and Boolean algebra, combinational and sequential logic design, as well as more advanced subjects such as assembly language programming and microprocessor-based system design. Numerous...
Fundamentals of Digital Logic and Microcomputer Design, has long been hailed for its clear and simple presentation of the principles and basic ...
|
cena:
912,26 |
 |
Digital Logic Design
ISBN: 9780750645829 / Angielski / Miękka / 519 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New, updated and expanded topics in the fourth edition include: EBCDIC, Grey code, practical applications of flip-flops, linear and shaft encoders, memory elements and FPGAs. The section on fault-finding has been expanded. A new chapter is dedicated to the interface between digital components and analog voltages. *A highly accessible, comprehensive and fully up to date digital systems text
*A well known and respected text now revamped for current courses *Part of the Newnes suite of texts for HND/1st year modules New, updated and expanded topics in the fourth edition include: EBCDIC, Grey code, practical applications of flip-flops, linear and shaft encoders, me...
|
cena:
190,96 |
 |
Logic Synthesis and Verification
ISBN: 9780792376064 / Angielski / Twarda / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges.
Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter... Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are availab...
|
cena:
644,07 |
 |
Advanced ASIC Chip Synthesis: Using Synopsys(r) Design Compiler(tm) Physical Compiler(tm) and Primetime(r)
ISBN: 9780792376446 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advanced ASIC Chip Synthesis: Using Synopsys(R) Design Compiler(R) Physical Compiler(R) and PrimeTime(R), Second Edition describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools. In addition, the entire ASIC design flow methodology targeted for VDSM (Very-Deep-Sub-Micron) technologies is covered in detail.
The emphasis of this book is on real-time application of Synopsys tools, used to combat various problems seen at VDSM geometries.... Advanced ASIC Chip Synthesis: Using Synopsys(R) Design Compiler(R) Physical Compiler(R) and PrimeTime(R), Second Edition de...
|
cena:
925,87 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
